Year:

Forthcoming articles
  1.  36
    Samuel Alexander (forthcoming). Guessing, Mind-Changing, and the Second Ambiguous Class. Notre Dame Journal of Formal Logic.
    In his dissertation, Wadge defined a notion of guessability on subsets of the Baire space and gave two characterizations of guessable sets. A set is guessable iff it is in the second ambiguous class (boldface Delta^0_2), iff it is eventually annihilated by a certain remainder. We simplify this remainder and give a new proof of the latter equivalence. We then introduce a notion of guessing with an ordinal limit on how often one can change one's mind. We show that for (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  2. Hartry Field (forthcoming). Disarming a Paradox of Validity. Notre Dame Journal of Formal Logic.
    Abstract. Any theory of truth must find a way around Curry’s paradox, and there are well-known ways to do so. This paper concerns an apparently analogous paradox, about validity rather than truth, which JC Beall and Julien Murzi (“Two Flavor's of Curry's Paradox”) call the v-Curry. They argue that there are reasons to want a common solution to it and the standard Curry paradox, and that this rules out the solutions to the latter offered by most (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  56
    Hartry Field, Harvey Lederman & Tore Fjetland Øgaard (forthcoming). Prospects for a Naive Theory of Classes. Notre Dame Journal of Formal Logic.
  4. M. de Rijke & P. Blackburn (forthcoming). Special Issue on Combining Logics, Volume 37 (2) Of. Notre Dame Journal of Formal Logic.
     
    Export citation  
     
    My bibliography  
  5. W. Dean (forthcoming). Algorithms and the Mathematical Foundations of Computer Science. Notre Dame Journal of Formal Logic.
     
    Export citation  
     
    My bibliography  
  6. W. Dean (forthcoming). Explicit Modal Logic, Informal Provability and Montague's Paradox. Notre Dame Journal of Formal Logic.
     
    Export citation  
     
    My bibliography  
  7.  1
    Costas Dimitracopoulos & Vasileios S. Paschalis (forthcoming). End Extensions of Models of Weak Arithmetic Theories. Notre Dame Journal of Formal Logic.
    We give alternative proofs of results due to Paris and Wilkie concerning the existence of end extensions of countable models of $B\Sigma_{1}$, that is, the theory of $\Sigma_{1}$ collection.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  6
    A. Gareau & R. Padmanabhan (forthcoming). Two Axioms for Implication Algebras. Notre Dame Journal of Formal Logic.
    Direct download  
     
    Export citation  
     
    My bibliography  
  9.  4
    Radek Honzík & Jonathan Verner (forthcoming). A Lifting Argument for the Generalized Grigorieff Forcing. Notre Dame Journal of Formal Logic.
    In this short paper, we describe another class of forcing notions which preserve measurability of a large cardinal $\kappa$ from the optimal hypothesis, while adding new unbounded subsets to $\kappa$. In some ways these forcings are closer to the Cohen-type forcings—we show that they are not minimal—but, they share some properties with treelike forcings. We show that they admit fusion-type arguments which allow for a uniform lifting argument.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. Lars Louder, Chloé Perin & Rizos Sklinos (forthcoming). Hyperbolic Towers and Independent Generic Sets in the Theory of Free Groups, to Appear in the Proceedings of the Conference" Recent Developments in Model Theory. Notre Dame Journal of Formal Logic.
     
    Export citation  
     
    My bibliography  
  11.  2
    Florian Pelupessy (forthcoming). Phase Transition Results for Three Ramsey-Like Theorems. Notre Dame Journal of Formal Logic.
    We classify a sharp phase transition threshold for Friedman’s finite adjacent Ramsey theorem. We extend the method for showing this result to two previous classifications involving Ramsey theorem variants: the Paris–Harrington theorem and the Kanamori–McAloon theorem. We also provide tools to remove ad hoc arguments from the proofs of phase transition results as much as currently possible.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. G. Weaver (forthcoming). Dedekind Algebras. Notre Dame Journal of Formal Logic.
     
    Export citation  
     
    My bibliography  
  13.  5
    Stefan Wintein (forthcoming). From Closure Games to Strong Kleene Truth. Notre Dame Journal of Formal Logic.
    In this paper, we study the method of closure games, a game-theoretic valuation method for languages of self-referential truth developed by the author. We prove two theorems which jointly establish that the method of closure games characterizes all 3- and 4-valued strong Kleene fixed points in a novel, informative manner. Among others, we also present closure games which induce the minimal and maximal intrinsic fixed point of the strong Kleene schema.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  7
    Elia Zardini (forthcoming). Restriction by Noncontraction. Notre Dame Journal of Formal Logic.
    This paper investigates how naive theories of truth fare with respect to a set of extremely plausible principles of restricted quantification. It is first shown that both nonsubstructural theories as well as certain substructural theories cannot validate all those principles. Then, pursuing further an approach to the semantic paradoxes that the author has defended elsewhere, the theory of restricted quantification available in a specific naive theory that rejects the structural property of contraction is explored. It is shown that the theory (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues