default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals 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.
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-06 20:37 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:
