Structure of semisimple rings in reverse and computable mathematics Huishan Wu OriginalPaper 08 June 2023 Pages: 1083 - 1100
A syntactic approach to Borel functions: some extensions of Louveau’s theorem Takayuki KiharaKenta Sasaki OriginalPaper 02 June 2023 Pages: 1041 - 1082
On the non-existence of \(\kappa \)-mad families Haim HorowitzSaharon Shelah OriginalPaper 23 May 2023 Pages: 1033 - 1039
An AEC framework for fields with commuting automorphisms Tapani HyttinenKaisa Kangas OriginalPaper Open access 20 May 2023 Pages: 1001 - 1032
The small index property for countable superatomic boolean algebras J. K. Truss OriginalPaper Open access 19 May 2023 Pages: 991 - 1000
Mathias and silver forcing parametrized by density Giorgio LaguzziHeike MildenbergerBrendan Stuber-Rousselle OriginalPaper Open access 18 May 2023 Pages: 965 - 990
Questions on cardinal invariants of Boolean algebras Mario Jardón Santos OriginalPaper Open access 18 May 2023 Pages: 947 - 963
Definable Tietze extension property in o-minimal expansions of ordered groups Masato Fujita OriginalPaper 15 May 2023 Pages: 941 - 945
Correction to: Towers, mad families, and unboundedness Vera FischerMarlene KoelbingWolfgang Wohofsky Publisher Correction Open access 03 April 2023 Pages: 1159 - 1160
Consistency and interpolation in linear continuous logic Mahya MalekghasemiSeyed-Mohammad Bagheri OriginalPaper 21 March 2023 Pages: 931 - 939
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
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
Ideals with Smital properties Marcin MichalskiRobert RałowskiSzymon Żeberski OriginalPaper Open access 14 February 2023 Pages: 831 - 842
Towers, mad families, and unboundedness Vera FischerMarlene KoelbingWolfgang Wohofsky OriginalPaper Open access 12 February 2023 Pages: 811 - 830
Involutive symmetric Gödel spaces, their algebraic duals and logic A. Di NolaR. GrigoliaG. Vitale OriginalPaper Open access 10 February 2023 Pages: 789 - 809
Ranks based on strong amalgamation Fraïssé classes Vincent GuingonaMiriam Parnes OriginalPaper 02 February 2023 Pages: 889 - 929
A criterion for the strong cell decomposition property Somayyeh Tari OriginalPaper 31 January 2023 Pages: 871 - 887
Some implications of Ramsey Choice for families of \(\varvec{n}\)-element sets Lorenz HalbeisenSalome Schumacher OriginalPaper Open access 16 December 2022 Pages: 703 - 733
Independent families and some notions of finiteness Eric HallKyriakos Keremedis OriginalPaper 14 December 2022 Pages: 689 - 701
Glivenko sequent classes and constructive cut elimination in geometric logics Giulio FellinSara NegriEugenio Orlandelli OriginalPaper 08 December 2022 Pages: 657 - 688
The structure of \(\kappa \)-maximal cofinitary groups Vera FischerCorey Bacal Switzer OriginalPaper Open access 04 December 2022 Pages: 641 - 655
Correction to: Generalization of Shapiro’s theorem to higher arities and noninjective notations Dariusz KalocińskiMichał Wrocławski Correction Open access 09 November 2022 Pages: 289 - 290
Generic existence of interval P-points Jialiang HeRenling JinShuguo Zhang OriginalPaper 07 November 2022 Pages: 619 - 640
Towards a homotopy domain theory Daniel O. Martínez-RivillasRuy J. G. B. de Queiroz OriginalPaper 04 November 2022 Pages: 559 - 579
Tameness in generalized metric structures Michael LiebermanJiří RosickýPedro Zambrano OriginalPaper 22 October 2022 Pages: 531 - 558
On the topological dynamics of automorphism groups: a model-theoretic perspective Krzysztof KrupińskiAnand Pillay OriginalPaper Open access 21 October 2022 Pages: 505 - 529
Big Ramsey degrees in universal inverse limit structures Natasha DobrinenKaiyun Wang OriginalPaper 07 October 2022 Pages: 471 - 503
Preservation properties for products and sums of metric structures Mary Leah Karker OriginalPaper 21 September 2022 Pages: 427 - 469
On the rigidity of Souslin trees and their generic branches Hossein Lamei Ramandi OriginalPaper Open access 19 September 2022 Pages: 419 - 426
\(sQ_1\)-degrees of computably enumerable sets Roland Sh. Omanadze OriginalPaper 16 September 2022 Pages: 401 - 417
Generalization of Shapiro’s theorem to higher arities and noninjective notations Dariusz KalocińskiMichał Wrocławski OriginalPaper Open access 14 September 2022 Pages: 257 - 288
Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse Amitayu Banerjee OriginalPaper Open access 10 September 2022 Pages: 369 - 399
The additive structure of integers with the lower Wythoff sequence Mohsen KhaniAfshin Zarei OriginalPaper 06 September 2022 Pages: 225 - 237
On forcing over \(L(\mathbb {R})\) Daniel W. Cunningham OriginalPaper 03 September 2022 Pages: 359 - 367
Wellfoundedness proof with the maximal distinguished set Toshiyasu Arai OriginalPaper 24 August 2022 Pages: 333 - 357
Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness Sándor Jenei OriginalPaper Open access 22 July 2022 Pages: 67 - 86
Complexity of \(\Sigma ^0_n\)-classifications for definable subsets Svetlana AleksandrovaNikolay BazhenovMaxim Zubkov OriginalPaper 20 July 2022 Pages: 239 - 256
An ordinal-connection axiom as a weak form of global choice under the GCH Rodrigo A. FreirePeter Holy OriginalPaper 13 July 2022 Pages: 321 - 332
A few more dissimilarities between second-order arithmetic and set theory Kentaro Fujimoto OriginalPaper Open access 09 July 2022 Pages: 147 - 206
Filter pairs and natural extensions of logics Peter ArndtHugo Luiz MarianoDarllan Conceição Pinto OriginalPaper 02 July 2022 Pages: 113 - 145
Pseudointersection numbers, ideal slaloms, topological spaces, and cardinal inequalities Jaroslav Šupina OriginalPaper 01 July 2022 Pages: 87 - 112
Computable scott sentences for quasi–Hopfian finitely presented structures Gianluca Paolini OriginalPaper 25 June 2022 Pages: 55 - 65
An infinitary propositional probability logic Stefano Baratella OriginalPaper Open access 25 June 2022 Pages: 291 - 320
Second order arithmetic as the model companion of set theory Giorgio VenturiMatteo Viale OriginalPaper 22 June 2022 Pages: 29 - 53
The existence of states based on Glivenko semihoops Pengfei HeJuntao WangJiang Yang OriginalPaper 18 May 2022 Pages: 1145 - 1170
Implicit recursion-theoretic characterizations of counting classes Ugo Dal LagoReinhard KahleIsabel Oitavem OriginalPaper 03 May 2022 Pages: 1129 - 1144