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. George Barmpalias, Andrew E. M. Lewis & Mariya Soskova (forthcoming). Randomness, Lowness and Degrees. 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. Johanna N. Y. Franklin (forthcoming). Hyperimmune-Free Degrees and Schnorr Triviality. Journal of Symbolic Logic.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. Sy-David Friedman, Philip Welch & W. Hugh Woodin (forthcoming). On the Consistency Strength of the Inner Model Hypothesis. Journal of Symbolic Logic.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Allwein Gerard & Dunn J. Michael (forthcoming). Kripke Models for Linear Logic. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  11. 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  
  12. A. M. Haeberer & P. A. S. Veloso (forthcoming). Some Epistemological Reflections on Software Development. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  13. 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  
  14. R. Hirsch, I. Hodkinson & A. Kurucz (forthcoming). On Modal Logics Between â â à and Ë¢ Ë¢ Ë. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  15. Wm Phillip Hudelson (forthcoming). Mass Problems and Initial Segment Complexity. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  16. 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  
  17. Richard Kaye (forthcoming). A Diophantine Undecidable Subsystem of Arithmetic with No Induction Axioms. Journal of Symbolic Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. R. M. Victoria Marshall (forthcoming). Higher Order Reflection Principles. Journal of Symbolic Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Da Martin (forthcoming). Barwise Etchemendy, The Liar. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  20. J. Donald Monk (forthcoming). Maximal Irredundance and Maximal Ideal Independence in Boolean Algebras. Journal of Symbolic Logic.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. M. Mostowski (forthcoming). The Logic of Divisibility. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  22. J. B. Paris & A. Sirokofskich (forthcoming). On LP-Models of Arithmetic. Journal of Symbolic Logic.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. Mariya I. Soskova & S. Barry Cooper (forthcoming). How Enumeration Reducibility Yields Extended Harrington Non-Splitting. Journal of Symbolic Logic.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. John R. Steel (forthcoming). Scales in K (R) at the End of a Weak Gap. Journal of Symbolic Logic.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. 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  
  26. 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