A partition relation for pairs on \(\omega ^{\omega ^\omega }\) Claribet Piña OriginalPaper 04 December 2017 Pages: 727 - 753
Embedding locales and formal topologies into positive topologies Francesco CirauloGiovanni Sambin OriginalPaper 07 December 2017 Pages: 755 - 768
Model completeness of generic graphs in rational cases Hirotaka Kikyo OriginalPaper 13 December 2017 Pages: 769 - 794
Homomorphism reductions on Polish groups Konstantinos A. Beros OriginalPaper 15 December 2017 Pages: 795 - 807
Definability of types and VC density in differential topological fields Françoise Point OriginalPaper 26 December 2017 Pages: 809 - 828
Closure properties of parametric subcompleteness Gunter Fuchs OriginalPaper 17 January 2018 Pages: 829 - 852
A model of \(\mathsf {ZFA}+ \mathsf {PAC}\) with no outer model of \(\mathsf {ZFAC}\) with the same pure part Paul LarsonSaharon Shelah OriginalPaper 17 January 2018 Pages: 853 - 859
Generic variations and NTP\(_1\) Jan Dobrowolski OriginalPaper Open access 27 January 2018 Pages: 861 - 871
Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice Hajime IshiharaMaria Emilia MaiettiThomas Streicher OriginalPaper 27 January 2018 Pages: 873 - 888
Hanf number for Scott sentences of computable structures S. S. GoncharovJ. F. KnightI. Souldatos OriginalPaper 01 February 2018 Pages: 889 - 907
Stationary sets added when forcing squares Maxwell Levine OriginalPaper Open access 02 February 2018 Pages: 909 - 916
Splitting idempotents in a fibered setting Ruggero Pagnan OriginalPaper 06 February 2018 Pages: 917 - 938
A collection of topological Ramsey spaces of trees and their application to profinite graph theory Yuan Yuan Zheng OriginalPaper 10 February 2018 Pages: 939 - 952
On partial disjunction properties of theories containing Peano arithmetic Taishi Kurahashi OriginalPaper 14 February 2018 Pages: 953 - 980