![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Annals of Pure and Applied Logic, Volume 170
Volume 170, Number 1, January 2019
- Damian Sobota
:
The Nikodym property and cardinal characteristics of the continuum. 1-35 - Matthias Baaz, Norbert Preining:
On the classification of first order Gödel logics. 36-57 - Barbara F. Csima, Jonathan Stephenson:
Finite computable dimension and degrees of categoricity. 58-94 - Rachid Atmai, Grigor Sargsyan:
Hod up to ADR+Θ is measurable. 95-108 - Åsa Hirvonen
, Tapani Hyttinen
:
On eigenvectors, approximations and the Feynman propagator. 109-135
Volume 170, Number 2, February 2019
- Christian Espíndola:
Infinitary first-order categorical logic. 137-162 - Sohei Iwata, Taishi Kurahashi
:
On arithmetical completeness of the logic of proofs. 163-179 - Yatir Halevi:
On Stably Pointed Varieties and Generically Stable Groups in ACVF. 180-217 - Steffen Lewitzka:
Reasoning about proof and knowledge. 218-250 - Peter Holy, Philipp Lücke
, Ana Njegomir:
Small embedding characterizations for large cardinals. 251-271
Volume 170, Number 3, March 2019
- Benno van den Berg, Sam Sanders:
Reverse Mathematics and parameter-free Transfer. 273-296 - John Krueger:
The approachability ideal without a maximal set. 297-382 - Dominique Lecomte:
Acyclicity and reduction. 383-426
Volume 170, Number 4, April 2019
- Sam Sanders:
A note on non-classical nonstandard arithmetic. 427-445 - Fabio Pasquali:
A characterization of those categories whose internal logic is Hilbert's ε-calculus. 446-464 - Michael Shulman:
Comparing material and structural set theories. 465-504 - S. N. Popova, Maksim E. Zhukovskii:
Existential monadic second order logic of undirected graphs: The Le Bars conjecture is false. 505-514 - Yong Liu
:
Isolated maximal d.r.e. degrees. 515-538
Volume 170, Number 5, May 2019
- Yo Matsubara, Hiroshi Sakai, Toshimichi Usuba:
On the existence of skinny stationary subsets. 539-557 - Guram Bezhanishvili, Nick Bezhanishvili
, Joel Lucero-Bryan, Jan van Mill:
On modal logics arising from scattered locally compact Hausdorff spaces. 558-577 - Sebastian Enqvist, Fatemeh Seifan
, Yde Venema:
Completeness for μ-calculi: A coalgebraic approach. 578-641 - Maryanthe Malliaris, Saharon Shelah
:
A new look at interpretability and saturation. 642-671
Volume 170, Number 6, June 2019
- Philip Scowcroft:
Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements. 673-698 - Ekaterina B. Fokina
, Valentina S. Harizanov, Daniel Turetsky:
Computability-theoretic categoricity and Scott families. 699-717 - Albert Visser, Jetze Zoethout:
Provability logic and the completeness principle. 718-753
Volume 170, Number 7, July 2019
- Daniel Max Hoffmann
:
Model theoretic dynamics in Galois fashion. 755-804 - Tommaso Moraschini
:
On the complexity of the Leibniz hierarchy. 805-824 - Tomasz Kowalski
, George Metcalfe
:
Uniform interpolation and coherence. 825-841
Volume 170, Number 8, August 2019
- Junguk Lee
:
Geometric stability theory for μ-structures. 843-866 - Makoto Fujiwara, Tatsuji Kawai:
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli. 867-890 - Tatsuji Kawai:
Representing definable functions of HAω by neighbourhood functions. 891-909 - Milos S. Kurilic:
Vaught's conjecture for monomorphic theories. 910-920
Volume 170, Number 9, September 2019
- Jouko Väänänen, Ruy J. G. B. de Queiroz:
23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016. 921-922 - Willem Conradie
, Alessandra Palmigiano
:
Algorithmic correspondence and canonicity for non-distributive logics. 923-974 - Jukka Corander, Antti Hyttinen
, Juha Kontinen
, Johan Pensar
, Jouko Väänänen:
A logical approach to context-specific independence. 975-992 - Anuj Dawar
, Simone Severini, Octavio Zapata:
Descriptive complexity of graph spectra. 993-1007 - Anselm Haak, Heribert Vollmer
:
A model-theoretic characterization of constant-depth arithmetic circuits. 1008-1029 - Johann A. Makowsky, Elena V. Ravve, Tomer Kotek:
A logician's view of graph polynomials. 1030-1069 - Raine Rönnholm:
The expressive power of k-ary exclusion logic. 1070-1099 - Katsuhiko Sano
, Jonni Virtema
:
Characterising modal definability of team-based logics via the universal modality. 1100-1127 - Fan Yang
:
Negation and partial axiomatizations of dependence and independence logic revisited. 1128-1149
Volume 170, Number 10, October 2019
- Henk Barendregt, Sebastiaan A. Terwijn:
Fixed point theorems for precomplete numberings. 1151-1161 - Philipp Hieronymi:
When is scalar multiplication decidable? 1162-1175 - Arnold Beckmann, Sam Buss:
On transformations of constant depth propositional proofs. 1176-1187 - Wesley Fussner
, Nick Galatos
:
Categories of models of R-mingle. 1188-1242 - Rod Downey, Alexander G. Melnikov
, Keng Meng Ng
:
Categorical linearly ordered structures. 1243-1255 - Ayana Hirata, Hajime Ishihara, Tatsuji Kawai, Takako Nemoto
:
Equivalents of the finitary non-deterministic inductive definitions. 1256-1272
Volume 170, Number 11, November 2019
- Giovanni Raneri:
Introducing article numbering to Annals of Pure and Applied Logic. - Roberto Maieli
:
Non decomposable connectives of linear logic. - Dag Normann, Sam Sanders:
The strength of compactness in Computability Theory and Nonstandard Analysis. - Rosalie Iemhoff
:
Uniform interpolation and the existence of sequent calculi. - Nathanael L. Ackerman, Will Boney, Sebastien Vasey:
Categoricity in multiuniversal classes. - Maxwell Levine
:
The semi-weak square principle. - Guram Bezhanishvili, Nick Bezhanishvili
, Thomas Santoli, Yde Venema:
A strict implication calculus for compact Hausdorff spaces. - Philip Scowcroft:
Corrigendum to "Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements" [Ann. Pure Appl. Logic 170 (2019) 673-698].
Volume 170, Number 12, December 2019
- Erik Palmgren:
Categories with families and first-order logic with dependent sorts. - Ian Herbert, Sanjay Jain
, Steffen Lempp, Manat Mustafa
, Frank Stephan
:
Reductions between types of numberings. - François G. Dorais, Zachary Evans, Marcia J. Groszek, Seth Harris, Theodore A. Slaman:
Schmerl decompositions in first order arithmetic. - Vera Koponen:
Supersimple ω-categorical theories and pregeometries. - Lorna Gregory
, Sonia L'Innocente, Carlo Toffalori:
Decidability of the theory of modules over Prüfer domains with dense value groups.
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.