default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 56
Volume 56, Number 1, 2015
- Salvatore Florio, Øystein Linnebo, Sean Walsh, Philip D. Welch
:
Introduction. 1-2 - A. R. D. Mathias, Nathan J. Bowler:
Rudimentary Recursion, Gentle Functions and Provident Sets. 3-60 - Luís Cruz-Filipe, Fernando Ferreira:
The Finitistic Consistency of Heck's Predicative Fregean System. 61-79 - Albert Visser:
The Arithmetics of a Theory. 81-119 - Jouko A. Väänänen, Tong Wang:
Internal Categoricity in Arithmetic and Set Theory. 121-134 - Joel David Hamkins:
Is the Dream Solution of the Continuum Hypothesis Attainable? 135-145 - Gabriel Uzquiano:
Varieties of Indefinite Extensibility. 147-166 - Daisuke Ikegami, Jouko Väänänen:
Boolean-Valued Second-Order Logic. 167-190 - Toby Meadows:
Naive Infinitism: The Case for an Inconsistency Approach to Infinite Collections. 191-212 - Philip D. Welch:
Large Cardinals, Inner Models, and Determinacy: An Introductory Overview. 213-242 - Jonathan Payne:
Extensionalizing Intensional Second-Order Logic. 243-261
Volume 56, Number 2, 2015
- David R. Bélanger:
Weak Truth Table Degrees of Structures. 263-285 - Hsing-chien Tsai:
On the Decidability of Axiomatized Mereotopological Theories. 287-306 - Tapani Hyttinen:
Forking in Finite Models. 307-320 - Andrea Sorbi, Sebastiaan A. Terwijn:
Generalizations of the Weak Law of the Excluded Middle. 321-331 - Takahiro Seki:
Halldén Completeness for Relevant Modal Logics. 333-350 - George Voutsadakis:
Categorical Abstract Algebraic Logic: Truth-Equational π-Institutions. 351-378 - Harold T. Hodes:
Why Ramify? 379-415
Volume 56, Number 3, 2015
- Juliette Kennedy, Saharon Shelah, Jouko Väänänen:
Regular Ultrapowers at Regular Cardinals. 417-428 - Lynn Scow:
Indiscernibles, EM-Types, and Ramsey Classes of Trees. 429-447 - Laurence Kirby:
Ordinal Exponentiations of Sets. 449-462 - Michael C. Laskowski:
Characterizing Model Completeness Among Mutually Algebraic Structures. 463-470 - Eunsuk Yang:
Substructural Fuzzy-Relevance Logic. 471-491 - Isaac Goldbring, Vinicius Cifú Lopes:
Pseudofinite and Pseudocompact Metric Structures. 493-510
Volume 56, Number 4, 2015
- Philip Scowcroft:
More on Generic Dimension Groups. 511-553 - Sergey Sudoplatov, Predrag Tanovic:
Semi-Isolation and the Strict Order Property. 555-572 - Nathanael Leedom Ackerman:
Vaught's Conjecture Without Equality. 573-582 - Hunter Johnson:
Vapnik-Chervonenkis Density on Indiscernible Sequences, Stability, and the Maximum Property. 583-593 - Brian Rice:
The Thin Set Theorem for Pairs Implies DNR. 595-601 - Tin Lok Wong:
Constant Regions in Models of Arithmetic. 603-624
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-21 20:30 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:
