Year:

  1.  1
    Projective Well Orders and Coanalytic Witnesses.Jeffrey Bergfalk, Vera Fischer & Corey Bacal Switzer - 2022 - Annals of Pure and Applied Logic 173 (8):103135.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  2
    Abelian Group Actions and Hypersmooth Equivalence Relations.Michael R. Cotton - 2022 - Annals of Pure and Applied Logic 173 (8):103122.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  2
    The Computational Strength of Matchings in Countable Graphs.Stephen Flood, Matthew Jura, Oscar Levin & Tyler Markkanen - 2022 - Annals of Pure and Applied Logic 173 (8):103133.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  3
    End Extending Models of Set Theory Via Power Admissible Covers.Zachiri McKenzie & Ali Enayat - 2022 - Annals of Pure and Applied Logic 173 (8):103132.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  3
    Games and Scott Sentences for Positive Distances Between Metric Structures.Åsa Hirvonen & Joni Puljujärvi - 2022 - Annals of Pure and Applied Logic 173 (7):103123.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  1
    Generating Ideals by Additive Subgroups of Rings.Krzysztof Krupiński & Tomasz Rzepecki - 2022 - Annals of Pure and Applied Logic 173 (7):103119.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  4
    Induced and Higher-Dimensional Stable Independence.Michael Lieberman, Jiří Rosický & Sebastien Vasey - 2022 - Annals of Pure and Applied Logic 173 (7):103124.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  1
    Separating Weak Α-Change and Α-Change Genericity.Michael McInerney & Keng Meng Ng - 2022 - Annals of Pure and Applied Logic 173 (7):103134.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  4
    L-Algebras and Three Main Non-Classical Logics.Wolfgang Rump - 2022 - Annals of Pure and Applied Logic 173 (7):103121.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  1
    Intermediate Models of Magidor-Radin Forcing-Part II.Tom Benhamou & Moti Gitik - 2022 - Annals of Pure and Applied Logic 173 (6):103107.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  1
    A Characterisation of Elementary Fibrations.Jacopo Emmenegger, Fabio Pasquali & Giuseppe Rosolini - 2022 - Annals of Pure and Applied Logic 173 (6):103103.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  1
    Indestructibility Properties of Ramsey and Ramsey-Like Cardinals.Victoria Gitman & Thomas A. Johnstone - 2022 - Annals of Pure and Applied Logic 173 (6):103106.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  1
    First-Order Rigidity of Rings Satisfying Polynomial Identities.Be'eri Greenfeld - 2022 - Annals of Pure and Applied Logic 173 (6):103109.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  3
    Is Cut-Free Logic Fit for Unrestricted Abstraction?Uwe Petersen - 2022 - Annals of Pure and Applied Logic 173 (6):103101.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  1
    Mild Parametrizations of Power-Subanalytic Sets.Siegfried Van Hille - 2022 - Annals of Pure and Applied Logic 173 (6):103105.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  1
    Propositional Union Closed Team Logics.Fan Yang - 2022 - Annals of Pure and Applied Logic 173 (6):103102.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  9
    The Number of Axioms.J. P. Aguilera, M. Baaz & J. Bydžovský - 2022 - Annals of Pure and Applied Logic 173 (5):103078.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  5
    Complexity in the Interdefinability of Timelike, Lightlike and Spacelike Relatedness of Minkowski Spacetime.Hajnal Andréka, Judit X. Madarász, István Németi & Gergely Székely - 2022 - Annals of Pure and Applied Logic 173 (5):103100.
  19.  3
    Reflection Algebras and Conservation Results for Theories of Iterated Truth.Lev D. Beklemishev & Fedor N. Pakhomov - 2022 - Annals of Pure and Applied Logic 173 (5):103093.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  1
    The Fixed-Point Property for Represented Spaces.Mathieu Hoyrup - 2022 - Annals of Pure and Applied Logic 173 (5):103090.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  6
    Constructive Ackermann's Interpretation.Hanul Jeon - 2022 - Annals of Pure and Applied Logic 173 (5):103086.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  2
    On Guaspari's Problem About Partially Conservative Sentences.Taishi Kurahashi, Yuya Okawa, V. Yu Shavrukov & Albert Visser - 2022 - Annals of Pure and Applied Logic 173 (5):103087.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  1
    From Axioms to Synthetic Inference Rules Via Focusing.Sonia Marin, Dale Miller, Elaine Pimentel & Marco Volpe - 2022 - Annals of Pure and Applied Logic 173 (5):103091.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  2
    The Computational Complexity of Module Socles.Huishan Wu - 2022 - Annals of Pure and Applied Logic 173 (5):103089.
  25.  3
    Definably Topological Dynamics of P-Adic Algebraic Groups.Jiaqi Bao & Ningyuan Yao - 2022 - Annals of Pure and Applied Logic 173 (4):103077.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  4
    Finitary Unification in Locally Tabular Modal Logics Characterized.Wojciech Dzik, Sławomir Kost & Piotr Wojtylak - 2022 - Annals of Pure and Applied Logic 173 (4):103072.
  27.  3
    Ideal Topologies in Higher Descriptive Set Theory.Peter Holy, Marlene Koelbing, Philipp Schlicht & Wolfgang Wohofsky - 2022 - Annals of Pure and Applied Logic 173 (4):103061.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  5
    On the Definability of Mad Families of Vector Spaces.Haim Horowitz & Saharon Shelah - 2022 - Annals of Pure and Applied Logic 173 (4):103079.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  3
    On Existential Definitions of C.E. Subsets of Rings of Functions of Characteristic 0.Russell Miller & Alexandra Shlapentokh - 2022 - Annals of Pure and Applied Logic 173 (4):103076.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  2
    Complexity in Young's Lattice.Alexander Wires - 2022 - Annals of Pure and Applied Logic 173 (4):103075.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  32
    Reflection Principles and Second-Order Choice Principles with Urelements.Bokai Yao - 2022 - Annals of Pure and Applied Logic 173 (4):103073.
    We study reflection principles in Kelley-Morse set theory with urelements (KMU). We first show that First-Order Reflection Principle is not provable in KMU with Global Choice. We then show that KMU + Limitation of Size + Second-Order Reflection Principle is mutually interpretable with KM + Second-Order Reflection Principle. Furthermore, these two theories are also shown to be bi-interpretable with parameters. Finally, assuming the existence of a κ+-supercompact cardinal κ in KMU, we construct a model of KMU + Second-Order Reflection Principle (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  2
    On Bi-Embeddable Categoricity of Algebraic Structures.Nikolay Bazhenov, Dino Rossegger & Maxim Zubkov - 2022 - Annals of Pure and Applied Logic 173 (3):103060.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  13
    Taming Koepke's Zoo II: Register Machines.Merlin Carl - 2022 - Annals of Pure and Applied Logic 173 (3):103041.
  34.  6
    Model Theory of Adeles I.Jamshid Derakhshan & Angus Macintyre - 2022 - Annals of Pure and Applied Logic 173 (3):103074.
  35.  1
    Expansions of the Group of Integers by Beatty Sequences.Ayhan Günaydın & Melissa Özsahakyan - 2022 - Annals of Pure and Applied Logic 173 (3):103062.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  8
    Quantifier-Free Epistemic Term-Modal Logic with Assignment Operator.Yanjing Wang, Yu Wei & Jeremy Seligman - 2022 - Annals of Pure and Applied Logic 173 (3):103071.
  37.  6
    On Farkas' Lemma and Related Propositions in BISH.Josef Berger & Gregor Svindland - 2022 - Annals of Pure and Applied Logic 173 (2):103059.
    In this paper we analyse in the framework of constructive mathematics (BISH) the validity of Farkas' lemma and related propositions, namely the Fredholm alternative for solvability of systems of linear equations, optimality criteria in linear programming, Stiemke's lemma and the Superhedging Duality from mathematical finance, and von Neumann's minimax theorem with application to constructive game theory.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  2
    Independence Over Arbitrary Sets in NSOP1 Theories.Jan Dobrowolski, Byunghan Kim & Nicholas Ramsey - 2022 - Annals of Pure and Applied Logic 173 (2):103058.
    We study Kim-independence over arbitrary sets. Assuming that forking satisfies existence, we establish Kim's lemma for Kim-dividing over arbitrary sets in an NSOP1 theory. We deduce symmetry of Kim-independence and the independence theorem for Lascar strong types.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  4
    Infinitary Action Logic with Exponentiation.Stepan L. Kuznetsov & Stanislav O. Speranski - 2022 - Annals of Pure and Applied Logic 173 (2):103057.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  4
    The Isomorphism Relation of Theories with S-DOP in the Generalised Baire Spaces.Miguel Moreno - 2022 - Annals of Pure and Applied Logic 173 (2):103044.
  41.  2
    On the Ideal J[Κ].Assaf Rinot - 2022 - Annals of Pure and Applied Logic 173 (2):103055.
  42.  4
    Reinhardt Cardinals and Iterates of V.Farmer Schlutzenberg - 2022 - Annals of Pure and Applied Logic 173 (2):103056.
  43.  2
    Adequate Predimension Inequalities in Differential Fields.Vahagn Aslanyan - 2022 - Annals of Pure and Applied Logic 173 (1):103030.
    In this paper we study predimension inequalities in differential fields and define what it means for such an inequality to be adequate. Adequacy was informally introduced by Zilber, and here we give a precise definition in a quite general context. We also discuss the connection of this problem to definability of derivations in the reducts of differentially closed fields. The Ax-Schanuel inequality for the exponential differential equation (proved by Ax) and its analogue for the differential equation of the j-function (established (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  2
    The Vietoris Functor and Modal Operators on Rings of Continuous Functions.G. Bezhanishvili, L. Carai & P. J. Morandi - 2022 - Annals of Pure and Applied Logic 173 (1):103029.
  45.  2
    Small Cardinals and Small Efimov Spaces.Will Brian & Alan Dow - 2022 - Annals of Pure and Applied Logic 173 (1):103043.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  1
    Corrigendum to “On Stably Pointed Varieties and Generically Stable Groups in ACVF” [Ann. Pure Appl. Log. 170(2) (2019) 180–217]. [REVIEW]Yatir Halevi - 2022 - Annals of Pure and Applied Logic 173 (1):103045.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  5
    Infinite Lexicographic Products.Nadav Meir - 2022 - Annals of Pure and Applied Logic 173 (1):102991.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  3
    Indifference to Symmetry in Hrushovski's Ab Initio Construction.Omer Mermelstein - 2022 - Annals of Pure and Applied Logic 173 (1):103040.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  5
    The Fluted Fragment with Transitive Relations.Ian Pratt-Hartmann & Lidia Tendera - 2022 - Annals of Pure and Applied Logic 173 (1):103042.
    The fluted fragment is a fragment of first-order logic (without equality) in which, roughly speaking, the order of quantification of variables coincides with the order in which those variables appear as arguments of predicates. It is known that this fragment has the finite model property. We consider extensions of the fluted fragment with various numbers of transitive relations, as well as the equality predicate. In the presence of one transitive relation (together with equality), the finite model property is lost; nevertheless, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  1
    Extension of C∞ Functions in Polynomially Bounded o-Minimal Structure.Hassan Sfouli - 2022 - Annals of Pure and Applied Logic 173 (1):103027.
  51.  7
    Higher Dimensional Cardinal Characteristics for Sets of Functions.Corey Bacal Switzer - 2022 - Annals of Pure and Applied Logic 173 (1):103031.
 Previous issues
  
Next issues