Showing math.LOShow all
2 papers · 1 filter
math.LO2022
On projections of the tails of a power
Samuel M. Corson, Saharon Shelah
Let be an inaccessible cardinal, be a universal algebra, and be the equivalence relation on of eventual equality. From mild assumptions o…
math.LO2020
The independence of Stone's Theorem from the Boolean Prime Ideal Theorem
Samuel M. Corson
We give a permutation model in which Stone's Theorem (every metric space is paracompact) is false and the Boolean Prime Ideal Theorem (every ideal in a Boolean algebra extends to a…