Journal: Annals of Pure and Applied Logic

Volume 173, Issue 9

103144 -- 0Masato Fujita. Almost o-minimal structures and X-structures
103152 -- 0Udayan B. Darji, Márton Elekes 0002, Kende Kalina, Viktor Kiss, Zoltán Vidnyánszky. The structure of random automorphisms of the random graph
103153 -- 0Judit X. Madarász, Mike Stannett, Gergely Székely. Investigations of isotropy and homogeneity of spacetime in first-order logic
103155 -- 0Ivano Ciardelli, Gianluca Grilletti. Coherence in inquisitive first-order logic
103157 -- 0Rafal Filipów, Krzysztof Kowitz, Adam Kwela. Characterizing existence of certain ultrafilters
103158 -- 0Ali Enayat. Set theoretical analogues of the Barwise-Schlipf theorem
103160 -- 0Albert Visser. Friedman-reflexivity
103161 -- 0Vera Fischer, Saharon Shelah. The spectrum of independence, II
103162 -- 0Pierre Matet. μ-clubs

Volume 173, Issue 8

103122 -- 0Michael R. Cotton. Abelian group actions and hypersmooth equivalence relations
103132 -- 0Zachiri McKenzie, Ali Enayat. End extending models of set theory via power admissible covers
103133 -- 0Stephen Flood, Matthew Jura, Oscar Levin, Tyler Markkanen. The computational strength of matchings in countable graphs
103135 -- 0Jeffrey Bergfalk, Vera Fischer, Corey Bacal Switzer. Projective well orders and coanalytic witnesses

Volume 173, Issue 7

103119 -- 0Krzysztof Krupinski, Tomasz Rzepecki. Generating ideals by additive subgroups of rings
103121 -- 0Wolfgang Rump. L-algebras and three main non-classical logics
103123 -- 0Åsa Hirvonen, Joni Puljujärvi. Games and Scott sentences for positive distances between metric structures
103124 -- 0Michael J. Lieberman, Jirí Rosický, Sebastien Vasey. Induced and higher-dimensional stable independence
103134 -- 0Michael McInerney, Keng Meng Ng. α-change genericity

Volume 173, Issue 6

103101 -- 0Uwe Petersen. Is cut-free logic fit for unrestricted abstraction?
103102 -- 0Fan Yang 0004. Propositional union closed team logics
103103 -- 0Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini. A characterisation of elementary fibrations
103105 -- 0Siegfried Van Hille. Mild parametrizations of power-subanalytic sets
103106 -- 0Victoria Gitman, Thomas A. Johnstone. Indestructibility properties of Ramsey and Ramsey-like cardinals
103107 -- 0Tom Benhamou, Moti Gitik. Intermediate models of Magidor-Radin forcing-Part II
103109 -- 0Be'eri Greenfeld. First-order rigidity of rings satisfying polynomial identities

Volume 173, Issue 5

103078 -- 0Juan P. Aguilera 0001, Matthias Baaz, Jan Bydzovsky. The number of axioms
103086 -- 0Hanul Jeon. Constructive Ackermann's interpretation
103087 -- 0Taishi Kurahashi, Yuya Okawa, V. Yu. Shavrukov, Albert Visser. On Guaspari's problem about partially conservative sentences
103089 -- 0Huishan Wu. The computational complexity of module socles
103090 -- 0Mathieu Hoyrup. The fixed-point property for represented spaces
103091 -- 0Sonia Marin, Dale Miller 0001, Elaine Pimentel, Marco Volpe 0001. From axioms to synthetic inference rules via focusing
103093 -- 0Lev D. Beklemishev, Fedor Pakhomov. Reflection algebras and conservation results for theories of iterated truth
103100 -- 0Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely. Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime

Volume 173, Issue 4

