Year:

Forthcoming articles
  1.  5
    Liliana Badillo, Caterina Bianchini, Hristo Ganchev, Thomas F. Kent & Andrea Sorbi (forthcoming). A Note on the Enumeration Degrees of 1-Generic Sets. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  4
    Andreas Baudisch (forthcoming). Neostability-Properties of Fraïssé Limits of 2-Nilpotent Groups of Exponent $${P > 2}$$ P > 2. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  5
    Petr Cintula & Carles Noguera (forthcoming). Implicational Logics II: Additional Connectives and Characterizations of Semilinearity. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  5
    Gabriel Conant (forthcoming). A Remark on Strict Independence Relations. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  7
    Emanuele Frittaion, Matthew Hendtlass, Alberto Marcone, Paul Shafer & Jeroen Van der Meeren (forthcoming). Reverse Mathematics, Well-Quasi-Orders, and Noetherian Spaces. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  5
    Yair Hayut & Asaf Karagila (forthcoming). Restrictions on Forcings That Change Cofinalities. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  4
    Paul Howard & Eleftherios Tachtsis (forthcoming). No Decreasing Sequence of Cardinals. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  6
    Sara Negri (forthcoming). Glivenko Sequent Classes in the Light of Structural Proof Theory. Archive for Mathematical Logic.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  4
    Janusz Pawlikowski & Wojciech Stadnicki (forthcoming). Mathias Forcing and Ultrafilters. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  5
    Wen Chean Teh (forthcoming). Ramsey Algebras and the Existence of Idempotent Ultrafilters. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  5
    Simon Thomas & Jay Williams (forthcoming). The Bi-Embeddability Relation for Finitely Generated Groups II. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  8
    Guram Bezhanishvili & Joel Lucero-Bryan (forthcoming). Subspaces of Whose D-Logics Do Not Have the FMP. Archive for Mathematical Logic.
    Direct download  
     
    Export citation  
     
    My bibliography  
  13. A. Bovykin (forthcoming). Resplendent Models and Σ1 1 Definability with an Oracle. Submitted To. Archive for Mathematical Logic.
     
    Export citation  
     
    My bibliography  
  14. W. Buchholz (forthcoming). Proof Theory of Iterated Inductive Definitions Revisited. Archive for Mathematical Logic.
     
    Export citation  
     
    My bibliography  
  15.  42
    S. Feferman, G. Kreisel & S. Orey (forthcoming). 1 — Consistency and Faithful Interpretations. Archive for Mathematical Logic.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  16. S. Kuroda (forthcoming). A Bounded Arithmetictheory for LOGCFL. Archive for Mathematical Logic.
    No categories
     
    Export citation  
     
    My bibliography  
  17. A. Mahboubi (forthcoming). An Induction Principle Over Real Numbers. Submitted To. Archive for Mathematical Logic.
     
    Export citation  
     
    My bibliography  
  18. S. Negri (forthcoming). Natural Deduction and Normal Form for Intuitionistic Linear Logic. Archive for Mathematical Logic.
  19.  14
    Giovanni Sambin & Silvio Valentini (forthcoming). Topological Characterization of Scott Domains. Archive for Mathematical Logic.
    Direct download  
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues