default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals 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, Gianluca Paolini:
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, Philip D. Welch:
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, Jaime Gaspar:
Intuitionistic nonstandard bounded modified realisability and functional interpretation. 392-412 - Joseph S. Miller, Mariya Ivanova Soskova:
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, Ali Enayat:
Elementary equivalence of rings with finitely generated additive groups. 487-513 - Olga Kharlampovich, Alexei G. Myasnikov:
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, Sebastien Vasey:
Abstract elementary classes stable in ℵ0. 565-587 - Brian A. Davey, Jane G. Pitkethly, Ross Willard:
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, Saharon Shelah:
On the class of flat stable theories. 835-849
Volume 169, Number 9, September 2018
- Vladimir Kanovei, Vassily A. Lyubetsky:
Definable E0 classes at arbitrary projective levels. 851-871 - Sylvy Anscombe, Franziska Jahnke:
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, Payam Seraji:
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, Tatyana 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, Mohamed Khaled:
First order logic without equality on relativized semantics. 1227-1242
Volume 169, Number 12, December 2018
- Åsa Hirvonen, Thomas Scanlon, Jouko Väänänen, Dag Westerståhl:
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, Ralf Schindler:
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 2026-08-09 22:59 CEST 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