103061 -- 0Peter Holy, Marlene Koelbing, Philipp Schlicht, Wolfgang Wohofsky. Ideal topologies in higher descriptive set theory
103072 -- 0Wojciech Dzik, Slawomir Kost, Piotr Wojtylak. Finitary unification in locally tabular modal logics characterized
103073 -- 0Bokai Yao. Reflection principles and second-order choice principles with urelements
103075 -- 0Alexander Wires. Complexity in Young's lattice
103076 -- 0Russell G. Miller, Alexandra Shlapentokh. On existential definitions of c.e. subsets of rings of functions of characteristic 0
103077 -- 0Jiaqi Bao, Ningyuan Yao. p-adic algebraic groups
103079 -- 0Haim Horowitz, Saharon Shelah. On the definability of mad families of vector spaces

Volume 173, Issue 3

103041 -- 0Merlin Carl. Taming Koepke's Zoo II: Register machines
103060 -- 0Nikolay Bazhenov, Dino Rossegger, Maxim Zubkov. On bi-embeddable categoricity of algebraic structures
103062 -- 0Ayhan Günaydin, Melissa Özsahakyan. Expansions of the group of integers by Beatty sequences
103071 -- 0Yanjing Wang 0001, Yu Wei, Jeremy Seligman. Quantifier-free epistemic term-modal logic with assignment operator
103074 -- 0Jamshid Derakhshan, Angus Macintyre. Model theory of adeles I

Volume 173, Issue 2

103044 -- 0Miguel Moreno. The isomorphism relation of theories with S-DOP in the generalised Baire spaces
103055 -- 0Assaf Rinot. κ]
103056 -- 0Farmer Schlutzenberg. V
103057 -- 0Stepan L. Kuznetsov, Stanislav O. Speranski. Infinitary action logic with exponentiation
103058 -- 0Jan Dobrowolski, Byunghan Kim, Nicholas Ramsey. 1 theories
103059 -- 0Josef Berger, Gregor Svindland. On Farkas' lemma and related propositions in BISH

Volume 173, Issue 10

103063 -- 0Darion Haase, Erich Grädel, Richard Wilke. Separation logic and logics with team semantics
103088 -- 0Rafael Albert, Erich Grädel. Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence
103104 -- 0Miika Hannula, Minna Hirvonen, Juha Kontinen. On elementary logics for quantitative dependencies
103108 -- 0Miika Hannula, Jonni Virtema. Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
103120 -- 0Richard Wilke. On the Presburger fragment of logics with multiteam semantics
103136 -- 0Raine Rönnholm. k-invariant atoms
103143 -- 0Davide Emilio Quadrellaro. On intermediate inquisitive and dependence logics: An algebraic study
103145 -- 0Haoyu Wang, Yanjing Wang 0001, Yunsong Wang. Inquisitive logic as an epistemic logic of knowing how
103156 -- 0Vít Puncochár. Iterated team semantics for a hierarchy of informational types
103159 -- 0Fausto Barbero, Pietro Galliani. Embedding causal team languages into predicate logic
103163 -- 0Anselm Haak, Arne Meier, Fabian Müller 0003, Heribert Vollmer. Enumerating teams in first-order team logics
103168 -- 0Jouko Väänänen, Fan Yang 0004, Philip Scott. Introduction

Volume 173, Issue 1

102991 -- 0Nadav Meir. Infinite lexicographic products
103027 -- 0Hassan Sfouli. ∞ functions in polynomially bounded o-minimal structure
103029 -- 0Guram Bezhanishvili, Luca Carai, Patrick J. Morandi. The Vietoris functor and modal operators on rings of continuous functions
103030 -- 0Vahagn Aslanyan. Adequate predimension inequalities in differential fields
103031 -- 0Corey Bacal Switzer. Higher dimensional cardinal characteristics for sets of functions
103040 -- 0Omer Mermelstein. Indifference to symmetry in Hrushovski's ab initio construction
103042 -- 0Ian Pratt-Hartmann, Lidia Tendera. The fluted fragment with transitive relations
103043 -- 0Will Brian, Alan Dow. Small cardinals and small Efimov spaces
103045 -- 0Yatir Halevi. Corrigendum to "On stably pointed varieties and generically stable groups in ACVF" [Ann. Pure Appl. Log. 170(2) (2019) 180-217]