Intuitionistic sets and numbers: small set theory and Heyting arithmetic Stewart ShapiroCharles McCartyMichael Rathjen OriginalPaper Open access 18 June 2024
The Tarski–Lindenbaum algebra of the class of strongly constructivizable models with \(\omega \)-stable theories Mikhail Peretyat’kin OriginalPaper 08 June 2024
The Fan Theorem, its strong negation, and the determinacy of games Wim Veldman OriginalPaper Open access 06 June 2024
Pathology of submeasures and \(F_{\sigma }\) ideals Jorge MartínezDavid Meza-AlcántaraCarlos Uzcátegui OriginalPaper Open access 13 May 2024
Spectral MV-algebras and equispectrality Giuseppina Gerarda BarbieriAntonio Di NolaGiacomo Lenzi OriginalPaper Open access 08 May 2024
On two consequences of CH established by Sierpiński R. PolP. Zakrzewski OriginalPaper Open access 07 May 2024
Katětov order between Hindman, Ramsey and summable ideals Rafał FilipówKrzysztof KowitzAdam Kwela OriginalPaper Open access 03 May 2024
On undecidability of the propositional logic of an associative binary modality Michael Kaminski OriginalPaper Open access 29 April 2024
Quantifier-free induction for lists Stefan HetzlJannik Vierling OriginalPaper Open access 20 April 2024
The Josefson–Nissenzweig theorem and filters on \(\omega \) Witold MarciszewskiDamian Sobota OriginalPaper Open access 09 April 2024
Games characterizing certain families of functions Marek BalcerzakTomasz NatkaniecPiotr Szuca OriginalPaper 06 April 2024
Herbrandized modified realizability Gilda FerreiraPaulo Firmino OriginalPaper Open access 04 April 2024
Indiscernibles and satisfaction classes in arithmetic Ali Enayat OriginalPaper Open access 28 March 2024
On computable numberings of families of Turing degrees Marat Faizrahmanov OriginalPaper 18 March 2024
Around accumulation points and maximal sequences of indiscernibles Moti Gitik OriginalPaper Open access 13 March 2024
On the extendability to \(\mathbf {\Pi }_3^0\) ideals and Katětov order Jialiang HeJintao LuoShuguo Zhang OriginalPaper 26 February 2024
Errata: on the role of the continuum hypothesis in forcing principles for subcomplete forcing Gunter Fuchs OriginalPaper 19 February 2024
Vector spaces with a union of independent subspaces Alessandro BerarducciMarcello MaminoRosario Mennuni OriginalPaper Open access 17 February 2024 Pages: 499 - 507
Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures Hassan Sfouli OriginalPaper 15 February 2024 Pages: 491 - 498
The second-order version of Morley’s theorem on the number of countable models does not require large cardinals Franklin D. TallJing Zhang OriginalPaper 14 February 2024 Pages: 483 - 490
Indestructibility and the linearity of the Mitchell ordering Arthur W. Apter OriginalPaper 13 February 2024 Pages: 473 - 482
Regressive versions of Hindman’s theorem Lorenzo CarlucciLeonardo Mainardi OriginalPaper Open access 31 January 2024 Pages: 447 - 472
Cut elimination for coherent theories in negation normal form Paolo Maffezioli OriginalPaper Open access 24 January 2024 Pages: 427 - 445
L-domains as locally continuous sequent calculi Longchun WangQingguo Li OriginalPaper 23 January 2024 Pages: 405 - 425
Prenex normalization and the hierarchical classification of formulas Makoto FujiwaraTaishi Kurahashi OriginalPaper 23 December 2023 Pages: 391 - 403
Weak essentially undecidable theories of concatenation, part II Juvenal Murwanashyaka OriginalPaper Open access 02 November 2023 Pages: 353 - 390
Maximal Tukey types, P-ideals and the weak Rudin–Keisler order Konstantinos A. BerosPaul B. Larson OriginalPaper 31 October 2023 Pages: 325 - 352
On Harrop disjunction property in intermediate predicate logics Katsumasa Ishii OriginalPaper 27 October 2023 Pages: 317 - 324
Stably embedded submodels of Henselian valued fields Pierre Touchard OriginalPaper 20 October 2023 Pages: 279 - 315
On diagonal functions for equivalence relations Serikzhan A. BadaevNikolay A. BazhenovManat Mustafa OriginalPaper 18 October 2023 Pages: 259 - 278
Compositional truth with propositional tautologies and quantifier-free correctness Bartosz Wcisło OriginalPaper Open access 06 October 2023 Pages: 239 - 257
Effective weak and vague convergence of measures on the real line Diego A. Rojas OriginalPaper Open access 27 September 2023 Pages: 225 - 238
Cut elimination by unthreading Gabriele Pulcini OriginalPaper Open access 22 September 2023 Pages: 211 - 223
Superrosiness and dense pairs of geometric structures Gareth J. Boxall OriginalPaper Open access 19 September 2023 Pages: 203 - 209
Computable approximations of a chainable continuum with a computable endpoint Zvonko IljazovićMatea Jelić OriginalPaper 13 September 2023 Pages: 181 - 201
Semi-honest subrecursive degrees and the collection rule in arithmetic Andrés Cordón-FrancoF. Félix Lara-Martín OriginalPaper 12 August 2023 Pages: 163 - 180
Convergence of measures after adding a real Damian SobotaLyubomyr Zdomskyy OriginalPaper Open access 11 August 2023 Pages: 135 - 162
A Mathias criterion for the Magidor iteration of Prikry forcings Omer Ben-Neria OriginalPaper 04 August 2023 Pages: 119 - 134
Herbrand complexity and the epsilon calculus with equality Kenji MiyamotoGeorg Moser OriginalPaper 29 July 2023 Pages: 89 - 118
Revisiting the conservativity of fixpoints over intuitionistic arithmetic Mattias Granberg OlssonGraham E. Leigh OriginalPaper Open access 28 July 2023 Pages: 61 - 87