default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 59
Volume 59, Number 1, 2018
- Richard G. Heck Jr.:
The Logical Strength of Compositional Principles. 1-33 - Karen M. Lange, Russell G. Miller, Rebecca M. Steiner:
Classifications of Computable Structures. 35-59 - Roy T. Cook, Øystein Linnebo:
Cardinality and Acceptable Abstraction. 61-74 - Victor Pambuccian
:
Negation-Free and Contradiction-Free Proof of the Steiner-Lehmus Theorem. 75-90 - David R. Bélanger, Richard A. Shore:
On the Jumps of the Degrees Below a Recursively Enumerable Degree. 91-107 - Denis Bonnay, Fredrik Engström:
Invariance and Definability, with and without Equality. 109-133 - Errata.
Volume 59, Number 2, 2018
- Damir D. Dzhafarov, Joseph R. Mileti:
The Complexity of Primes in Computable Unique Factorization Domains. 139-156 - Daniel Palacín, Rizos Sklinos:
On Superstable Expansions of Free Abelian Groups. 157-169 - David Ripley:
Blurring: An Approach to Conflation. 171-188 - Noam Greenberg, Joseph S. Miller, Benoit Monin, Daniel Turetsky:
Two More Characterizations of K-Triviality. 189-195 - Victor Pambuccian:
A Problem in Pythagorean Arithmetic. 197-204 - Jesús A. Álvarez López, Alberto Candel:
Nonreduction of Relations in the Gromov Space to Polish Actions. 205-213 - Philipp Hieronymi, Alonza Terry Jr.:
Ostrowski Numeration Systems, Addition, and Finite Automata. 215-232 - William H. Hanson:
Actualism, Serious Actualism, and Quantified Modal Logic. 233-284
Volume 59, Number 3, 2018
- Antonio Montalbán:
Coding and Definability in Computable Structures. 285-306 - Nick Bezhanishvili, Dick de Jongh:
Stable Formulas in Intuitionistic Logic. 307-324 - Jeroen P. Goudsmit:
The Admissible Rules of BD2 and GSc. 325-353 - Gunter Fuchs, Victoria Gitman, Joel David Hamkins:
Ehrenfeucht's Lemma in Set Theory. 355-370 - Shimon Garti, Menachem Magidor, Saharon Shelah:
On the Spectrum of Characters of Ultrafilters. 371-379 - Richmond Thomason:
Independence of the Dual Axiom in Modal K with Primitive ◊. 381-385 - Claribet Piña:
A Partition Theorem of ωωα. 387-403 - Shahram Mohsenipour, Saharon Shelah:
Set Mappings on 4-Tuples. 405-416 - Yatir Halevi:
Semigroups in Stable Structures. 417-436 - Jeffrey R. Schatz:
On the Status of Reflection and Conservativity in Replacement Theories of Truth. 437-454 - Simon Thomas Hewitt:
A Note on Gabriel Uzquiano's "Varieties of Indefinite Extensibility". 455-459
Volume 59, Number 4, 2018
- Liliana Badillo, Charles M. Harris, Mariya Ivanova Soskova:
Enumeration 1-Genericity in the Local Enumeration Degrees. 461-489 - James H. Schmerl:
More Automorphism Groups of Countable, Arithmetically Saturated Models of Peano Arithmetic. 491-496 - Enrique Casanovas, Joris Potier:
Stable Forking and Imaginaries. 497-502 - Yannis Stephanou:
A Propositional Theory of Truth. 503-545 - Allen P. Hazen, Francis Jeffry Pelletier:
Second-Order Logic of Paradox. 547-558 - Neil Tennant:
On Some Mistaken Beliefs About Core Logic and Some Mistaken Core Beliefs About Logic. 559-578 - Sam Sanders:
Refining the Taming of the Reverse Mathematics Zoo. 579-597 - Farmer Schlutzenberg:
A Long Pseudo-Comparison of Premice in L[x]. 599-604 - Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer:
On the Uniform Computational Content of the Baire Category Theorem. 605-636
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
