Year:

Forthcoming articles
  1. Jeremy Avigad (forthcoming). On the Relationships Between ATR 0 And ID_<Ω. Journal of Symbolic Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. 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  
  3. E. Carlos H. Montenegro (forthcoming). Combinatorics on Large Cardinals. Journal of Symbolic Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. 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  
  5. K. Došen & Z. Petric (forthcoming). Generality of Proofs and its Brauerian Representation, to Appear In. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  6. Rvszard Frankiewicz, Saharon Shelah & Paweł Zbierski (forthcoming). On Closed P-Sets with in the Ω. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  7. Allwein Gerard & Dunn J. Michael (forthcoming). Kripke Models for Linear Logic. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  8. 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  
  9. A. M. Haeberer & P. A. S. Veloso (forthcoming). Some Epistemological Reflections on Software Development. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  10. 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  
  11. R. Hirsch, I. Hodkinson & A. Kurucz (forthcoming). On Modal Logics Between â â à and Ë¢ Ë¢ Ë. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  12. Wm Phillip Hudelson (forthcoming). Mass Problems and Initial Segment Complexity. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  13. 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  
  14. Richard Kaye (forthcoming). A Diophantine Undecidable Subsystem of Arithmetic with No Induction Axioms. Journal of Symbolic Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Da Martin (forthcoming). Barwise Etchemendy, The Liar. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  16. M. Mostowski (forthcoming). The Logic of Divisibility. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  17. 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  
  18. Philip D. Welch (forthcoming). Bounded Martin's Maximum, Weak Erdos Cardinals, and AC. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation