Year:

Forthcoming articles
  1. Albert Atserias & Moritz Müller (forthcoming). Partially Definable Forcing and Bounded Arithmetic. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Serikzhan A. Badaev, Mustafa Manat & Andrea Sorbi (forthcoming). Friedberg Numberings in the Ershov Hierarchy. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Seyed-Mohammad Bagheri (forthcoming). Linear Model Theory for Lipschitz Structures. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Juan Felipe Carmona (forthcoming). Forking Geometry on Theories with an Independent Predicate. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. A. Cordón-Franco, A. Fernández-Margarit & F. F. Lara-Martín (forthcoming). On Axiom Schemes for T-Provably $${\Delta_{1}}$$ Δ 1 Formulas. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Vincenzo Dimonte & Sy-David Friedman (forthcoming). Rank-Into-Rank Hypotheses and the Failure of GCH. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Mário J. Edmundo, Pantelis E. Eleftheriou & Luca Prelli (forthcoming). Coverings by Open Cells. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Oliver Fasching & Matthias Baaz (forthcoming). Monotone Operators on Gödel Logic. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. David Fernández-Duque (forthcoming). The Polytopologies of Transfinite Provability Logic. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Jeroen P. Goudsmit (forthcoming). Admissibility and Refutation: Some Characterisations of Intermediate Logics. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Kojiro Higuchi & Yoshihiro Horihata (forthcoming). Weak Theories of Concatenation and Minimal Essentially Undecidable Theories. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. J. F. Knight & C. McCoy (forthcoming). Index Sets and Scott Sentences. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. John Krueger (forthcoming). Adding a Club with Finite Conditions, Part II. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Giorgio Laguzzi (forthcoming). Some Considerations on Amoeba Forcing Notions. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. Eva Leenknegt (forthcoming). Reducts of P-Adically Closed Fields. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. Kentaro Sato (forthcoming). Full and Hat Inductive Definitions Are Equivalent in NBG. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. F. Schlutzenberg & J. R. Steel (forthcoming). Comparison of Fine Structural Mice Via Coarse Iteration. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. James H. Schmerl (forthcoming). Subsets Coded in Elementary End Extensions. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Ferit Toska (forthcoming). Strict Process Machine Complexity. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. Athanassios Tzouvaras (forthcoming). Large Transitive Models in Local ZFC. Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Guram Bezhanishvili & Joel Lucero-Bryan (forthcoming). Subspaces of Whose D-Logics Do Not Have the FMP. Archive for Mathematical Logic.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. A. Bovykin (forthcoming). Resplendent Models and Σ1 1 Definability with an Oracle. Submitted To. Archive for Mathematical Logic.
    No categories
     
    My bibliography  
     
    Export citation  
  23. W. Buchholz (forthcoming). Proof Theory of Iterated Inductive Definitions Revisited. Archive for Mathematical Logic.
    No categories
     
    My bibliography  
     
    Export citation  
  24. S. Feferman, G. Kreisel & S. Orey (forthcoming). 1 — Consistency and Faithful Interpretations. Archive for Mathematical Logic.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  25. S. Kuroda (forthcoming). A Bounded Arithmetictheory for LOGCFL. Archive for Mathematical Logic.
    No categories
     
    My bibliography  
     
    Export citation  
  26. A. Mahboubi (forthcoming). An Induction Principle Over Real Numbers. Submitted To. Archive for Mathematical Logic.
    No categories
     
    My bibliography  
     
    Export citation  
  27. S. Negri (forthcoming). Natural Deduction and Normal Form for Intuitionistic Linear Logic. Archive for Mathematical Logic.
    No categories
     
    My bibliography  
     
    Export citation  
  28. Giovanni Sambin & Silvio Valentini (forthcoming). Topological Characterization of Scott Domains. Archive for Mathematical Logic.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation