default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchive 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, Michele Pra Baldi:
Logics of left variable inclusion and Płonka sums of matrices. 49-76 - Lars Kristiansen, Juvenal Murwanashyaka:
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, Joel Lucero-Bryan, Jan van Mill:
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, Lukas Daniel Klausner:
Cichoń's diagram and localisation cardinals. 343-411 - Juan Felipe Carmona, Kevin Dávila, Alf Onshuus, Rafael Zamora:
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, André Ottenbreit Maschio Rodrigues, Hiroshi Sakai:
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, Russell G. Miller, Reed Solomon:
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, Sergio A. Celani:
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, Tatsuji Kawai, Samuele Maschio:
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, Jorge Daniel Muñoz:
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 2026-04-22 23:44 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
