Generic existence of interval P-points Jialiang HeRenling JinShuguo Zhang OriginalPaper 07 November 2022 Pages: 619 - 640
The structure of \(\kappa \)-maximal cofinitary groups Vera FischerCorey Bacal Switzer OriginalPaper Open access 04 December 2022 Pages: 641 - 655
Glivenko sequent classes and constructive cut elimination in geometric logics Giulio FellinSara NegriEugenio Orlandelli OriginalPaper 08 December 2022 Pages: 657 - 688
Independent families and some notions of finiteness Eric HallKyriakos Keremedis OriginalPaper 14 December 2022 Pages: 689 - 701
Some implications of Ramsey Choice for families of \(\varvec{n}\)-element sets Lorenz HalbeisenSalome Schumacher OriginalPaper Open access 16 December 2022 Pages: 703 - 733
The axiom of choice in metric measure spaces and maximal \(\delta \)-separated sets Michał DybowskiPrzemysław Górka OriginalPaper Open access 13 March 2023 Pages: 735 - 749
A topological completeness theorem for transfinite provability logic Juan P. Aguilera OriginalPaper Open access 22 February 2023 Pages: 751 - 788
Involutive symmetric Gödel spaces, their algebraic duals and logic A. Di NolaR. GrigoliaG. Vitale OriginalPaper Open access 10 February 2023 Pages: 789 - 809
Towers, mad families, and unboundedness Vera FischerMarlene KoelbingWolfgang Wohofsky OriginalPaper Open access 12 February 2023 Pages: 811 - 830
Ideals with Smital properties Marcin MichalskiRobert RałowskiSzymon Żeberski OriginalPaper Open access 14 February 2023 Pages: 831 - 842
Sets of real numbers closed under Turing equivalence: applications to fields, orders and automorphisms Iván Ongay-Valverde OriginalPaper 16 February 2023 Pages: 843 - 869