Year:

  1.  4
    Model Theoretic Dynamics in Galois Fashion.Daniel Max Hoffmann - 2019 - Annals of Pure and Applied Logic 170 (7):755-804.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  5
    Uniform Interpolation and Coherence.Tomasz Kowalski & George Metcalfe - 2019 - Annals of Pure and Applied Logic 170 (7):825-841.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  9
    On the Complexity of the Leibniz Hierarchy.Tommaso Moraschini - 2019 - Annals of Pure and Applied Logic 170 (7):805-824.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  4
    Computability-Theoretic Categoricity and Scott Families.Ekaterina Fokina, Valentina Harizanov & Daniel Turetsky - 2019 - Annals of Pure and Applied Logic 170 (6):699-717.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  2
    Model-Completions for Abelian Lattice-Ordered Groups with Finitely Many Disjoint Elements.Philip Scowcroft - 2019 - Annals of Pure and Applied Logic 170 (6):673-698.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  10
    Provability Logic and the Completeness Principle.Albert Visser & Jetze Zoethout - 2019 - Annals of Pure and Applied Logic 170 (6):718-753.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  8
    On Modal Logics Arising From Scattered Locally Compact Hausdorff Spaces.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2019 - Annals of Pure and Applied Logic 170 (5):558-577.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  7
    Completeness for Μ-Calculi: A Coalgebraic Approach.Sebastian Enqvist, Fatemeh Seifan & Yde Venema - 2019 - Annals of Pure and Applied Logic 170 (5):578-641.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  1
    A New Look at Interpretability and Saturation.M. Malliaris & S. Shelah - 2019 - Annals of Pure and Applied Logic 170 (5):642-671.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  5
    On the Existence of Skinny Stationary Subsets.Yo Matsubara, Hiroshi Sakai & Toshimichi Usuba - 2019 - Annals of Pure and Applied Logic 170 (5):539-557.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. Isolated Maximal D.R.E. Degrees.Yong Liu - 2019 - Annals of Pure and Applied Logic 170 (4):515-538.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  2
    A Characterization of Those Categories Whose Internal Logic is Hilbert's Ε-Calculus.Fabio Pasquali - 2019 - Annals of Pure and Applied Logic 170 (4):446-464.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  5
    Existential Monadic Second Order Logic of Undirected Graphs: The Le Bars Conjecture is False.S. N. Popova & M. E. Zhukovskii - 2019 - Annals of Pure and Applied Logic 170 (4):505-514.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  8
    A Note on Non-Classical Nonstandard Arithmetic.Sam Sanders - 2019 - Annals of Pure and Applied Logic 170 (4):427-445.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  3
    Comparing Material and Structural Set Theories.Michael Shulman - 2019 - Annals of Pure and Applied Logic 170 (4):465-504.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  5
    The Approachability Ideal Without a Maximal Set.John Krueger - 2019 - Annals of Pure and Applied Logic 170 (3):297-382.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  4
    Acyclicity and Reduction.Dominique Lecomte - 2019 - Annals of Pure and Applied Logic 170 (3):383-426.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  10
    Reverse Mathematics and Parameter-Free Transfer.Benno van den Berg & Sam Sanders - 2019 - Annals of Pure and Applied Logic 170 (3):273-296.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  13
    Infinitary First-Order Categorical Logic.Christian Espíndola - 2019 - Annals of Pure and Applied Logic 170 (2):137-162.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  8
    On Stably Pointed Varieties and Generically Stable Groups in ACVF.Yatir Halevi - 2019 - Annals of Pure and Applied Logic 170 (2):180-217.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  21.  2
    Small Embedding Characterizations for Large Cardinals.Peter Holy, Philipp Lücke & Ana Njegomir - 2019 - Annals of Pure and Applied Logic 170 (2):251-271.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  2
    On Arithmetical Completeness of the Logic of Proofs.Sohei Iwata & Taishi Kurahashi - 2019 - Annals of Pure and Applied Logic 170 (2):163-179.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  16
    Reasoning About Proof and Knowledge.Steffen Lewitzka - 2019 - Annals of Pure and Applied Logic 170 (2):218-250.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  4
    Hod Up to ADR+Θ is Measurable.Rachid Atmai & Grigor Sargsyan - 2019 - Annals of Pure and Applied Logic 170 (1):95-108.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  5
    On the Classification of First Order Gödel Logics.Matthias Baaz & Norbert Preining - 2019 - Annals of Pure and Applied Logic 170 (1):36-57.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  6
    Finite Computable Dimension and Degrees of Categoricity.Barbara F. Csima & Jonathan Stephenson - 2019 - Annals of Pure and Applied Logic 170 (1):58-94.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  1
    On Eigenvectors, Approximations and the Feynman Propagator.Åsa Hirvonen & Tapani Hyttinen - 2019 - Annals of Pure and Applied Logic 170 (1):109-135.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  28.  3
    The Nikodym Property and Cardinal Characteristics of the Continuum.Damian Sobota - 2019 - Annals of Pure and Applied Logic 170 (1):1-35.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues