default search action
Annals of Pure and Applied Logic, Volume 169
Volume 169, Number 1, January 2018
- Tommaso Moraschini
:
A computational glimpse at the Leibniz and Frege hierarchies. 1-20 - Ivan Tomasic
Direct twisted Galois stratification. 21-53 - Gunnar Wilken
Pure patterns of order 2. 54-82 - Chris Le Sueur:
Determinacy of refinements to the difference hierarchy of co-analytic sets. 83-115
Volume 169, Number 2, February 2018
- Tapani Hyttinen
Beyond abstract elementary classes: On the model theory of geometric lattices. 117-145 - Philipp Hieronymi, Travis Nell, Erik Walsberg:
Wild theories with o-minimal open core. 146-163 - Mohammad Golshani, Rahman Mohammadpour
The tree property at double successors of singular cardinals of uncountable cofinality. 164-175
Volume 169, Number 3, March 2018
- Raine Rönnholm:
Capturing k-ary existential second order logic with k-ary inclusion-exclusion logic. 177-215 - Antonio Di Nola, Serafina Lapenta, Ioana Leustean
An analysis of the logic of Riesz spaces with strong unit. 216-234 - Rob Egrot
No finite axiomatizations for posets embeddable into distributive lattices. 235-242 - Uri Andrews, Andrea Sorbi:
Jumps of computably enumerable equivalence relations. 243-259
Volume 169, Number 4, April 2018
- Logan M. Axon:
Martin-Löf random generalized Poisson processes. 261-276 - Tamar Lando:
Topology and measure in logics for region-based theories of space. 277-311 - Merlin Carl, Philipp Schlicht
Recognizable sets and Woodin cardinals: computation beyond the constructible universe. 312-332 - David Fernández-Duque, Joost J. Joosten:
The omega-rule interpretation of transfinite provability logic. 333-371
Volume 169, Number 5, May 2018
- Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill, Andrea Pedrini:
Tarski's theorem on intuitionistic logic, for polyhedra. ii - Bruno Dinis
Intuitionistic nonstandard bounded modified realisability and functional interpretation. 392-412 - Joseph S. Miller
Corrigendum to "Advice classes of parameterized tractability" [Ann. Pure Appl. Logic 84 (1) (1997) 119-138]. 450-462
Volume 169, Number 6, June 2018
- Guohua Wu, Maxim V. Zubkov:
The Kierstead's Conjecture and limitwise monotonic functions. ii - Saeideh Bahrami
Elementary equivalence of rings with finitely generated additive groups. 487-513 - Olga Kharlampovich
The tree property at the double successor of a singular cardinal with a larger gap. 523-547
Volume 169, Number 7, July 2018
- Saharon Shelah
Abstract elementary classes stable in ℵ0. 565-587 - Brian A. Davey
New-from-old full dualities via axiomatisation. 588-615 - Feresiano Mwesigye, John Kenneth Truss:
Ehrenfeucht-Fraïssé games on ordinals. 616-636 - Aaron Stump:
From realizability to induction via dependent intersection. 637-655 - Alexander C. Block, Benedikt Löwe:
A multiplication operation for the hierarchy of norms. 656-673 - Tibor Beke, Jirí Rosický:
Elementary equivalences and accessible functors. 674-703
Volume 169, Number 8, August 2018
- Levon Haykazyan, Rahim Moosa:
Functoriality and uniformity in Hrushovski's groupoid-cover correspondence. 705-730 - Silvio Ghilardi, Alessandro Gianola
Modularity results for interpolation, amalgamation and superamalgamation. 731-754 - Alex Kruckman, Nicholas Ramsey
Generic expansion and Skolemization in NSOP1 theories. 755-774 - Peter Holy, Regula Krapf, Philipp Schlicht
Characterizations of pretameness and the Ord-cc. 775-802 - Rod Downey, Keng Meng Ng
Splitting into degrees with low computational strength. 803-834 - Daniel Palacín
On the class of flat stable theories. 835-849
Volume 169, Number 9, September 2018
- Vladimir Kanovei
Definable E0 classes at arbitrary projective levels. 851-871 - Sylvy Anscombe
Henselianity in the language of rings. 872-895 - M. Giraudet, G. Leloup, F. Lucas:
First order theory of cyclically ordered groups. 896-927 - Martin Lück:
Axiomatizations of team logics. 928-969
Volume 169, Number 10, October 2018
- Saeed Salehi
On constructivity and the Rosser property: a closer look at some Gödelean proofs. 971-980 - Shokoofeh Ghorbani
Logic for abstract hoop twist-structures. 981-996 - Mohammad Ardeshir, S. Mojtaba Mojtahedi
The Σ1-provability logic of HA. 997-1043 - John Krueger:
Club isomorphisms on higher Aronszajn trees. 1044-1081 - Vassilios Gregoriades:
The Dyck and the Preiss separation uniformly. 1082-1116
Volume 169, Number 11, November 2018
- Steven Givant, Hajnal Andréka:
A representation theorem for measurable relation algebras. 1117-1189 - A. Alibek, Bektur Sembiuly Baizhanov, Beibut Sh. Kulpeshov, T. S. Zambarnaya:
Vaught's conjecture for weakly o-minimal theories of convexity rank 1. 1190-1209 - Paul Potgieter
Algorithmically random series and Brownian motion. 1210-1226 - Amitayu Banerjee
First order logic without equality on relativized semantics. 1227-1242
Volume 169, Number 12, December 2018
- Åsa Hirvonen
Preface. 1243-1245 - Toshiyasu Arai:
Cut-elimination for ω1. 1246-1269 - Steve Awodey:
A cubical model of homotopy type theory. 1270-1294 - Adam Brandenburger, H. Jerome Keisler:
A canonical hidden-variable space. 1295-1302 - Gilda Ferreira
Atomic polymorphism and the existence property. 1303-1316 - Victoria Gitman
Virtual large cardinals. 1317-1334 - Vera Koponen:
Binary simple homogeneous structures. 1335-1368 - Roman Kuznets
Multicomponent proof-theoretic method for proving interpolation properties. 1369-1418 - Danielle Macbeth:
Logical form, mathematical practice, and Frege's Begriffsschrift. 1419-1436 - Richard Pettigrew
What we talk about when we talk about numbers. 1437-1456
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-12-19 22:03 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: