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)
Gareth Boxall
Superrosiness and dense pairs of geometric structures. Arch. Math. Log. 63 (1) (2024)
Bartosz Wcislo
Compositional truth with propositional tautologies and quantifier-free correctness. 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)
Damian Sobota, Lyubomyr Zdomskyy
Convergence of measures after adding a real. Arch. Math. Log. 63 (1) (2024)
Kenji Miyamoto, Georg Moser
Herbrand complexity and the epsilon calculus with equality. 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)
Zvonko Iljazovic, Matea Jelic
Computable approximations of a chainable continuum with a computable endpoint. Arch. Math. Log. 63 (1) (2024)
Gabriele Pulcini
Cut elimination by unthreading. Arch. Math. Log. 63 (1) (2024)
Mingyang Li, Jan Reimann
Turing degrees and randomness for continuous measures. 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)
Mattias Granberg Olsson, Graham E. Leigh
Revisiting the conservativity of fixpoints over intuitionistic arithmetic. Arch. Math. Log. 63 (1) (2024)

volume 62, number 3, 2023

Toshiyasu Arai
Wellfoundedness proof with the maximal distinguished set. Arch. Math. Log. 62 (3) (2023)
Rodrigo A. Freire, Peter Holy
An ordinal-connection axiom as a weak form of global choice under the GCH. Arch. Math. Log. 62 (3) (2023)
Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
Towards a homotopy domain theory. Arch. Math. Log. 62 (3) (2023)
Roland Sh. Omanadze
-degrees of computably enumerable sets. Arch. Math. Log. 62 (3) (2023)
Hossein Lamei Ramandi
On the rigidity of Souslin trees and their generic branches. Arch. Math. Log. 62 (3) (2023)
Michael J. Lieberman, Jirí Rosický, Pedro Zambrano
Tameness in generalized metric structures. Arch. Math. Log. 62 (3) (2023)
Natasha Dobrinen, Kaiyun Wang
Big Ramsey degrees in universal inverse limit structures. Arch. Math. Log. 62 (3) (2023)
Mary Leah Karker
Preservation properties for products and sums of metric structures. Arch. Math. Log. 62 (3) (2023)
Amitayu Banerjee
Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse. Arch. Math. Log. 62 (3) (2023)
Krzysztof Krupinski, Anand Pillay
On the topological dynamics of automorphism groups: a model-theoretic perspective. Arch. Math. Log. 62 (3) (2023)
Daniel W. Cunningham
On forcing over $L(\mathbb {R})$. Arch. Math. Log. 62 (3) (2023)

volume 62, number 5-6, 2023

Anton Freund
Bachmann-Howard derivatives. Arch. Math. Log. 62 (5-6) (2023)
Antonio Di Nola, Revaz Grigolia, Gaetano Vitale
Involutive symmetric Gödel spaces, their algebraic duals and logic. Arch. Math. Log. 62 (5-6) (2023)
Iván Ongay-Valverde
Sets of real numbers closed under Turing equivalence: applications to fields, orders and automorphisms. Arch. Math. Log. 62 (5-6) (2023)
Vera Fischer, Corey Bacal Switzer
The structure of κ-maximal cofinitary groups. Arch. Math. Log. 62 (5-6) (2023)
Jialiang He, Renling Jin, Shuguo Zhang
Generic existence of interval P-points. Arch. Math. Log. 62 (5-6) (2023)
Eric J. Hall, Kyriakos Keremedis
Independent families and some notions of finiteness. Arch. Math. Log. 62 (5-6) (2023)
Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky
Towers, mad families, and unboundedness. Arch. Math. Log. 62 (5-6) (2023)
Juan P. Aguilera
A topological completeness theorem for transfinite provability logic. Arch. Math. Log. 62 (5-6) (2023)
Giulio Fellin, Sara Negri, Eugenio Orlandelli
Glivenko sequent classes and constructive cut elimination in geometric logics. Arch. Math. Log. 62 (5-6) (2023)
Michal Dybowski, Przemyslaw Górka
The axiom of choice in metric measure spaces and maximal δ-separated sets. Arch. Math. Log. 62 (5-6) (2023)
Marcin Michalski, Robert Ralowski, Szymon Zeberski
Ideals with Smital properties. Arch. Math. Log. 62 (5-6) (2023)
Lorenz Halbeisen, Salome Schumacher
Some implications of Ramsey Choice for families of $\varvec{n}$-element sets. Arch. Math. Log. 62 (5-6) (2023)

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)
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)
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)
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)
Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky
Correction to: Towers, mad families, and unboundedness. 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)
Tyler Arant
Recursive Polish spaces. Arch. Math. Log. 62 (7-8) (2023)
Haim Horowitz, Saharon Shelah
On the non-existence of κ-mad families. Arch. Math. Log. 62 (7-8) (2023)