External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 32, Issue 3

    323 -- 358David Charles McCarty. Incompleteness in Intuitionistic Metamathematics
    359 -- 391Gonzalo E. Reyes. A Topos-Theoretic Approach to Reference and Modality
    392 -- 398Roman Kossak, James H. Schmerl. Minimal Satisfaction Classes with an Application to Rigid Models of {Peano} Arithmetic
    399 -- 408Richard Kaye. On Cofinal Extensions of Models of Fragments of Arithmetic
    409 -- 425William C. Purdy. A Logic for Natural Language
    426 -- 431David Marker. End Extensions of Normal Models of Open Induction
    432 -- 447Francesco Orilia. Type-Free Property Theory, Exemplification and Russell s Paradox
    448 -- 457Renling Jin. Some Independence Results Related to the Kurepa Tree
    458 -- 493Jody Azzouni. A Simple Axiomatizable Theory of Truth
    runs on