Showing math.LOShow all
2 papers · 1 filter
math.LO2023
Continuous images of closed sets in generalized Baire spaces
Philipp Lücke, Philipp Schlicht
Let be an uncountable cardinal with . Given a cardinal , we equip the set consisting of all functions from to with the topology whose basic open…
math.LO2010
Non-permutation invariant Borel quantifiers
Fredrik Engström, Philipp Schlicht
Every permutation invariant Borel subset of the space of countable structures is definable in $\La_{ω_1ω}$ by a theorem of Lopez-Escobar. We prove variants of this theorem relative…