External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 58, Issue 4

    461 -- 506Hartry Field, Harvey Lederman, Tore Fjetland Øgaard. Prospects for a Naive Theory of Classes
    507 -- 525Alexander G. Melnikov. New Degree Spectra of Abelian Groups
    527 -- 553Tim Button. Grades of Discrimination: Indiscernibility, Symmetry, and Relativity
    555 -- 566Gabriel Conant. Forking and Dividing in Henson Graphs
    567 -- 581Peter Schroeder-Heister, Luca Tranchini. Ekman's Paradox

    Volume 58, Issue 3

    301 -- 328Laurent Bienvenu, Rupert Hölzl, Christopher P. Porter, Paul Shafer. Randomness and Semimeasures
    329 -- 342Pierre Joray. A Completed System for Robin Smith's Incomplete Ecthetic Syllogistic
    343 -- 380Amar Hadzihasanovic, Benno van den Berg. Nonstandard Functional Interpretations and Categorical Models
    381 -- 396Teruyuki Yorioka. Club-Isomorphisms of Aronszajn Trees in the Extension with a Suslin Tree
    397 -- 407Daniel W. Cunningham. A Diamond Principle Consistent with AD
    409 -- 432Martin Zeman. Two Upper Bounds on Consistency Strength of ¬□ℵω and Stationary Set Reflection at Two Successive ℵn
    433 -- 451Anuj Dawar, Thomas Forster, Zachiri McKenzie. Decidable Fragments of the Simple Theory of Types with Infinity and NF
    453 -- 459Oleksandr Petrenko, Igor Protasov. Selective and Ramsey Ultrafilters on G-spaces

    Volume 58, Issue 2

    159 -- 177Saharon Shelah. Universal Structures
    179 -- 204Ruggero Pagnan. Concrete Fibrations
    205 -- 214Patrick Reeder. Infinitesimal Comparisons: Homomorphisms between Giordano's Ring and the Hyperreal Field
    215 -- 220Achilles Beros, Konstantinos Beros. Normal Numbers and Limit Computable Cantor Series
    221 -- 239Thomas Macaulay Ferguson. Dunn-Priest Quotients of Many-Valued Structures
    241 -- 248Joseph Vidal-Rosset. Why Intuitionistic Relevant Logic Cannot Be a Core Logic
    249 -- 270Merlin Carl, Philipp Schlicht. Infinite Computations with Random Oracles
    271 -- 285Su Gao, Caleb Ziegler. On Polynomial-Time Relation Reducibility
    287 -- 299Agi Kurucz. Bimodal Logics with a "Weakly Connected" Component without the Finite Model Property

    Volume 58, Issue 1

    0 -- 0. Erratum
    0 -- 0. Editorial Notice
    1 -- 19Hartry Field. Disarming a Paradox of Validity
    21 -- 45Guram Bezhanishvili, Nick Bezhanishvili. Locally Finite Reducts of Heyting Algebras and Canonical Formulas
    47 -- 78Brice Halimi. Models as Universes
    79 -- 95Osvaldo Guzmán González, Michael Hrusák, Arturo Martínez-Celis. Canjar Filters
    97 -- 105Howard Becker. Strange Structures from Computable Model Theory
    107 -- 113Owen Griffiths. Inferentialism and Quantification
    115 -- 125Wen Chean Teh. Ramsey Algebras and Formal Orderly Terms
    127 -- 132Sebastien Vasey. Indiscernible Extraction and Morley Sequences
    133 -- 154Will Boney. Computing the Number of Types of Infinite Length
    runs on