Annals of Pure and Applied Logic

28 found

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 
BibTeX / EndNote / RIS / etc
Export this page:
Viewing options


Open Category Editor
Off-campus access
Using PhilPapers from home?

Create an account to enable off-campus access through your institution's proxy server.

Editorial team
General Editors:
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)

Area Editors:
David Bourget
Gwen Bradford
Berit Brogaard
Margaret Cameron
David Chalmers
James Chase
Rafael De Clercq
Ezio Di Nucci
Barry Hallen
Hans Halvorson
Jonathan Ichikawa
Michelle Kosch
Øystein Linnebo
JeeLoo Liu
Paul Livingston
Brandon Look
Manolo Martínez
Matthew McGrath
Michiru Nagatsu
Susana Nuccetelli
Gualtiero Piccinini
Giuseppe Primiero
Jack Alan Reynolds
Darrell P. Rowbottom
Aleksandra Samonek
Constantine Sandis
Howard Sankey
Jonathan Schaffer
Thomas Senor
Robin Smith
Daniel Star
Jussi Suikkanen
Lynne Tirrell
Aness Webster

Other editors
Contact us
Learn more about PhilPapers

Home | New books and articles | Bibliographies | Philosophy journals | Discussions | Article Index | About PhilPapers | API | Contact us | Code of conduct

CDP Phiosophy Documentation Center
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation

Page generated Fri Apr 19 18:55:55 2019 on pp1