Arch. Math. Log.

Keyphrases

Publications

volume 63, number 1, 2024

Sohei Iwata, Taishi Kurahashi, Yuya Okawa
The fixed point and the Craig interpolation properties for sublogics of bfIL. Arch. Math. Log. 63 (1) (2024)
Kenji Miyamoto, Georg Moser
Herbrand complexity and the epsilon calculus with equality. Arch. Math. Log. 63 (1) (2024)
Omer Ben-Neria
A Mathias criterion for the Magidor iteration of Prikry forcings. Arch. Math. Log. 63 (1) (2024)
Gareth Boxall
Superrosiness and dense pairs of geometric structures. Arch. Math. Log. 63 (1) (2024)
Gabriele Pulcini
Cut elimination by unthreading. Arch. Math. Log. 63 (1) (2024)
Andrés Cordón-Franco, Francisco Félix Lara Martín
Semi-honest subrecursive degrees and the collection rule in arithmetic. Arch. Math. Log. 63 (1) (2024)
Diego A. Rojas
Effective weak and vague convergence of measures on the real line. Arch. Math. Log. 63 (1) (2024)
Bartosz Wcislo
Compositional truth with propositional tautologies and quantifier-free correctness. Arch. Math. Log. 63 (1) (2024)
Zvonko Iljazovic, Matea Jelic
Computable approximations of a chainable continuum with a computable endpoint. Arch. Math. Log. 63 (1) (2024)
Damian Sobota, Lyubomyr Zdomskyy
Convergence of measures after adding a real. Arch. Math. Log. 63 (1) (2024)
Mingyang Li, Jan Reimann
Turing degrees and randomness for continuous measures. Arch. Math. Log. 63 (1) (2024)
Mattias Granberg Olsson, Graham E. Leigh
Revisiting the conservativity of fixpoints over intuitionistic arithmetic. Arch. Math. Log. 63 (1) (2024)

volume 63, number 3-4, 2024

Katsumasa Ishii
On Harrop disjunction property in intermediate predicate logics. Arch. Math. Log. 63 (3-4) (2024)
Hassan Sfouli
Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures. Arch. Math. Log. 63 (3-4) (2024)
Lorenzo Carlucci, Leonardo Mainardi
Regressive versions of Hindman's theorem. Arch. Math. Log. 63 (3-4) (2024)
Longchun Wang, Qingguo Li
L-domains as locally continuous sequent calculi. Arch. Math. Log. 63 (3-4) (2024)
Konstantinos A. Beros, Paul B. Larson
Maximal Tukey types, P-ideals and the weak Rudin-Keisler order. Arch. Math. Log. 63 (3-4) (2024)
Makoto Fujiwara, Taishi Kurahashi
Prenex normalization and the hierarchical classification of formulas. Arch. Math. Log. 63 (3-4) (2024)
Pierre Touchard
Stably embedded submodels of Henselian valued fields. Arch. Math. Log. 63 (3-4) (2024)
Arthur W. Apter
Indestructibility and the linearity of the Mitchell ordering. Arch. Math. Log. 63 (3-4) (2024)
Paolo Maffezioli
Cut elimination for coherent theories in negation normal form. Arch. Math. Log. 63 (3-4) (2024)
Franklin D. Tall, Jing Zhang
The second-order version of Morley's theorem on the number of countable models does not require large cardinals. Arch. Math. Log. 63 (3-4) (2024)
Serikzhan A. Badaev, Nikolay A. Bazhenov, Birzhan S. Kalmurzayev, Manat Mustafa
On diagonal functions for equivalence relations. Arch. Math. Log. 63 (3-4) (2024)
Alessandro Berarducci, Marcello Mamino, Rosario Mennuni
Vector spaces with a union of independent subspaces. Arch. Math. Log. 63 (3-4) (2024)
Juvenal Murwanashyaka
Weak essentially undecidable theories of concatenation, part II. Arch. Math. Log. 63 (3-4) (2024)

volume 63, number 5-6, 2024

Pedro E. Marun
Square compactness and Lindelöf trees. Arch. Math. Log. 63 (5-6) (2024)
Saharon Shelah
Pcf without choice Sh835. Arch. Math. Log. 63 (5-6) (2024)
Albert Visser
Essential hereditary undecidability. Arch. Math. Log. 63 (5-6) (2024)
Kenta Tsukuura
The extent of saturation of induced ideals. Arch. Math. Log. 63 (5-6) (2024)
Jialiang He, Jintao Luo, Shuguo Zhang
On the extendability to $\mathbf {\Pi }_3^0$ ideals and Katětov order. Arch. Math. Log. 63 (5-6) (2024)
Piotr Gruza, Mateusz Lelyk
Varieties of truth definitions. Arch. Math. Log. 63 (5-6) (2024)
Gilda Ferreira, Paulo Renato A. Firmino
Herbrandized modified realizability. Arch. Math. Log. 63 (5-6) (2024)
Moti Gitik
Around accumulation points and maximal sequences of indiscernibles. Arch. Math. Log. 63 (5-6) (2024)
Marat Kh. Faizrahmanov
On computable numberings of families of Turing degrees. Arch. Math. Log. 63 (5-6) (2024)
Gunter Fuchs
Errata: on the role of the continuum hypothesis in forcing principles for subcomplete forcing. Arch. Math. Log. 63 (5-6) (2024)
Ali Enayat
Indiscernibles and satisfaction classes in arithmetic. Arch. Math. Log. 63 (5-6) (2024)
Valentina S. Harizanov, Keshav Srinivasan
Cohesive powers of structures. Arch. Math. Log. 63 (5-6) (2024)

volume 62, number 7-8, 2023

Paul E. Howard, Eleftherios Tachtsis
Models of sfZFA in which every linearly ordered set can be well ordered. Arch. Math. Log. 62 (7-8) (2023)
Caleb Camrud, Isaac Goldbring, Timothy H. McNicholl
On the complexity of the theory of a computably presented metric structure. Arch. Math. Log. 62 (7-8) (2023)
Mario Jardón Santos
Questions on cardinal invariants of Boolean algebras. Arch. Math. Log. 62 (7-8) (2023)
Tapani Hyttinen, Kaisa Kangas
An AEC framework for fields with commuting automorphisms. Arch. Math. Log. 62 (7-8) (2023)
Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky
Correction to: Towers, mad families, and unboundedness. Arch. Math. Log. 62 (7-8) (2023)
Takayuki Kihara, Kenta Sasaki
A syntactic approach to Borel functions: some extensions of Louveau's theorem. Arch. Math. Log. 62 (7-8) (2023)
Masato Fujita
Definable Tietze extension property in o-minimal expansions of ordered groups. Arch. Math. Log. 62 (7-8) (2023)
Mahya Malekghasemi, Seyed Mohammad Bagheri
Consistency and interpolation in linear continuous logic. Arch. Math. Log. 62 (7-8) (2023)
John Kenneth Truss
The small index property for countable superatomic boolean algebras. Arch. Math. Log. 62 (7-8) (2023)
Huishan Wu
Structure of semisimple rings in reverse and computable mathematics. Arch. Math. Log. 62 (7-8) (2023)
Somayyeh Tari
A criterion for the strong cell decomposition property. Arch. Math. Log. 62 (7-8) (2023)
Vincent Guingona, Miriam Parnes
Ranks based on strong amalgamation Fraïssé classes. Arch. Math. Log. 62 (7-8) (2023)
Giorgio Laguzzi, Heike Mildenberger, Brendan Stuber-Rousselle
Mathias and silver forcing parametrized by density. Arch. Math. Log. 62 (7-8) (2023)