Year:

Forthcoming articles
  1. Sean Walsh (forthcoming). Fragments of Frege’s Grundgesetze and Gödel’s Constructible Universe. Journal of Symbolic Logic.
    Frege's Grundgesetze was one of the 19th century forerunners to contemporary set theory which was plagued by the Russell paradox. In recent years, it has been shown that subsystems of the Grundgesetze formed by restricting the comprehension schema are consistent. One aim of this paper is to ascertain how much set theory can be developed within these consistent fragments of the Grundgesetze, and our main theorem shows that there is a model of a fragment of the Grundgesetze which defines a (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Jeremy Avigad (forthcoming). On the Relationships Between ATR 0 And ID_<Ω. Journal of Symbolic Logic.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Bruno Bauwens & Alexander Shen (forthcoming). Complexity of Complexity and Strings with Maximal Plain and Prefix Kolmogorov Complexity. Journal of Symbolic Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. E. Carlos H. Montenegro (forthcoming). Combinatorics on Large Cardinals. Journal of Symbolic Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Claudia Degroote & Jeroen Demeyer (forthcoming). Diophantine Sets of Polynomials Over Algebraic Extensions of the Rationals. Journal of Symbolic Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. K. Došen & Z. Petric (forthcoming). Generality of Proofs and its Brauerian Representation, to Appear In. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  7. Rvszard Frankiewicz, Saharon Shelah & Paweł Zbierski (forthcoming). On Closed P-Sets with in the Ω. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  8. Allwein Gerard & Dunn J. Michael (forthcoming). Kripke Models for Linear Logic. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  9. Isaac Goldbring, Bradd Hart & Thomas Sinclair (forthcoming). The Theory of Tracial von Neumann Algebras Does Not Have a Model Companion. Journal of Symbolic Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. A. M. Haeberer & P. A. S. Veloso (forthcoming). Some Epistemological Reflections on Software Development. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  11. R. Hirsch & R. Egrot (forthcoming). Meet-Completions and Representations of Ordered Domain Algebras. Journal of Symbolic Logic.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. R. Hirsch, I. Hodkinson & A. Kurucz (forthcoming). On Modal Logics Between â â à and Ë¢ Ë¢ Ë. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  13. Wm Phillip Hudelson (forthcoming). Mass Problems and Initial Segment Complexity. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  14. Neil Immerman, Jonathan F. Buss, A. David & Mix Barrington (forthcoming). Number of Variables is Equivalent to Space. Journal of Symbolic Logic.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. Richard Kaye (forthcoming). A Diophantine Undecidable Subsystem of Arithmetic with No Induction Axioms. Journal of Symbolic Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. Da Martin (forthcoming). Barwise Etchemendy, The Liar. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  17. M. Mostowski (forthcoming). The Logic of Divisibility. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  18. Albert Visser (forthcoming). An Inside View of Exp; or, The Closed Fragment of the Provability Logic of IΔ0+ Ω1 with a Propositional Constant For. Journal of Symbolic Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Philip D. Welch (forthcoming). Bounded Martin's Maximum, Weak Erdos Cardinals, and AC. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
 Previous issues
  
Next issues