- Paolo Maffezioli
:
Cut elimination for coherent theories in negation normal form. Arch. Math. Log. 63(3-4): 427-445 (2024) - Witold Marciszewski, Damian Sobota:
The Josefson-Nissenzweig theorem and filters on ømega. Arch. Math. Log. 63(7-8): 773-812 (2024) - Jorge Martínez, David Meza-Alcántara, Carlos Uzcátegui:
Pathology of submeasures and Fσ ideals. Arch. Math. Log. 63(7-8): 941-967 (2024) - Pedro E. Marun:
Square compactness and Lindelöf trees. Arch. Math. Log. 63(5-6): 741-757 (2024) - Kenji Miyamoto, Georg Moser:
Herbrand complexity and the epsilon calculus with equality. Arch. Math. Log. 63(1-2): 89-118 (2024) - Juvenal Murwanashyaka:
Weak essentially undecidable theories of concatenation, part II. Arch. Math. Log. 63(3-4): 353-390 (2024) - Mattias Granberg Olsson, Graham E. Leigh:
Revisiting the conservativity of fixpoints over intuitionistic arithmetic. Arch. Math. Log. 63(1-2): 61-87 (2024) - Roman Pol, Piotr Zakrzewski:
On two consequences of CH established by Sierpiński. Arch. Math. Log. 63(7-8): 877-891 (2024) - Gabriele Pulcini:
Cut elimination by unthreading. Arch. Math. Log. 63(1-2): 211-223 (2024) - Diego A. Rojas:
Effective weak and vague convergence of measures on the real line. Arch. Math. Log. 63(1-2): 225-238 (2024) - Hassan Sfouli:
Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures. Arch. Math. Log. 63(3-4): 491-498 (2024) - Saharon Shelah:
Pcf without choice Sh835. Arch. Math. Log. 63(5-6): 623-654 (2024) - Damian Sobota, Lyubomyr Zdomskyy:
Convergence of measures after adding a real. Arch. Math. Log. 63(1-2): 135-162 (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): 483-490 (2024) - Pierre Touchard:
Stably embedded submodels of Henselian valued fields. Arch. Math. Log. 63(3-4): 279-315 (2024) - Kenta Tsukuura:
The extent of saturation of induced ideals. Arch. Math. Log. 63(5-6): 723-739 (2024) - Albert Visser:
Essential hereditary undecidability. Arch. Math. Log. 63(5-6): 529-562 (2024) - Longchun Wang, Qingguo Li:
L-domains as locally continuous sequent calculi. Arch. Math. Log. 63(3-4): 405-425 (2024) - Bartosz Wcislo:
Compositional truth with propositional tautologies and quantifier-free correctness. Arch. Math. Log. 63(1-2): 239-257 (2024) - 2023
- Juan P. Aguilera:
A topological completeness theorem for transfinite provability logic. Arch. Math. Log. 62(5-6): 751-788 (2023) - Svetlana Aleksandrova, Nikolay Bazhenov, Maxim V. Zubkov:
Complexity of Σ0n-classifications for definable subsets. Arch. Math. Log. 62(1-2): 239-256 (2023) - Toshiyasu Arai:
Wellfoundedness proof with the maximal distinguished set. Arch. Math. Log. 62(3-4): 333-357 (2023) - Tyler Arant:
Recursive Polish spaces. Arch. Math. Log. 62(7-8): 1101-1110 (2023) - Peter Arndt, Hugo Luiz Mariano, Darllan Conceição Pinto:
Filter pairs and natural extensions of logics. Arch. Math. Log. 62(1-2): 113-145 (2023) - Amitayu Banerjee:
Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse. Arch. Math. Log. 62(3-4): 369-399 (2023) - Stefano Baratella:
An infinitary propositional probability logic. Arch. Math. Log. 62(3-4): 291-320 (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): 1111-1129 (2023) - Daniel W. Cunningham:
On forcing over $L(\mathbb {R})$. Arch. Math. Log. 62(3-4): 359-367 (2023) - Natasha Dobrinen, Kaiyun Wang:
Big Ramsey degrees in universal inverse limit structures. Arch. Math. Log. 62(3-4): 471-503 (2023) - Michal Dybowski, Przemyslaw Górka:
The axiom of choice in metric measure spaces and maximal δ-separated sets. Arch. Math. Log. 62(5-6): 735-749 (2023)
