External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 47, Issue 4

    443 -- 478Ian Hodkinson. Hybrid Formulas and Elementarily Generated Modal Logics
    479 -- 485Steffen Lempp, Carl Mummert. Filters on Computable Posets
    487 -- 514George Voutsadakis. Categorical Abstract Algebraic Logic: More on Protoalgebraicity
    515 -- 524Joel David Hamkins, Alexei Miasnikov. The Halting Problem Is Decidable on a Set of Asymptotic Probability One
    525 -- 540Alexei Y. Muravitsky. The Embedding Theorem: Its Further Developments and Consequences. Part 1
    541 -- 544Sam Butchart, Tomasz Kowalski. A Note on Monothetic BCI
    545 -- 555Gillman Payette, Blaine d Entremont. Level Compactness
    557 -- 580Kai Brünnler. Locality for Classical Logic
    581 -- 599O. Bradley Bassler. On Brouwer

    Volume 47, Issue 3

    299 -- 309Albert Visser. Propositional Logics of Closed and Open Substitutions over Heyting s Arithmetic
    311 -- 318Jaap van Oosten. A General Form of Relative Recursion
    331 -- 341Nicolas Guzy, Cédric Rivière. Geometrical Axiomatization for Model Complete Theories of Differential Topological Fields
    343 -- 351Alexander Berenstein, Ziv Shami. Invariant Version of Cardinality Quantifiers in Superstable Theories
    353 -- 359Jennifer Brown. Cellularity of Pseudo-Tree Algebras
    361 -- 370George Barmpalias, Andrew E. M. Lewis. The Hypersimple-Free C.E. WTT Degrees Are Dense in the C.E. WTT Degrees
    371 -- 384Janusz Ciuciura. +
    385 -- 395Gert-Jan C. Lokhorst. Andersonian Deontic Logic, Propositional Quantification, and Mally
    435 -- 442Alan Baker. Book Review: Charles S. Chihara. ::::A Structural Account of Mathematics::::

    Volume 47, Issue 2

    151 -- 177Ian Pratt-Hartmann, Allan Third. More Fragments of Language
    179 -- 195Evan Goris. Interpolation and the Interpretability Logic of PA
    197 -- 209George Barmpalias, Andrew E. M. Lewis. A C.E. Real That Cannot Be SW-Computed by Any Omega Number
    211 -- 232Peter Roeper. The Aristotelian Continuum. A Formal Characterization
    233 -- 248Katherine Thompson. Universality for Orders and Graphs Which Omit Large Substructures
    249 -- 252Hajime Ishihara. Weak König s Lemma Implies Brouwer s Fan Theorem: A Direct Proof
    253 -- 262Josef Berger, Peter Schuster. Classifying Dini s Theorem
    263 -- 290Paulo Oliva. Unifying Functional Interpretations
    291 -- 298John Baldwin, David W. Kueker, Monica VanDieren. Upward Stability Transfer for Tame Abstract Elementary Classes

    Volume 47, Issue 1

    1 -- 23Barbara F. Csima, Antonio Montalbán, Richard A. Shore. Boolean Algebras, Tarski Invariants, and Index Sets
    25 -- 37Ulrich Meyer. Worlds and Times
    39 -- 62Nathan C. Carter. Reflexive Intermediate Propositional Logics
    63 -- 71Bakhadyr Khoussainov, Denis R. Hirschfeldt, Pavel Semukhin. An Uncountably Categorical Theory Whose Only Computably Presentable Model Is Saturated
    73 -- 82Sebastiaan A. Terwijn. Constructive Logic and the Medvedev Lattice
    83 -- 91Benedikt Löwe. Set Theory With and Without Urelements and Categories of Interpretations
    93 -- 99Chris Miller, James Tyne. Expansions of o-Minimal Structures by Iteration Sequences
    101 -- 131Lloyd Humberstone. Variations on a Theme of Curry
    133 -- 149Patrick Maher. Book Review: David Christensen. ::::Putting Logic in its Place: Formal Constraints on Rational Belief::::
    runs on