- Projective Well Orders and Coanalytic Witnesses.Jeffrey Bergfalk, Vera Fischer & Corey Bacal Switzer - 2022 - Annals of Pure and Applied Logic 173 (8):103135.details
- Abelian Group Actions and Hypersmooth Equivalence Relations.Michael R. Cotton - 2022 - Annals of Pure and Applied Logic 173 (8):103122.details
- 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.details
- End Extending Models of Set Theory Via Power Admissible Covers.Zachiri McKenzie & Ali Enayat - 2022 - Annals of Pure and Applied Logic 173 (8):103132.details
- 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.details
- Generating Ideals by Additive Subgroups of Rings.Krzysztof Krupiński & Tomasz Rzepecki - 2022 - Annals of Pure and Applied Logic 173 (7):103119.details
- Induced and Higher-Dimensional Stable Independence.Michael Lieberman, Jiří Rosický & Sebastien Vasey - 2022 - Annals of Pure and Applied Logic 173 (7):103124.details
- Separating Weak Α-Change and Α-Change Genericity.Michael McInerney & Keng Meng Ng - 2022 - Annals of Pure and Applied Logic 173 (7):103134.details
- L-Algebras and Three Main Non-Classical Logics.Wolfgang Rump - 2022 - Annals of Pure and Applied Logic 173 (7):103121.details
- Intermediate Models of Magidor-Radin Forcing-Part II.Tom Benhamou & Moti Gitik - 2022 - Annals of Pure and Applied Logic 173 (6):103107.details
- A Characterisation of Elementary Fibrations.Jacopo Emmenegger, Fabio Pasquali & Giuseppe Rosolini - 2022 - Annals of Pure and Applied Logic 173 (6):103103.details
- Indestructibility Properties of Ramsey and Ramsey-Like Cardinals.Victoria Gitman & Thomas A. Johnstone - 2022 - Annals of Pure and Applied Logic 173 (6):103106.details
- First-Order Rigidity of Rings Satisfying Polynomial Identities.Be'eri Greenfeld - 2022 - Annals of Pure and Applied Logic 173 (6):103109.details
- Is Cut-Free Logic Fit for Unrestricted Abstraction?Uwe Petersen - 2022 - Annals of Pure and Applied Logic 173 (6):103101.details
- Mild Parametrizations of Power-Subanalytic Sets.Siegfried Van Hille - 2022 - Annals of Pure and Applied Logic 173 (6):103105.details
- Propositional Union Closed Team Logics.Fan Yang - 2022 - Annals of Pure and Applied Logic 173 (6):103102.details
- The Number of Axioms.J. P. Aguilera, M. Baaz & J. Bydžovský - 2022 - Annals of Pure and Applied Logic 173 (5):103078.details
- 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.details
- 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.details
- The Fixed-Point Property for Represented Spaces.Mathieu Hoyrup - 2022 - Annals of Pure and Applied Logic 173 (5):103090.details
- Constructive Ackermann's Interpretation.Hanul Jeon - 2022 - Annals of Pure and Applied Logic 173 (5):103086.details
- 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.details
- 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.details
- The Computational Complexity of Module Socles.Huishan Wu - 2022 - Annals of Pure and Applied Logic 173 (5):103089.details
- Definably Topological Dynamics of P-Adic Algebraic Groups.Jiaqi Bao & Ningyuan Yao - 2022 - Annals of Pure and Applied Logic 173 (4):103077.details
- 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.details
- 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.details
- On the Definability of Mad Families of Vector Spaces.Haim Horowitz & Saharon Shelah - 2022 - Annals of Pure and Applied Logic 173 (4):103079.details
- 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.details
- Complexity in Young's Lattice.Alexander Wires - 2022 - Annals of Pure and Applied Logic 173 (4):103075.details
- Reflection Principles and Second-Order Choice Principles with Urelements.Bokai Yao - 2022 - Annals of Pure and Applied Logic 173 (4):103073.details
- On Bi-Embeddable Categoricity of Algebraic Structures.Nikolay Bazhenov, Dino Rossegger & Maxim Zubkov - 2022 - Annals of Pure and Applied Logic 173 (3):103060.details
- Taming Koepke's Zoo II: Register Machines.Merlin Carl - 2022 - Annals of Pure and Applied Logic 173 (3):103041.details
- Model Theory of Adeles I.Jamshid Derakhshan & Angus Macintyre - 2022 - Annals of Pure and Applied Logic 173 (3):103074.details
- 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.details
- 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.details
- On Farkas' Lemma and Related Propositions in BISH.Josef Berger & Gregor Svindland - 2022 - Annals of Pure and Applied Logic 173 (2):103059.details
- Independence Over Arbitrary Sets in NSOP1 Theories.Jan Dobrowolski, Byunghan Kim & Nicholas Ramsey - 2022 - Annals of Pure and Applied Logic 173 (2):103058.details
- Infinitary Action Logic with Exponentiation.Stepan L. Kuznetsov & Stanislav O. Speranski - 2022 - Annals of Pure and Applied Logic 173 (2):103057.details
- 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.details
- On the Ideal J[Κ].Assaf Rinot - 2022 - Annals of Pure and Applied Logic 173 (2):103055.details
- Reinhardt Cardinals and Iterates of V.Farmer Schlutzenberg - 2022 - Annals of Pure and Applied Logic 173 (2):103056.details
- Adequate Predimension Inequalities in Differential Fields.Vahagn Aslanyan - 2022 - Annals of Pure and Applied Logic 173 (1):103030.details
- 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.details
- Small Cardinals and Small Efimov Spaces.Will Brian & Alan Dow - 2022 - Annals of Pure and Applied Logic 173 (1):103043.details
- 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.details
- Infinite Lexicographic Products.Nadav Meir - 2022 - Annals of Pure and Applied Logic 173 (1):102991.details
- Indifference to Symmetry in Hrushovski's Ab Initio Construction.Omer Mermelstein - 2022 - Annals of Pure and Applied Logic 173 (1):103040.details
- The Fluted Fragment with Transitive Relations.Ian Pratt-Hartmann & Lidia Tendera - 2022 - Annals of Pure and Applied Logic 173 (1):103042.details
- Extension of C∞ Functions in Polynomially Bounded o-Minimal Structure.Hassan Sfouli - 2022 - Annals of Pure and Applied Logic 173 (1):103027.details
- Higher Dimensional Cardinal Characteristics for Sets of Functions.Corey Bacal Switzer - 2022 - Annals of Pure and Applied Logic 173 (1):103031.details
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
|