External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 53, Issue 4

    439 -- 456Gilles Dowek, Olivier Hermant. A Simple Proof that Super-Consistency Implies Cut Elimination
    457 -- 478Giovanni Boniolo, Silvio Valentini. Objects: A Study in Kantian Formal Epistemology
    479 -- 489Mingzhong Cai. Degrees of Relative Provability
    491 -- 509Katalin Bimbó, J. Michael Dunn. New Consecution Calculi for $R^{t}_{\to}$
    511 -- 523Silvia Barbina, Domenico Zambella. Generic Expansions of Countable Models
    525 -- 547Rodrigo A. Freire. On Existence in Set Theory
    549 -- 556Rohan French. Denumerably Many Post-Complete Normal Modal Logics with Propositional Constants
    557 -- 570Alexandre V. Borovik, Renling Jin, Mikhail G. Katz. An Integer Construction of Infinitesimals: Toward a Theory of Eudoxus Hyperreals
    571 -- 580M. Randall Holmes. The Usual Model Construction for NFU Preserves Information
    581 -- 598Lloyd Humberstone. Minimally Congruential Contexts: Observations and Questions on Embedding E in K
    599 -- 605Ehud Hrushovski, Anand Pillay, Pierre Simon. A Note on Generically Stable Measures and fsg Groups

    Volume 53, Issue 3

    267 -- 287Roman Kossak, James H. Schmerl. On Cofinal Submodels and Elementary Interstices
    289 -- 296Stefan Hetzl. The Computational Content of Arithmetical Proofs
    297 -- 318Simon Hewitt. The Logic of Finite Order
    319 -- 345Guram Bezhanishvili, Joel Lucero-Bryan. More on d-Logics of Subspaces of the Rational Numbers
    347 -- 350Jeremy Avigad. Uncomputably Noisy Ergodic Limits
    351 -- 371Diego Rojas-Rebolledo. Bounds on the Strength of Ordinal Definable Determinacy in Small Admissible Sets
    373 -- 395Jared Corduan, François G. Dorais. n
    397 -- 412Sean Cox. 2 Whose Associated Forcings Are Proper
    413 -- 428Fredrik Engström, Richard Kaye. Transplendent Models: Expansions Omitting a Type

    Volume 53, Issue 2

    133 -- 154Thomas F. Icard III, Joost J. Joosten. Provability and Interpretability Logics with Restricted Realizations
    155 -- 174Gunter Fuchs, Philipp Lücke. Iteratively Changing the Heights of Automorphism Towers
    175 -- 186Michael A. Tychonievich. The Set of Restricted Complex Exponents for Expansions of the Reals
    187 -- 192Gian Aldo Antonelli. A Note on Induction, Abstraction, and Dedekind-Finiteness
    193 -- 201Isaac Goldbring. Definable Operators on Hilbert Spaces
    203 -- 222Yoshihiro Horihata. Weak Theories of Concatenation and Arithmetic
    223 -- 244José M. Méndez, Gemma Robles. A General Characterization of the Variable-Sharing Property by Means of Logical Matrices
    245 -- 265Alexander Kreuzer. Primitive Recursion and the Chain Antichain Principle

    Volume 53, Issue 1

    1 -- 13James H. Schmerl. Elementary Cuts in Saturated Models of Peano Arithmetic
    15 -- 26David Atkinson, Jeanne Peijnenburg. Fractal Patterns in Reasoning
    27 -- 52Nathaniel Miller. On the Inconsistency of Mumma's Eu
    53 -- 65Henry Towsner. A Simple Proof and Some Difficult Examples for Hindman's Theorem
    67 -- 77Hassan Sfouli. On the Elementary Theory of Restricted Real and Imaginary Parts of Holomorphic Functions
    79 -- 88Oleksandr Petrenko, I. V. Protasov. Thin Ultrafilters
    89 -- 112Mark Ressler. Thoroughly Relativistic Perspectives
    113 -- 132Thomas Macaulay Ferguson. Notes on the Model Theory of DeMorgan Logics
    runs on