default search action
Archive 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
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
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
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
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
Vector spaces with a union of independent subspaces. 499-507
Volume 63, Number 5-6, July 2024
- Gunter Fuchs
Errata: on the role of the continuum hypothesis in forcing principles for subcomplete forcing. 509-521 - Jialiang He, Jintao Luo, Shuguo Zhang:
On the extendability to $\mathbf {\Pi }_3^0$ ideals and Katětov order. 523-528 - Albert Visser:
Essential hereditary undecidability. 529-562 - Piotr Gruza, Mateusz Lelyk:
Varieties of truth definitions. 563-589 - Moti Gitik
Around accumulation points and maximal sequences of indiscernibles. 591-608 - Marat Kh. Faizrahmanov
On computable numberings of families of Turing degrees. 609-622 - Saharon Shelah:
Pcf without choice Sh835. 623-654 - Ali Enayat:
Indiscernibles and satisfaction classes in arithmetic. 655-677 - Valentina S. Harizanov, Keshav Srinivasan:
Cohesive powers of structures. 679-702 - Gilda Ferreira
Herbrandized modified realizability. 703-721 - Kenta Tsukuura:
The extent of saturation of induced ideals. 723-739 - Pedro E. Marun:
Square compactness and Lindelöf trees. 741-757
Volume 63, Number 7-8, November 2024
- Marek Balcerzak, Tomasz Natkaniec
Games characterizing certain families of functions. 759-772 - Witold Marciszewski, Damian Sobota
The Josefson-Nissenzweig theorem and filters on ømega. 773-812 - Stefan Hetzl, Jannik Vierling:
Quantifier-free induction for lists. 813-835 - Michael Kaminski
On undecidability of the propositional logic of an associative binary modality. 837-857 - Rafal Filipów, Krzysztof Kowitz, Adam Kwela:
Katětov order between Hindman, Ramsey and summable ideals. 859-876 - Roman Pol, Piotr Zakrzewski
On two consequences of CH established by Sierpiński. 877-891 - Giuseppina Gerarda Barbieri, Antonio Di Nola, Giacomo Lenzi:
Spectral MV-algebras and equispectrality. 893-919 - Mark Kamsma
Positive indiscernibles. 921-940 - Jorge Martínez, David Meza-Alcántara, Carlos Uzcátegui:
Pathology of submeasures and Fσ ideals. 941-967 - Konstantin Kovalyov:
Fragments of IOpen. 969-986 - Paul E. Howard:
Separablilty of metric measure spaces and choice axioms. 987-1003 - Karim Khanaki:
Glivenko-Cantelli classes and NIP formulas. 1005-1031
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-12-22 18:49 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: