1 citations · 3 across the 20 of their papers we have counts for
Showing 2011Show all
3 papers · 1 filter
math.LO2011
The hierarchy of omega1-Borel sets
Arnold W. Miller
The family omega1-Borel sets is the smallest family of subsets of the real line which contains the family of open sets and is closed under complementation and omega1 unions. We sho…
math.LO2011
Uniquely Universal Sets
Arnold W. Miller
We say that X x Y satisfies the Uniquely Universal property (UU) iff there exists a set U open in X x Y such that for every open set W in Y there is a unique cross section U_x of U…
math.LO2011★ 1 cited
The maximum principle in forcing and the axiom of choice
Arnold W. Miller
In this paper we prove that the maximum principle in forcing is equivalent to the axiom of choice. The maximum principle is the property of forcing: p ||- exists x theta(x) iff for…