External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 61, Issue 3

    363 -- 381Will Johnson. On the Proof of Elimination of Imaginaries in Algebraically Closed Valued Fields
    383 -- 402Nissim Francez. Connexive Restricted Quantification
    403 -- 408David Chodounský, Jindrich Zapletal. Ideals and Their Generic Ultrafilters
    409 -- 440Calixto Badesa, Joan Bertran-San Millán. Begriffsschrift's Logic
    441 -- 465Erick Garcia-Ramirez. Definable Functions and Stratifications in Power-Bounded T -Convex Fields
    467 -- 499Jon Erling Litland. Prospects for a Theory of Decycling
    501 -- 0Alexander R. Pruss. Erratum for "Conditionals and Conditional Probabilities without Triviality"

    Volume 61, Issue 2

    181 -- 202Fabrice Correia, Sven Rosenkranz. The Formalities of Temporaryism without Presentness
    203 -- 225Keng Meng Ng, Hongyuan Yu. Effective Domination and the Bounded Jump
    227 -- 231Guozhen Shen. A Note on Strongly Almost Disjoint Families
    233 -- 243Pierre Simon. 2 Theories and Generically Simple Generics
    245 -- 263Linda Westrick. An Effective Analysis of the Denjoy Rank
    265 -- 282Michael C. Laskowski, Caroline A. Terry. Uniformly Bounded Arrays and Mutually Algebraic Structures
    283 -- 296J. C. Beall, Caleb Camrud. A Note on FDE "All the Way Up"
    297 -- 316Alexander Berenstein, Rafael Zamora. Isometry Groups of Borel Randomizations
    317 -- 339Volker Halbach. Formal Notes on the Substitutional Analysis of Logical Consequence
    341 -- 361Allen Gehret, Elliot Kaplan. Distality for the Asymptotic Couple of the Field of Logarithmic Transseries

    Volume 61, Issue 1

    1 -- 10Ali Valizadeh, Massoud Pourmahdian. Pseudofiniteness in Hrushovski Constructions
    11 -- 30Guillermo Badia, Grigory K. Olkhovikov. A Lindström Theorem for Intuitionistic Propositional Logic
    31 -- 49Anton Freund, Fedor Pakhomov. Short Proofs for Slow Consistency
    51 -- 74Sam Sanders. Splittings and Disjunctions in Reverse Mathematics
    75 -- 115Ivano Ciardelli, Rosalie Iemhoff, Fan Yang 0004. Questions and Dependency in Intuitionistic Logic
    117 -- 128Vladimir Kanovei, Vassily A. Lyubetsky. 0-Large Products
    129 -- 140Sergi Oms. A Remark on Probabilistic Measures of Coherence
    141 -- 153Huishan Wu. The Complexity of Radicals and Socles of Modules
    155 -- 180Eduardo Hermo Reyes, Joost J. Joosten. The Logic of Turing Progressions
    runs on