External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 48, Issue 4

    449 -- 472José Martínez-Fernández. Maximal Three-Valued Clones with the Gupta-Belnap Fixed-Point Property
    473 -- 488Riccardo Camerlo. Finiteness Axioms on Fragments of Intuitionistic Set Theory
    489 -- 495Daisuke Souma. An Algebraic Approach to the Disjunction Property of Substructural Logics
    497 -- 510Richard Kaye, Tin Lok Wong. On Interpretations of Arithmetic and Set Theory
    511 -- 520Michael Kaminski, Michael L. Tiomkin. The Modal Logic of Cluster-Decomposable Kripke Interpretations
    521 -- 550Philip Scowcroft. The Complexity of Bounded Quantifiers in Some Ordered Abelian Groups
    521 -- 530Alexander Hertel, Philipp Hertel, Charles Morgan. A Sound and Complete Proof Theory for Propositional Logical Contingencies

    Volume 48, Issue 3

    317 -- 347Denis R. Hirschfeldt, Russell Miller, Sergei Podzorov. Order-Computable Sets
    349 -- 369Martin Kummer, Marcus Schäfer. Cuppability of Simple and Hypersimple Sets
    371 -- 380A. Ivanov, K. Majcher. Ages of Expansions of omega-Categorical Structures
    381 -- 398Joost J. Joosten. Propositional Proof Systems and Fast Consistency Provers
    399 -- 423Claude Sureson. Rumely Domains with Atomic Constructible Boolean Algebra. An Effective Viewpoint
    425 -- 448Alberto Marcone. Interval Orders and Reverse Mathematics

    Volume 48, Issue 2

    175 -- 204Charles M. Harris. On the Symmetric Enumeration Degrees
    205 -- 228Katsuhiko Sano, Kentaro Sato. Semantical Characterizations for Irreflexive and Generalized Modal Languages
    229 -- 235Eric J. Hall. Permutation Models and SVC
    237 -- 251Edwin D. Mares. The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility
    253 -- 280Michael Rescorla. Church's Thesis and the Conceptual Analysis of Computability
    281 -- 292Alfred Dolich. A Note on Weakly O-Minimal Structures and Definable Completeness
    293 -- 316Stephen Binns. Hyperimmunity in 2/sp N

    Volume 48, Issue 1

    1 -- 2Peter Cholak. Introduction to the Special Issue on Vaught s Conjecture
    5 -- 31Gerald E. Sacks. Bounds on Weak Scattering
    33 -- 48Su Gao. Complexity Ranks of Countable Models
    49 -- 51Greg Hjorth. A Note on Counterexamples to the Vaught Conjecture
    53 -- 77R. W. Knight. Categories of Topological Spaces and Scattered Theories
    79 -- 92John T. Baldwin. The Vaught Conjecture: Do Uncountable Models Count?
    93 -- 97David Marker. The Borel Complexity of Isomorphism for Theories with Many Types
    99 -- 113David Marker. The Number of Countable Differentially Closed Fields
    115 -- 132Ludomir Newelski. Relative Vaught s Conjecture for Some Meager Groups
    133 -- 141Michael C. Laskowski. An Old Friend Revisited: Countable Models of omega-Stable Theories
    143 -- 170Karen Lange, Robert I. Soare. Computability of Homogeneous Models
    runs on