![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Notre 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.