Notre Dame Journal of Formal Logic, Volume 52
Volume 52, Number 1, 2011
- Paul Shafer: Characterizing the Join-Irreducible Medvedev Degrees. 21-38
- Tapani Hyttinen, Meeri Kesälä: Lascar Types and Lascar Automorphisms in Abstract Elementary Classes. 39-54
- G. O. Jones, D. J. Miller, M. E. M. Thomas: Mildness and the Density of Rational Points on Certain Transcendental Curves. 67-74
- Eli Dresner: Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach. 75-93
- Damir D. Dzhafarov: Stable Ramsey's Theorem and Measure. 95-112
Volume 52, Number 2, 2011
- Jeffry L. Hirst, Carl Mummert: Reverse Mathematics and Uniformity in Proofs without Excluded Middle. 149-162
- Guram Bezhanishvili, Silvio Ghilardi, Mamuka Jibladze: An Algebraic Approach to Subframe Logics. Modal Case. 187-202
Volume 52, Number 3, 2011
- Christopher Steinsvold: Being Wrong: Logics for False Belief. 245-253
- Ali Bleybel: The Field of LE-Series with a Nonstandard Analytic Structure. 255-265
- Michael Moses: The Block Relation in Computable Linear Orders. 289-305
- Ermek S. Nurkhaidarov, Erez Shochat: Automorphisms of Saturated and Boundedly Saturated Models of Arithmetic. 315-329
- Øystein Linnebo: Some Criteria for Acceptable Abstraction. 331-338
Volume 52, Number 4, 2011
- Tommaso Cortonesi, Enrico Marchioni, Franco Montagna: Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras. 339-379
- Heike Mildenberger: On Milliken-Taylor Ultrafilters. 381-394
- Sy-David Friedman, Martin Koerwien: On Absoluteness of Categoricity in Abstract Elementary Classes. 395-402
- Ronald F. Bustamante Medina: Rank and Dimension in Difference-Differential Fields. 403-414
- Joël Combase: A Silver-like Perfect Set Theorem with an Application to Borel Model Theory. 415-429
- Jaap van Oosten: Partial Combinatory Algebras of Functions. 431-448
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team