Year:

Forthcoming articles
  1.  27 DLs
    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.  14 DLs
    Jeremy Avigad (forthcoming). On the Relationships Between ATR 0 And ID_<Ω. Journal of Symbolic Logic.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3.  4 DLs
    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.  1 DLs
    E. Carlos H. Montenegro (forthcoming). Combinatorics on Large Cardinals. Journal of Symbolic Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5.  4 DLs
    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.  0 DLs
    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.  0 DLs
    Rvszard Frankiewicz, Saharon Shelah & Paweł Zbierski (forthcoming). On Closed P-Sets with in the Ω. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  8.  0 DLs
    Allwein Gerard & Dunn J. Michael (forthcoming). Kripke Models for Linear Logic. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  9.  6 DLs
    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.  0 DLs
    A. M. Haeberer & P. A. S. Veloso (forthcoming). Some Epistemological Reflections on Software Development. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  11.  30 DLs
    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.  0 DLs
    R. Hirsch, I. Hodkinson & A. Kurucz (forthcoming). On Modal Logics Between â â à and Ë¢ Ë¢ Ë. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  13.  0 DLs
    Wm Phillip Hudelson (forthcoming). Mass Problems and Initial Segment Complexity. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  14.  7 DLs
    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.  9 DLs
    Richard Kaye (forthcoming). A Diophantine Undecidable Subsystem of Arithmetic with No Induction Axioms. Journal of Symbolic Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  16.  0 DLs
    M. Mostowski (forthcoming). The Logic of Divisibility. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  17.  0 DLs
    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