Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jla/Camrud23,
  author       = {Caleb Camrud},
  title        = {Generalized effective completeness for continuous logic},
  journal      = {J. Log. Anal.},
  volume       = {15},
  year         = {2023},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/457},
  timestamp    = {Wed, 04 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jla/Camrud23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/Hieronymi23,
  author       = {Philipp Hieronymi},
  title        = {Fractals and the monadic second order theory of one successor},
  journal      = {J. Log. Anal.},
  volume       = {15},
  year         = {2023},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/448},
  timestamp    = {Mon, 06 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/Hieronymi23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/HrbacekK23,
  author       = {Karel Hrbacek and
                  Mikhail G. Katz},
  title        = {Peano and Osgood theorems via effective infinitesimals},
  journal      = {J. Log. Anal.},
  volume       = {15},
  year         = {2023},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/499},
  timestamp    = {Mon, 11 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jla/HrbacekK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/Jekel23,
  author       = {David Jekel},
  title        = {Covering entropy for types in tracial W\({}^{\mbox{*}}\)-algebras},
  journal      = {J. Log. Anal.},
  volume       = {15},
  year         = {2023},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/468},
  timestamp    = {Mon, 03 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jla/Jekel23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/Jekel23a,
  author       = {David Jekel},
  title        = {Corrigendum: covering entropy for types in tracial W\({}^{\mbox{*}}\)-algebras},
  journal      = {J. Log. Anal.},
  volume       = {15},
  year         = {2023},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/506},
  timestamp    = {Tue, 01 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jla/Jekel23a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/NeriP23,
  author       = {Morenikeji Neri and
                  Thomas Powell},
  title        = {A computational study of a class of recursive inequalities},
  journal      = {J. Log. Anal.},
  volume       = {15},
  year         = {2023},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/469},
  timestamp    = {Wed, 04 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jla/NeriP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jla/Opris23,
  author       = {Andre Opris},
  title        = {On preparation theorems for R\({}_{\mbox{an, exp}}\)-definable functions},
  journal      = {J. Log. Anal.},
  volume       = {15},
  year         = {2023},
  url          = {http://logicandanalysis.org/index.php/jla/article/view/450},
  timestamp    = {Mon, 03 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jla/Opris23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}