Journal: Annals of Pure and Applied Logic

Volume 167, Issue 9

725 -- 0Thierry Coquand, Maria Emilia Maietti, Giovanni Sambin, Peter Schuster. Preface
726 -- 736Danut Rusu, Gabriel Ciobanu. Essential and density topologies of continuous domains
737 -- 752Iosif Petrakis. Limit spaces with approximations
753 -- 769Basil A. Karádais. Atomicity, coherence of information, and point-free structures
770 -- 793Martín Escardó, Chuangjie Xu. A constructive manifestation of the Kleene-Kreisel continuous functionals
794 -- 805Martín Hötzel Escardó, Thomas Streicher. The intrinsic topology of Martin-Löf universes
806 -- 819Francesco Ciraulo, Steven Vickers. Positivity relations on a locale
820 -- 849Olivia Caramello. Priestley-type dualities for partially ordered structures
850 -- 864Douglas S. Bridges. Apartness spaces and uniform neighbourhood structures

Volume 167, Issue 8

615 -- 648Melvin Fitting. Modal logics, justification logics, and realization
649 -- 662Milos S. Kurilic, Stevo Todorcevic. The poset of all copies of the random graph has the 2-localization property
663 -- 683Laura Fontanella, Yair Hayut. Square and Delta reflection
684 -- 706Alfred Dolich, Chris Miller, Charles Steinhorn. Expansions of o-minimal structures by dense independent sets
707 -- 724Nikolaos Galatos, George Metcalfe. Proof theory for lattice-ordered groups

Volume 167, Issue 7

507 -- 524Peter Buser, Bruno Scarpellini. Undecidability through Fourier series
525 -- 556Wojciech Dzik, Michal M. Stronkowski. Almost structural completeness; an algebraic approach
557 -- 589Fan Yang, Jouko Väänänen. Propositional logics of dependence
590 -- 613Will Boney, Rami P. Grossberg, Alexei Kolesnikov, Sebastien Vasey. Canonical forking in AECs

Volume 167, Issue 6

457 -- 505Tapani Hyttinen, Kaisa Kangas. Quasiminimal structures, groups and Zariski-like geometries

Volume 167, Issue 5

435 -- 456Ove Ahlman. Simple structures axiomatized by almost sure theories

Volume 167, Issue 4

395 -- 407M. M. VanDieren. Symmetry and the union of saturated models in superstable abstract elementary classes
408 -- 430Sy-David Friedman, Yurii Khomskii, Vadim Kulikov. Regularity properties on the generalized reals
431 -- 433Andrew M. W. Glass, Angus Macintyre, Françoise Point. Erratum to "Free abelian lattice-ordered groups" [Ann. Pure Appl. Logic 134 (2-3) (2005) 265-283]

Volume 167, Issue 3

189 -- 210Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty. A generalization of the Łoś-Tarski preservation theorem
211 -- 234Albert Visser. Transductions in arithmetic
235 -- 246Matthew Jura, Oscar Levin, Tyler Markkanen. A-computable graphs
247 -- 261Spencer Unger. ω⋅2
262 -- 283Vladimir Kanovei, Vassily Lyubetsky. Counterexamples to countable-section uniformization and separation
284 -- 308David Asperó, Miguel Angel Mota. Separating club-guessing principles in the presence of fat forcing axioms
309 -- 334John T. Baldwin, Paul B. Larson. Iterated elementary embeddings and the model theory of infinitary logic
335 -- 369Arnold Beckmann, Sam Buss, Sy-David Friedman, Moritz Müller, Neil Thapen. Cobham recursive set functions
370 -- 391Lovkush Agarwal. Reducts of the generic digraph
392 -- 394Ciro Russo. Corrigendum to "An order-theoretic analysis of interpretations among propositional deductive systems" [Ann. Pure Appl. Logic 164 (2) (2013) 112-130]

Volume 167, Issue 2

73 -- 94Taishi Kurahashi. Henkin sentences and local reflection principles for Rosser provability
95 -- 154Thomas Seiller. Interaction graphs: Additives
155 -- 188Adi Jarden. Tameness, uniqueness triples and amalgamation

Volume 167, Issue 12

1171 -- 1183Monica M. VanDieren. Superstability and symmetry
1184 -- 1212Olivier Finkel. Infinite games specified by 2-tape automata
1213 -- 1241Silvia Steila, Keita Yokoyama. Reverse mathematical bounds for the Termination Theorem
1242 -- 1266Rupert Hölzl, Sanjay Jain, Frank Stephan. Inductive inference and reverse mathematics
1267 -- 1297Eliana Barriga, Alf Onshuus. Classifying torsion free groups in o-minimal expansions of real closed fields
1298 -- 1331Tommaso Moraschini. The semantic isomorphism theorem in abstract algebraic logic

Volume 167, Issue 11

1029 -- 1092Sebastien Vasey. Building independence relations in abstract elementary classes
1093 -- 1122Cameron Donnay Hill. On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry
1123 -- 1138Rodney G. Downey, Alexander G. Melnikov, Keng Meng Ng. Abelian p-groups and the Halting problem
1139 -- 1160Wolfgang Rump. Multi-posets in algebraic logic, group theory, and non-commutative topology
1161 -- 1170Josef Berger, Gregor Svindland. A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle

Volume 167, Issue 10

865 -- 867Uri Abraham, Lev D. Beklemishev, Paola D'Aquino, Marcus Tressl. Preface
868 -- 878Andreas Blass. Symbioses between mathematical logic and computer science
879 -- 896Péter Komjáth. A problem of Laczkovich: How dense are set systems with no large independent sets?
897 -- 900Leonid A. Levin. Occam bound on lowest complexity of elements
901 -- 938Angus Macintyre. Turing meets Schanuel
939 -- 981V. Yu. Shavrukov. Duality, non-standard elements, and dynamic properties of r.e. sets
982 -- 999Mariya Ivanova Soskova. The automorphism group of the enumeration degrees
1000 -- 1028Boris Zilber. Model theory of special subvarieties and Schanuel-type conjectures

Volume 167, Issue 1

1 -- 21Brandon Seward, Robin D. Tucker-Drob. Borel structurability on the 2-shift of a countable group
22 -- 48David M. Evans, Zaniar Ghadernezhad, Katrin Tent. Simplicity of the automorphism groups of some Hrushovski constructions
49 -- 72Gabriel Conant, Caroline Terry. Model theoretic properties of the Urysohn sphere