default search action
Notre Dame Journal of Formal Logic, Volume 55
Volume 55, Number 1, 2014
- Adam R. Day, Jan Reimann
:
Independence, Relative Randomness, and PA Degrees. 1-10 - Zuhair Al-Johar
The Axiom Scheme of Acyclic Comprehension. 11-24 - François G. Dorais:
Classical Consequences of Continuous Choice Principles from Intuitionistic Analysis. 25-39 - Melvin Fitting:
Nested Sequents for Intuitionistic Logics. 41-61 - David Diamondstone, Johanna N. Y. Franklin:
Lowness for Difference Tests. 63-73 - Stephen G. Simpson
Baire Categoricity and Σ01-Induction. 75-78 - Thomas Mormann:
Set Theory, Topology, and the Possibility of Junky Worlds. 79-90 - Rodrigo A. Freire:
On Existence in Set Theory, Part II: Relative Productivity. 91-105 - Gemma Robles
Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle. 107-127 - Mauricio Osorio, José Luis Carballido, Claudia Zepeda:
Revisiting ℤ. 129-155
Volume 55, Number 2, 2014
- Walter Dean:
Montague's Paradox, Informal Provability, and Explicit Modal Logic. 157-196 - Tomasz Kowalski
BCK is not Structurally Complete. 197-204 - Mohammed Belkasmi
Positive Model Theory and Amalgamations. 205-230 - Mojtaba Aghaei, Amir Khamseh
Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts. 231-244 - Bernard A. Anderson, Barbara F. Csima:
A Bounded Jump for the Bounded Turing Degrees. 245-264 - Itay Neeman:
Forcing with Sequences of Models of Two Types. 265-298
Volume 55, Number 3, 2014
- Hoang-Vu Dang:
A Single-Sorted Theory of Multisets. 299-332 - David Asperó, Ralf Schindler:
Bounded Martin's Maximum with an Asterisk. 333-348 - Shimon Garti
Many Normal Measures. 349-357 - Andrzej Pietruszczak
A General Concept of Being a Part of a Whole. 359-381 - Franco Parlamento:
Truth-Value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality. 383-395 - Edoardo Rivello
Beneš's Partial Model of NF: An Old Result Revisited. 397-411 - Pimpen Vejjajiva
A Note on Weakly Dedekind Finite Sets. 413-417 - Itay Kaplan
Witnessing Dp-Rank. 419-429
Volume 55, Number 4, 2014
- Arthur W. Apter:
Inaccessible Cardinals, Failures of GCH, and Level-by-Level Equivalence. 431-444 - Ole Thomassen Hjortland:
Speech Acts, Categoricity, and the Meanings of Logical Connectives. 445-467 - Tero Tulenheimo:
Classical Negation and Game-Theoretical Semantics. 469-498 - Pieter A. M. Seuren:
The Cognitive Ontogenesis of Predicate Logic. 499-532 - Ioannis A. Souldatos
Notes on Cardinals That Are Characterizable by a Complete (Scott) Sentence. 533-551 - William Craig:
Peter van Inwagen, Substitutional Quantification, and Ontological Commitment. 553-561 - Grigor Sargsyan:
An Inner Model Proof of the Strong Partition Property for δ21. 563-568 - V. Yu. Shavrukov, Albert Visser:
Uniform Density in Lindenbaum Algebras. 569-582
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-18 20:48 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: