Showing math.LOShow all
3 papers · 1 filter
math.LO2005
The modal logic of forcing
Joel David Hamkins, Benedikt Loewe
What are the most general principles in set theory relating forceability and truth? As with Solovay's celebrated analysis of provability, both this question and its answer are natu…
math.LO2001
Ultrafilter spaces on the semilattice of partitions
Lorenz Halbeisen, Benedikt Loewe
The Stone-Cech compactification of the natural numbers bN, or equivalently, the space of ultrafilters on the subsets of omega, is a well-studied space with interesting properties.…
math.LO2001
Techniques for approaching the dual Ramsey property in the projective hierarchy
Lorenz Halbeisen, Benedikt Loewe
We define the dualizations of objects and concepts which are essential for investigating the Ramsey property in the first levels of the projective hierarchy, prove a forcing equiva…