Year:

  1.  3
    Ceres in Intuitionistic Logic.David Cerna, Alexander Leitsch, Giselle Reis & Simon Wolfsteiner - 2017 - Annals of Pure and Applied Logic 168 (10):1783-1836.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  3
    Universal Graphs at ℵ Ω 1 + 1.Jacob Davis - 2017 - Annals of Pure and Applied Logic 168 (10):1878-1901.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3. Finding a Field in a Zariski-Like Structure.Kaisa Kangas - 2017 - Annals of Pure and Applied Logic 168 (10):1837-1865.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  1
    Imaginaries in Bounded Pseudo Real Closed Fields.Samaria Montenegro - 2017 - Annals of Pure and Applied Logic 168 (10):1866-1877.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  2
    Increasing Sentences in Simple Type Theory.Panagiotis Rouvelas - 2017 - Annals of Pure and Applied Logic 168 (10):1902-1926.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. Uniform Interpolation and Compact Congruences.Samuel J. van Gool, George Metcalfe & Constantine Tsinakis - 2017 - Annals of Pure and Applied Logic 168 (10):1927-1948.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  16
    The Strength of Infinitary Ramseyan Principles Can Be Accessed by Their Densities.Andrey Bovykin & Andreas Weiermann - 2017 - Annals of Pure and Applied Logic 168 (9):1700-1709.
  8.  1
    Abelian C -Minimal Valued Groups.F. Delon & P. Simonetta - 2017 - Annals of Pure and Applied Logic 168 (9):1729-1782.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. Homology Groups of Types in Stable Theories and the Hurewicz Correspondence.John Goodrick, Byunghan Kim & Alexei Kolesnikov - 2017 - Annals of Pure and Applied Logic 168 (9):1710-1728.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10.  1
    Nullifying Randomness and Genericity Using Symmetric Difference.Rutger Kuyper & Joseph S. Miller - 2017 - Annals of Pure and Applied Logic 168 (9):1692-1699.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  2
    On Generalized Van Benthem-Type Characterizations.Grigory K. Olkhovikov - 2017 - Annals of Pure and Applied Logic 168 (9):1643-1691.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  1
    Shelah's Eventual Categoricity Conjecture in Universal Classes: Part I.Sebastien Vasey - 2017 - Annals of Pure and Applied Logic 168 (9):1609-1642.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  13.  2
    Forking in Short and Tame Abstract Elementary Classes.Boney Will & Grossberg Rami - 2017 - Annals of Pure and Applied Logic 168 (8):1517-1551.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  1
    Addendum To: “The Bolzano–Weierstrass Theorem is the Jump of Weak Kőnig's Lemma” [Ann. Pure Appl. Logic 163 623–655].Brattka Vasco, Cettolo Andrea, Gherardi Guido, Marcone Alberto & Schröder Matthias - 2017 - Annals of Pure and Applied Logic 168 (8):1605-1608.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  3
    Disjoint Borel Functions.Dan Hathaway - 2017 - Annals of Pure and Applied Logic 168 (8):1552-1563.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  1
    Full-Splitting Miller Trees and Infinitely Often Equal Reals.Yurii Khomskii & Giorgio Laguzzi - 2017 - Annals of Pure and Applied Logic 168 (8):1491-1506.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  1
    On the Decidability of the Theory of Modules Over the Ring of Algebraic Integers.Sonia L'Innocente, Carlo Toffalori & Gena Puninski - 2017 - Annals of Pure and Applied Logic 168 (8):1507-1516.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18. Supercompact Extender Based Magidor–Radin Forcing.Carmi Merimovich - 2017 - Annals of Pure and Applied Logic 168 (8):1571-1587.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. Elementary Recursive Quantifier Elimination Based on Thom Encoding and Sign Determination.Daniel Perrucci & Marie-Françoise Roy - 2017 - Annals of Pure and Applied Logic 168 (8):1588-1604.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20. CE-Cell Decomposition and Open Cell Property in o-Minimal Structures.Tari Somayyeh - 2017 - Annals of Pure and Applied Logic 168 (8):1564-1570.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21.  2
    Superstability From Categoricity in Abstract Elementary Classes.Will Boney, Rami Grossberg, Monica M. VanDieren & Sebastien Vasey - 2017 - Annals of Pure and Applied Logic 168 (7):1383-1395.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22.  1
    Neostability in Countable Homogeneous Metric Spaces.Conant Gabriel - 2017 - Annals of Pure and Applied Logic 168 (7):1442-1471.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23.  1
    Erratum To: “Scott Rank of Polish Metric Spaces” [Ann. Pure Appl. Logic 165 1919–1929].Michal Doucha - 2017 - Annals of Pure and Applied Logic 168 (7):1490.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24.  2
    Proof Lengths for Instances of the Paris–Harrington Principle.Freund Anton - 2017 - Annals of Pure and Applied Logic 168 (7):1361-1382.
  25. The Gamma Question for Many-One Degrees.Matthew Harrison-Trainor - 2017 - Annals of Pure and Applied Logic 168 (7):1396-1405.
  26.  1
    Reducts of the Henson Graphs with a Constant.Pongrácz András - 2017 - Annals of Pure and Applied Logic 168 (7):1472-1489.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27.  2
    Propositional Team Logics.Fan Yang & Jouko Väänänen - 2017 - Annals of Pure and Applied Logic 168 (7):1406-1441.
  28.  5
    The Uniform Content of Partial and Linear Orders.Eric P. Astor, Damir D. Dzhafarov, Reed Solomon & Jacob Suggs - 2017 - Annals of Pure and Applied Logic 168 (6):1153-1171.
  29. On Expansions of the Real Field by Complex Subgroups.Caulfield Erin - 2017 - Annals of Pure and Applied Logic 168 (6):1308-1334.
  30.  2
    The Countable Admissible Ordinal Equivalence Relation.William Chan - 2017 - Annals of Pure and Applied Logic 168 (6):1224-1246.
  31.  1
    Polytopes and Simplexes in P -Adic Fields.Luck Darnière - 2017 - Annals of Pure and Applied Logic 168 (6):1284-1307.
  32.  4
    Unifying the Model Theory of First-Order and Second-Order Arithmetic viaWKL0⁎.Ali Enayat & Tin Lok Wong - 2017 - Annals of Pure and Applied Logic 168 (6):1247-1283.
  33.  1
    Condensational Equivalence, Equimorphism, Elementary Equivalence and Similar Similarities.S. Kurilić Miloš & Morača Nenad - 2017 - Annals of Pure and Applied Logic 168 (6):1210-1223.
  34.  1
    Dominating the Erdős–Moser Theorem in Reverse Mathematics.Ludovic Patey - 2017 - Annals of Pure and Applied Logic 168 (6):1172-1209.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  2
    The ⁎-Variation of the Banach–Mazur Game and Forcing Axioms.Yasuo Yoshinobu - 2017 - Annals of Pure and Applied Logic 168 (6):1335-1359.
  36.  4
    Germinal Theories in Łukasiewicz Logic.Leonardo Manuel Cabrer & Daniele Mundici - 2017 - Annals of Pure and Applied Logic 168 (5):1132-1151.
  37.  3
    Characterizing Large Cardinals in Terms of Layered Posets.Sean Cox & Philipp Lücke - 2017 - Annals of Pure and Applied Logic 168 (5):1112-1131.
  38.  2
    Mitchell's Theorem Revisited.Thomas Gilton & John Krueger - 2017 - Annals of Pure and Applied Logic 168 (5):922-1016.
  39.  1
    Spatial Logic of Tangled Closure Operators and Modal Mu-Calculus.Robert Goldblatt & Ian Hodkinson - 2017 - Annals of Pure and Applied Logic 168 (5):1032-1090.
  40.  5
    Characterizing Model-Theoretic Dividing Lines Via Collapse of Generalized Indiscernibles.Vincent Guingona, Cameron Donnay Hill & Lynn Scow - 2017 - Annals of Pure and Applied Logic 168 (5):1091-1111.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41.  1
    Bar Recursion Over Finite Partial Functions.Paulo Oliva & Thomas Powell - 2017 - Annals of Pure and Applied Logic 168 (5):887-921.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42.  1
    Honest Elementary Degrees and Degrees of Relative Provability Without the Cupping Property.Paul Shafer - 2017 - Annals of Pure and Applied Logic 168 (5):1017-1031.
  43.  7
    Ordinals and Graph Decompositions.Stephen Flood - 2017 - Annals of Pure and Applied Logic 168 (4):824-839.
  44.  2
    Randomness for Computable Measures and Initial Segment Complexity.Rupert Hölzl & Christopher P. Porter - 2017 - Annals of Pure and Applied Logic 168 (4):860-886.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  4
    Computable Neighbourhoods of Points in Semicomputable Manifolds.Zvonko Iljazović & Lucija Validžić - 2017 - Annals of Pure and Applied Logic 168 (4):840-859.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46.  4
    Polish G-Spaces and Continuous Logic.A. Ivanov & B. Majcher-Iwanow - 2017 - Annals of Pure and Applied Logic 168 (4):749-775.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47.  4
    Covering the Recursive Sets.Bjørn Kjos-Hanssen, Frank Stephan & Sebastiaan A. Terwijn - 2017 - Annals of Pure and Applied Logic 168 (4):804-823.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48.  2
    On Non-Self-Referential Fragments of Modal Logics.Junhua Yu - 2017 - Annals of Pure and Applied Logic 168 (4):776-803.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  4
    Algebraic Proof Theory: Hypersequents and Hypercompletions.Agata Ciabattoni, Nikolaos Galatos & Kazushige Terui - 2017 - Annals of Pure and Applied Logic 168 (3):693-737.
  50.  8
    Distance Structures for Generalized Metric Spaces.Gabriel Conant - 2017 - Annals of Pure and Applied Logic 168 (3):622-650.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  51.  1
    A Uniform Version of Non-Low2-Ness.Yun Fan - 2017 - Annals of Pure and Applied Logic 168 (3):738-748.
  52.  3
    Representation and Duality of the Untyped Λ-Calculus in Nominal Lattice and Topological Semantics, with a Proof of Topological Completeness.Murdoch J. Gabbay & Michael Gabbay - 2017 - Annals of Pure and Applied Logic 168 (3):501-621.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  53.  5
    Downward Categoricity From a Successor Inside a Good Frame.Sebastien Vasey - 2017 - Annals of Pure and Applied Logic 168 (3):651-692.
  54.  3
    Realizability for Peano Arithmetic with Winning Conditions in HON Games.Valentin Blot - 2017 - Annals of Pure and Applied Logic 168 (2):254-277.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  55.  4
    Game Semantics for Non-Monotonic Intensional Logic Programming.Chrysida Galanaki, Christos Nomikos & Panos Rondogiannis - 2017 - Annals of Pure and Applied Logic 168 (2):234-253.
  56.  5
    Reasoning About Equilibria in Game-Like Concurrent Systems.Julian Gutierrez, Paul Harrenstein & Michael Wooldridge - 2017 - Annals of Pure and Applied Logic 168 (2):373-403.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  57.  3
    Semantics of Higher-Order Quantum Computation Via Geometry of Interaction.Ichiro Hasuo & Naohiko Hoshino - 2017 - Annals of Pure and Applied Logic 168 (2):404-469.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  58.  3
    Foreword for Special Issue of APAL for GaLoP 2013.Martin Hyland, Guy McCusker & Nikos Tzevelekos - 2017 - Annals of Pure and Applied Logic 168 (2):233.
  59.  7
    Combining Control Effects and Their Models: Game Semantics for a Hierarchy of Static, Dynamic and Delimited Control Effects.J. Laird - 2017 - Annals of Pure and Applied Logic 168 (2):470-500.
  60.  7
    A Micrological Study of Negation.Paul-André Melliès - 2017 - Annals of Pure and Applied Logic 168 (2):321-372.
  61.  4
    Interaction Graphs: Graphings.Thomas Seiller - 2017 - Annals of Pure and Applied Logic 168 (2):278-320.
  62.  6
    A Classification of Orbits Admitting a Unique Invariant Measure.Nathanael Ackerman, Cameron Freer, Aleksandra Kwiatkowska & Rehana Patel - 2017 - Annals of Pure and Applied Logic 168 (1):19-36.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  63.  4
    Cardinal Characteristics at Κ in a Small U Model.A. D. Brooke-Taylor, V. Fischer, S. D. Friedman & D. C. Montoya - 2017 - Annals of Pure and Applied Logic 168 (1):37-49.
  64.  5
    Labeled Sequent Calculus for Justification Logics.Meghdad Ghari - 2017 - Annals of Pure and Applied Logic 168 (1):72-111.
  65.  1
    Proof Complexity of Intuitionistic Implicational Formulas.Emil Jeřábek - 2017 - Annals of Pure and Applied Logic 168 (1):150-190.
  66.  2
    Vaught's Conjecture for Quite o-Minimal Theories.B. Sh Kulpeshov & S. V. Sudoplatov - 2017 - Annals of Pure and Applied Logic 168 (1):129-149.
  67. Bounded Stationary Reflection II.Chris Lambie-Hanson - 2017 - Annals of Pure and Applied Logic 168 (1):50-71.
  68.  2
    Pseudo Real Closed Fields, Pseudo P-Adically Closed Fields and NTP2.Samaria Montenegro - 2017 - Annals of Pure and Applied Logic 168 (1):191-232.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  69.  2
    Effective Results on a Fixed Point Algorithm for Families of Nonlinear Mappings.Andrei Sipoş - 2017 - Annals of Pure and Applied Logic 168 (1):112-128.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  70.  3
    Products of Menger Spaces: A Combinatorial Approach.Piotr Szewczak & Boaz Tsaban - 2017 - Annals of Pure and Applied Logic 168 (1):1-18.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues