Year:

Forthcoming articles
  1. Jamshid Derakhshan & Angus Macintyre (forthcoming). Some Supplements to Feferman–Vaught Related to the Model Theory of Adeles. Annals of Pure and Applied Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Noam Greenberg & Saharon Shelah (forthcoming). Models of Cohen Measurability. Annals of Pure and Applied Logic.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. K. Higuchi & T. Kihara (forthcoming). Inside the Muchnik Degrees II: The Degree Structures Induced by the Arithmetical Hierarchy of Countably Continuous Functions. Annals of Pure and Applied Logic.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Ren-June Wang (forthcoming). Non-Circular Proofs and Proof Realization in Modal Logic. Annals of Pure and Applied Logic.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. P. Beame & T. Pitassi (forthcoming). Exponential Separation Between the Matching Principles and the Pigeonhole Principle. Submitted To. Annals of Pure and Applied Logic.
     
    My bibliography  
     
    Export citation  
  6. Paul Beame & Toniann Pitassi (forthcoming). An Exponential Separation Between the Matching Principles and the Pigeonhole Principle, Forthcoming. Annals of Pure and Applied Logic.
     
    My bibliography  
     
    Export citation  
  7. Andrey Bovykin & Andreas Weiermann (forthcoming). The Strength of Infinitary Ramseyan Principles Can Be Accessed by Their Densities. Annals of Pure and Applied Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Thierry Coquand & Giovanni Sambin (forthcoming). Preface of Special Issue on Formal Topology. Annals of Pure and Applied Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Maarten De Rijke (forthcoming). Modal Model Theory. Annals of Pure and Applied Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. I. Hodkinson, F. Wolter & M. Zakharyaschev (forthcoming). Fragments of Rst-Order Temporal Logics. Annals of Pure and Applied Logic.
    No categories
     
    My bibliography  
     
    Export citation  
  11. S. Luttik (forthcoming). On the Expressiveness of the Choice Quantifier. Annals of Pure and Applied Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. Ja Makowsky (forthcoming). Annals of Pure and Applied Logic. Annals of Pure and Applied Logic.
     
    My bibliography  
     
    Export citation  
  13. E. Palmgren (forthcoming). Maximal and Partial Points in Formal Topology. Annals of Pure and Applied Logic.
     
    My bibliography  
     
    Export citation  
  14. Francesca Poggiolesi & Brian Hill (forthcoming). Analytic Logic of Proofs. Annals of Pure and Applied Logic.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. Gabriel Sandu & Merlijn Sevenster (forthcoming). Equilibrium Semantics. Annals of Pure and Applied Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. Matteo Viale (forthcoming). On the Notion of Guessing Model. Annals of Pure and Applied Logic.
    Direct download  
     
    My bibliography  
     
    Export citation