default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 167
Volume 167, Number 1, January 2016
- Brandon Seward, Robin D. Tucker-Drob:
Borel structurability on the 2-shift of a countable group. 1-21 - David M. Evans, Zaniar Ghadernezhad, Katrin Tent:
Simplicity of the automorphism groups of some Hrushovski constructions. 22-48 - Gabriel Conant
, Caroline Terry:
Model theoretic properties of the Urysohn sphere. 49-72
Volume 167, Number 2, February 2016
- Taishi Kurahashi:
Henkin sentences and local reflection principles for Rosser provability. 73-94 - Thomas Seiller:
Interaction graphs: Additives. 95-154 - Adi Jarden:
Tameness, uniqueness triples and amalgamation. 155-188
Volume 167, Number 3, March 2016
- Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty:
A generalization of the Łoś-Tarski preservation theorem. 189-210 - Albert Visser:
Transductions in arithmetic. 211-234 - Matthew Jura, Oscar Levin, Tyler Markkanen:
A-computable graphs. 235-246 - Spencer Unger:
The tree property below ℵω⋅2. 247-261 - Vladimir Kanovei, Vassily A. Lyubetsky:
Counterexamples to countable-section uniformization and separation. 262-283 - David Asperó, Miguel Angel Mota:
Separating club-guessing principles in the presence of fat forcing axioms. 284-308 - John T. Baldwin, Paul B. Larson:
Iterated elementary embeddings and the model theory of infinitary logic. 309-334 - Arnold Beckmann, Sam Buss, Sy-David Friedman, Moritz Müller, Neil Thapen:
Cobham recursive set functions. 335-369 - Lovkush Agarwal:
Reducts of the generic digraph. 370-391 - Ciro Russo:
Corrigendum to "An order-theoretic analysis of interpretations among propositional deductive systems" [Ann. Pure Appl. Logic 164 (2) (2013) 112-130]. 392-394
Volume 167, Number 4, April 2016
- Monica M. VanDieren:
Symmetry and the union of saturated models in superstable abstract elementary classes. 395-407 - Sy-David Friedman, Yurii Khomskii, Vadim Kulikov:
Regularity properties on the generalized reals. 408-430 - Andrew 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]. 431-433
Volume 167, Number 5, May 2016
- Ove Ahlman:
Simple structures axiomatized by almost sure theories. 435-456
Volume 167, Number 6, June 2016
- Tapani Hyttinen, Kaisa Kangas:
Quasiminimal structures, groups and Zariski-like geometries. 457-505
Volume 167, Number 7, July 2016
- Peter Buser, Bruno Scarpellini:
Undecidability through Fourier series. 507-524 - Wojciech Dzik, Michal M. Stronkowski:
Almost structural completeness; an algebraic approach. 525-556 - Fan Yang, Jouko Väänänen:
Propositional logics of dependence. 557-589 - Will Boney, Rami P. Grossberg, Alexei Kolesnikov, Sebastien Vasey:
Canonical forking in AECs. 590-613
Volume 167, Number 8, August 2016
- Melvin Fitting:
Modal logics, justification logics, and realization. 615-648 - Milos S. Kurilic, Stevo Todorcevic:
The poset of all copies of the random graph has the 2-localization property. 649-662 - Laura Fontanella, Yair Hayut:
Square and Delta reflection. 663-683 - Alfred Dolich, Chris Miller, Charles Steinhorn:
Expansions of o-minimal structures by dense independent sets. 684-706 - Nikolaos Galatos, George Metcalfe:
Proof theory for lattice-ordered groups. 707-724
Volume 167, Number 9, September 2016
- Thierry Coquand, Maria Emilia Maietti, Giovanni Sambin, Peter Schuster:
Preface. 725 - Danut Rusu, Gabriel Ciobanu:
Essential and density topologies of continuous domains. 726-736 - Iosif Petrakis:
Limit spaces with approximations. 737-752 - Basil A. Karádais:
Atomicity, coherence of information, and point-free structures. 753-769 - Martín Escardó, Chuangjie Xu:
A constructive manifestation of the Kleene-Kreisel continuous functionals. 770-793 - Martín Hötzel Escardó, Thomas Streicher:
The intrinsic topology of Martin-Löf universes. 794-805 - Francesco Ciraulo, Steven Vickers:
Positivity relations on a locale. 806-819 - Olivia Caramello:
Priestley-type dualities for partially ordered structures. 820-849 - Douglas S. Bridges:
Apartness spaces and uniform neighbourhood structures. 850-864
Volume 167, Number 10, October 2016
- Uri Abraham, Lev D. Beklemishev, Paola D'Aquino, Marcus Tressl:
Preface. 865-867 - Andreas Blass:
Symbioses between mathematical logic and computer science. 868-878 - Péter Komjáth:
A problem of Laczkovich: How dense are set systems with no large independent sets? 879-896 - Leonid A. Levin:
Occam bound on lowest complexity of elements. 897-900 - Angus Macintyre:
Turing meets Schanuel. 901-938 - V. Yu. Shavrukov:
Duality, non-standard elements, and dynamic properties of r.e. sets. 939-981 - Mariya Ivanova Soskova:
The automorphism group of the enumeration degrees. 982-999 - Boris Zilber:
Model theory of special subvarieties and Schanuel-type conjectures. 1000-1028
Volume 167, Number 11, November 2016
- Sebastien Vasey:
Building independence relations in abstract elementary classes. 1029-1092 - Cameron Donnay Hill:
On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry. 1093-1122 - Rodney G. Downey, Alexander G. Melnikov, Keng Meng Ng:
Abelian p-groups and the Halting problem. 1123-1138 - Wolfgang Rump:
Multi-posets in algebraic logic, group theory, and non-commutative topology. 1139-1160 - Josef Berger, Gregor Svindland:
A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle. 1161-1170
Volume 167, Number 12, December 2016
- Monica M. VanDieren:
Superstability and symmetry. 1171-1183 - Olivier Finkel:
Infinite games specified by 2-tape automata. 1184-1212 - Silvia Steila, Keita Yokoyama:
Reverse mathematical bounds for the Termination Theorem. 1213-1241 - Rupert Hölzl, Sanjay Jain, Frank Stephan:
Inductive inference and reverse mathematics. 1242-1266 - Eliana Barriga, Alf Onshuus:
Classifying torsion free groups in o-minimal expansions of real closed fields. 1267-1297 - Tommaso Moraschini:
The semantic isomorphism theorem in abstract algebraic logic. 1298-1331
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
