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
Volume 64, Number 5-6, July 2025
- Huishan Wu:
Categories and functors in reverse and computable mathematics. 637-667 - Camilo Argoty, Alexander Berenstein, Nicolás Cuervo Ovalle:
The SB-property on metric structures. 669-697 - Mihai Prunescu:
Conjunctions of exponential diophantine equations over ${\mathbb {Q}}$. 699-704 - Tomasz Zuchowski:
The Nikodym property and filters on ømega. 705-735 - Martina Liccardo:
Ordered abelian groups that do not have elimination of imaginaries. 737-753 - Aleksi Anttila, Matilda Häggblom, Fan Yang:
Axiomatizing modal inclusion logic and its variants. 755-793 - Umberto Rivieccio:
The algebra of ordinary discourse. On the semantics of Cooper's logic. 795-817 - John Case:
Constructivity conditions on immune sets. 819-841 - Lukasz Mazurkiewicz, Marcin Michalski, Robert Ralowski, Szymon Zeberski:
On algebraic sums, trees and ideals in the Baire space. 843-855 - Samuel Zamour:
Symétrons et K-boucles ømega-stables ømega-stable symmetric spaces and K-loops. 857-876 - Leonardo Ángel, Xavier Caicedo:
Restricted analytic valued fields with partial exponentiation. 877-892 - Paolo Aglianò:
An algebraic investigation of Linear Logic. 893-915
Volume 64, Number 7-8, November 2025
- James Walsh:
Reflection ranks via infinitary derivations. 917-933 - Tatsuya Goto:
Cardinal invariants associated with Hausdorff measures. 935-956 - Davoud Abdi:
Siblings of direct sums of chains. 957-971 - Seyed-Mohammad Bagheri:
Definability in affine logic. 973-995 - Joshua A. Cole:
A closed subset of Baire space not Medvedev equivalent to any closed set of Cantor space. 997-1005 - Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh:
Herbrand schemes for first-order logic. 1007-1076 - Radek Honzik, Sárka Stejskalová:
Generalized cardinal invariants for an inaccessible κ with compactness at κ ++. 1077-1102 - Revaz Grigolia, Ramaz Liparteliani, Nunu Mitskevich, Tamar Tsertsvadze, Tekle Kalichava:
On the theory of epistemic Łukasiewicz logic corresponding to the Chang algebra with application in Immune system. 1103-1126 - Moti Gitik:
On countably closed mutually embeddable models. 1127-1131 - Fatemeh Shirmohammadzadeh Maleki:
Algebraic semantics for weak subintuitionistic logic WF. 1133-1147 - Roman Pol, Piotr Zakrzewski:
On two consequences of CH established by Sierpiński. II. 1149-1164 - John Kenneth Truss:
Countable homogeneous ordered bipartite graphs. 1165-1180 - Davide Carolillo, Gianluca Paolini:
The construction principle and non homogeneity of uncountable relatively free groups. 1181-1195
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-12-05 22:24 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:
