default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchive for Mathematical Logic, Volume 64
Volume 64, Number 1-2, February 2025
- Wim Veldman:
The Fan Theorem, its strong negation, and the determinacy of games. 1-66 - Mikhail G. Peretyat'kin:
The Tarski-Lindenbaum algebra of the class of strongly constructivizable models with ømega-stable theories. 67-78 - Stewart Shapiro
, Charles McCarty, Michael Rathjen:
Intuitionistic sets and numbers: small set theory and Heyting arithmetic. 79-105 - Mahsut Bekenov, Aida Kassatova, Anvar M. Nurakunov:
On absorption's formula definable semigroups of complete theories. 107-116 - Eitetsu Ken:
On some Σ B0-formulae generalizing counting principles over V0. 117-158 - Marina Dorzhieva, Rodney G. Downey, Ellen Hammatt, Alexander G. Melnikov, Keng Meng Ng:
Punctually presented structures II: comparing presentations. 159-184 - Marco Barone, Nicolás Caro-Montoya, Eudes Naziazeno:
Undecidability of indecomposable polynomial rings. 185-203 - Mohammad Ardeshir, Erfan Khaniki, Mohsen Shahriari:
The provably total functions of basic arithmetic and its extensions. 205-257 - Jelle Mathis Kuiper, Otmar Spinas:
Different covering numbers of compact tree ideals. 259-278 - Andrey N. Frolov, Maxim V. Zubkov:
On categoricity of scattered linear orders of constructive ranks. 279-297 - Nikolay Bazhenov, Dariusz Kalocinski, Michal Wroclawski:
Degrees of relations on canonically ordered natural numbers and integers. 299-331 - Geraldo Soto-Rosa, Victor Ocasio-González:
A characterization of strongly computable finite factorization domains. 333-349
Volume 64, Number 3-4, May 2025
- Paolo Marimon:
On the non-measurability of ømega-categorical Hrushovski constructions. 351-386 - Sergio A. Celani, Agustín L. Nagy, William Javier Zuluaga Botero:
Bounded distributive lattices with strict implication and weak difference. 387-422 - Hirotaka Kikyo, Akito Tsuboi:
Random structures and automorphisms with a single orbit. 423-433 - Philip D. Welch:
Free subsets in internally approachable models. 435-443 - Ziemowit Kostana:
What would the rational Urysohn space and the random graph look like if they were uncountable? 445-472 - Tamás Csernák, Lajos Soukup:
Infinite combinatorics revisited in the absence of Axiom of choice. 473-491 - Hyoyoon Lee, Junguk Lee:
Relativized Galois groups of first order theories over a hyperimaginary. 493-514 - Gunter Fuchs:
On the consistency strength of critical leaps. 515-528 - Alice Medvedev, Alexander Van Abel:
Variations on the Feferman-Vaught theorem, with applications to $\prod _p \mathbb {F}_p$. 529-546 - James E. Hanson:
Approximate categoricity in continuous logic. 547-577 - Lorenzo Galeotti, Yurii Khomskii, Jouko Väänänen:
Bounded symbiosis and upwards reflection. 579-603 - Nadav Meir, Rob Sullivan:
The externally definable Ramsey property and fixed points on type spaces. 605-635
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 2025-06-13 18:40 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:
