Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchive for Mathematical Logic, Volume 63
Volume 63, Number 1-2, February 2024
- Sohei Iwata, Taishi Kurahashi
, Yuya Okawa:
The fixed point and the Craig interpolation properties for sublogics of bfIL. 1-37 - Mingyang Li, Jan Reimann:
Turing degrees and randomness for continuous measures. 39-59 - Mattias Granberg Olsson, Graham E. Leigh:
Revisiting the conservativity of fixpoints over intuitionistic arithmetic. 61-87 - Kenji Miyamoto, Georg Moser:
Herbrand complexity and the epsilon calculus with equality. 89-118 - Omer Ben-Neria:
A Mathias criterion for the Magidor iteration of Prikry forcings. 119-134 - Damian Sobota, Lyubomyr Zdomskyy:
Convergence of measures after adding a real. 135-162 - Andrés Cordón-Franco, Francisco Félix Lara Martín:
Semi-honest subrecursive degrees and the collection rule in arithmetic. 163-180 - Zvonko Iljazovic, Matea Jelic:
Computable approximations of a chainable continuum with a computable endpoint. 181-201 - Gareth Boxall:
Superrosiness and dense pairs of geometric structures. 203-209 - Gabriele Pulcini:
Cut elimination by unthreading. 211-223 - Diego A. Rojas:
Effective weak and vague convergence of measures on the real line. 225-238 - Bartosz Wcislo:
Compositional truth with propositional tautologies and quantifier-free correctness. 239-257
Volume 63, Number 3-4, May 2024
- Serikzhan A. Badaev, Nikolay A. Bazhenov, Birzhan S. Kalmurzayev, Manat Mustafa:
On diagonal functions for equivalence relations. 259-278 - Pierre Touchard:
Stably embedded submodels of Henselian valued fields. 279-315 - Katsumasa Ishii:
On Harrop disjunction property in intermediate predicate logics. 317-324 - Konstantinos A. Beros, Paul B. Larson:
Maximal Tukey types, P-ideals and the weak Rudin-Keisler order. 325-352 - Juvenal Murwanashyaka:
Weak essentially undecidable theories of concatenation, part II. 353-390 - Makoto Fujiwara, Taishi Kurahashi:
Prenex normalization and the hierarchical classification of formulas. 391-403 - Longchun Wang, Qingguo Li:
L-domains as locally continuous sequent calculi. 405-425 - Paolo Maffezioli:
Cut elimination for coherent theories in negation normal form. 427-445 - Lorenzo Carlucci, Leonardo Mainardi:
Regressive versions of Hindman's theorem. 447-472 - Arthur W. Apter:
Indestructibility and the linearity of the Mitchell ordering. 473-482 - Franklin D. Tall, Jing Zhang:
The second-order version of Morley's theorem on the number of countable models does not require large cardinals. 483-490 - Hassan Sfouli:
Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures. 491-498 - Alessandro Berarducci, Marcello Mamino, Rosario Mennuni:
Vector spaces with a union of independent subspaces. 499-507
a service of 
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-05-14 21:17 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:
