External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 52, Issue 4

    339 -- 379Tommaso Cortonesi, Enrico Marchioni, Franco Montagna. Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras
    381 -- 394Heike Mildenberger. On Milliken-Taylor Ultrafilters
    395 -- 402Sy-David Friedman, Martin Koerwien. On Absoluteness of Categoricity in Abstract Elementary Classes
    403 -- 414Ronald F. Bustamante Medina. Rank and Dimension in Difference-Differential Fields
    415 -- 429Joël Combase. A Silver-like Perfect Set Theorem with an Application to Borel Model Theory
    431 -- 448Jaap van Oosten. Partial Combinatory Algebras of Functions

    Volume 52, Issue 3

    229 -- 243Stephen G. Simpson, Keita Yokoyama. A Nonstandard Counterpart of WWKL
    245 -- 253Christopher Steinsvold. Being Wrong: Logics for False Belief
    267 -- 288Alfred Dolich, John Goodrick, David Lippel. Dp-Minimality: Basic Facts and Examples
    289 -- 305Michael Moses. The Block Relation in Computable Linear Orders
    307 -- 314Shimon Garti, Saharon Shelah. Depth of Boolean Algebras
    315 -- 329Ermek S. Nurkhaidarov, Erez Shochat. Automorphisms of Saturated and Boundedly Saturated Models of Arithmetic
    331 -- 338Øystein Linnebo. Some Criteria for Acceptable Abstraction

    Volume 52, Issue 2

    113 -- 147Andrzej Roslanowski, Saharon Shelah. Reasonable Ultrafilters, Again
    149 -- 162Jeffry L. Hirst, Carl Mummert. Reverse Mathematics and Uniformity in Proofs without Excluded Middle
    163 -- 172Rodney G. Downey, Asher M. Kach. Euclidean Functions of Computable Euclidean Domains
    173 -- 185Johanna N. Y. Franklin, Frank Stephan. Van Lambalgen s Theorem and High Degrees
    187 -- 202Guram Bezhanishvili, Silvio Ghilardi, Mamuka Jibladze. An Algebraic Approach to Subframe Logics. Modal Case
    203 -- 228Samuel Coskey, Joel David Hamkins. Infinite Time Decidable Equivalence Relation Theory

    Volume 52, Issue 1

    1 -- 19Thomas Forster, Thierry Libert. An Order-Theoretic Account of Some Set-Theoretic Paradoxes
    21 -- 38Paul Shafer. Characterizing the Join-Irreducible Medvedev Degrees
    39 -- 54Tapani Hyttinen, Meeri Kesälä. Lascar Types and Lascar Automorphisms in Abstract Elementary Classes
    55 -- 65Juha Kontinen, Jouko A. Väänänen. A Remark on Negation in Dependence Logic
    67 -- 74Gareth O. Jones, Daniel J. Miller, Margaret E. M. Thomas. Mildness and the Density of Rational Points on Certain Transcendental Curves
    75 -- 93Eli Dresner. Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach
    95 -- 112Damir D. Dzhafarov. Stable Ramsey s Theorem and Measure
    runs on