External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 46, Issue 4

    381 -- 405Yannis Stephanou. First-Order Modal Logic with an Actually Operator
    407 -- 417Saeed Salehi. Polynomially Bounded Recursive Realizability
    419 -- 424A. Ivanov. Automorphisms of Homogeneous Structures
    439 -- 460George Voutsadakis. Categorical Abstract Algebraic Logic: Models of pi-Institutions
    461 -- 490Katalin Bimbó, J. Michael Dunn. Relational Semantics for Kleene Logic and Action Logic
    491 -- 501Anand Pillay, Evgueni Vassiliev. On Lovely Pairs and the (THERE EXISTS ::::y:::: ELEMENT OF ::::P::::) Quantifier
    503 -- 513Richard Zach. Book Review: Michael Potter. ::::Reason s Nearest Kin. Philosophies of Arithmetic from Kant to Carnap::::

    Volume 46, Issue 3

    249 -- 0Matthew Foreman. Introduction to the Special Issue on Singular Cardinals Combinatorics
    251 -- 282James Cummings. Notes on Singular Cardinal Combinatorics
    283 -- 300Mirna Dzamonja. Club Guessing and the Universal Models
    301 -- 307Todd Eisworth. On Ideals Related to ::::I::::[lambda]
    309 -- 322Matthew Foreman. Some Problems in Singular Cardinals Combinatorics
    323 -- 325Moti Gitik. Around Silver s Theorem
    327 -- 333Tetsuya Ishiu. A Tail Club Guessing Ideal Can Be Saturated without Being a Restriction of the Nonstationary Ideal
    335 -- 352Jean A. Larson. Ramsey Theory for Countable Binary Homogeneous Structures
    353 -- 356Juan Carlos Martínez. Some Open Questions for Superatomic Boolean Algebras
    357 -- 371William J. Mitchell. Adding Closed Unbounded Subsets of omega::2:: with Finite Forcing
    373 -- 374Ernest Schimmerling. A Question about Suslin Trees and the Weak Square Hierarchy
    375 -- 379Philip D. Welch. Some Open Problems in Mutual Stationarity Involving Inner Model Theory: A Commentary

    Volume 46, Issue 2

    127 -- 146Joost J. Joosten. The Closed Fragment of the Interpretability Logic of PRA with a Constant for
    147 -- 164Eric Rosen. On the First-Order Prefix Hierarchy
    165 -- 171Philipp Gerhardy. The Role of Quantifier Alternations in Cut Elimination
    173 -- 180Merrie Bergmann. Finite Tree Property for First-Order Logic with Identity and Functions
    181 -- 205Martin W. Bunder, W. J. M. Dekkers. Equivalences between Pure Type Systems and Systems of Illative Combinatory Logic
    207 -- 216Patrizio Cintioli. Sets without Subsets of Higher Many-One Degree
    217 -- 230Raymond E. Jennings, Kam Sing Leung. A Deontic Counterpart of Lewis's S1
    231 -- 233N. Raja. A Negation-free Proof of Cantor s Theorem
    235 -- 247Julian C. Cole. Deflating Existential Consequence: A Case for Nominalism

    Volume 46, Issue 1

    1 -- 17Aldo Antonelli, Robert May. Frege s ::::Other:::: Program
    19 -- 50José Iovino. Definable Types Over Banach Spaces
    51 -- 64Verónica Becher, Santiago Figueira, André Nies, Silvana Picchi. Program Size Complexity for Possibly Infinite Computations
    65 -- 81Rosalie Iemhoff. Intermediate Logics and Visser s Rules
    83 -- 91Fernando Ferreira. A Simple Proof of Parsons Theorem
    93 -- 105Stephen Pollard. The Expressive Unary Truth Functions of ::::n::::-valued Logic
    107 -- 125O. Bradley Bassler. Foundations of Mathematics in the Theory of Sets
    runs on