default search action
Archive for Mathematical Logic, Volume 60
Volume 60, Number 1-2, February 2021
- Grigor Sargsyan:
$AD_{\mathbb {R}}$ implies that all sets of reals are Θ universally Baire. 1-15 - Sakaé Fuchino, André Ottenbreit Maschio Rodrigues, Hiroshi Sakai:
Strong downward Löwenheim-Skolem theorems for stationary logics, I. 17-47 - Stefano Bonzio
, Tommaso Moraschini
Logics of left variable inclusion and Płonka sums of matrices. 49-76 - Lars Kristiansen
First-order concatenation theory with bounded quantifiers. 77-104 - Timothy H. McNicholl
Continuous logic and embeddings of Lebesgue spaces. 105-119 - Taras O. Banakh
Selection properties of the split interval and the Continuum Hypothesis. 121-133 - Somayyeh Tari
Strong cell decomposition property in o-minimal traces. 135-144 - Huishan Wu
Ring structure theorems and arithmetic comprehension. 145-160 - Olivier Finkel, Dominique Lecomte
Some complete ømega-powers of a one-counter language, for any Borel class of finite rank. 161-187 - Ziemowit Kostana:
On countably saturated linear orders and certain class of countably saturated graphs. 189-209 - Duccio Pianigiani, Andrea Sorbi
A note on uniform density in weak arithmetical theories. 211-225 - Sanaz Azimipour, Pavel Naumov
Axiomatic theory of betweenness. 227-239 - Makoto Fujiwara, Tatsuji Kawai
Characterising Brouwer's continuity by bar recursion on moduli of continuity. 241-263
Volume 60, Number 3-4, May 2021
- Guram Bezhanishvili, Nick Bezhanishvili
Tree-like constructions in topology and modal logic. 265-299 - Achilles A. Beros, Konstantinos A. Beros, Daniel Flores, Umar Gaffar, David J. Webb, Soowhan Yoon
Learning theory in the arithmetic hierarchy II. 301-315 - Pantelis E. Eleftheriou
Small sets in Mann pairs. 317-327 - Tobias Fritz
Quantum logic is undecidable. 329-341 - Martin Goldstern
Cichoń's diagram and localisation cardinals. 343-411 - Juan Felipe Carmona
A fixed-point theorem for definably amenable groups. 413-424 - Francesco Parente
Keisler's order via Boolean ultrapowers. 425-439 - Albert Visser
The absorption law. 441-468 - Moti Gitik
Another method for constructing models of not approachability and not SCH. 469-475 - Aleksander Ivanov
Sofic profiles of S(ømega ) and computability. 477-494 - Sakaé Fuchino
Strong downward Löwenheim-Skolem theorems for stationary logics, II: reflection down to the continuum. 495-523
Volume 60, Number 5, July 2021
- Juliette Kennedy, Ruy J. G. B. de Queiroz:
24th Workshop on Logic, Language, Information and Computation - WoLLIC 2017. 525-527 - Michael Detlefsen:
Formalism and Hilbert's understanding of consistency problems. 529-546 - Fausto Barbero, Lauri Hella, Raine Rönnholm:
Independence-friendly logic without Henkin quantification. 547-597 - Todd Stambaugh, Rohit Parikh:
Knowledge, behavior, and rationality: rationalizability in epistemic games. 599-623 - Nikolai L. Poliakov, Denis I. Saveliev:
On ultrafilter extensions of first-order models and ultrafilter interpretations. 625-681
Volume 60, Number 6, August 2021
- Pierre Matet
Towers and clubs. 683-719 - Jennifer Chubb
Model completeness and relative decidability. 721-735 - Tadatoshi Miyamoto, Teruyuki Yorioka:
Forcing the Mapping Reflection Principle by finite approximations. 737-748 - Cezary Cieslinski
Interpreting the compositional truth predicate in models of arithmetic. 749-770 - Omer Ben-Neria, Sandra Müller
Infinite decreasing chains in the Mitchell order. 771-781
Volume 60, Number 7, November 2021
- Ryo Takemura:
Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization. 783-813 - Ricardo Isaac Bello Aguirre
Generalised stability of ultraproducts of finite residue rings. 815-829 - Gerhard Jäger
Short note: Least fixed points versus least closed points. 831-835 - Tomasz Rzepecki
Hereditary G-compactness. 837-856 - Paula Menchón
Monotonic modal logics with a conjunction. 857-877 - Danul K. Gunatilleka
The theories of Baldwin-Shi hypergraphs and their atomic models. 879-908 - Hristo Ganchev, Andrey Sariev
The automorphism group and definability of the jump operator in the ømega-enumeration degrees. 909-925 - Márk Poór
On the spectra of cardinalities of branches of Kurepa trees. 927-966 - Francesco Ciraulo
Factorizing the $\mathbf {Top}$-$\mathbf {Loc}$ adjunction through positive topologies. 967-979 - Ethan McCarthy
Pointwise complexity of the derivative of a computable function. 981-994 - Ulrich Kohlenbach:
Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness. 995-1003 - Fernando Ferreira
The abstract type of the real numbers. 1005-1017 - Alexander Berenstein
Definable connectedness of randomizations of groups. 1019-1041
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-18 20:48 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: