MacRance's user avatar
MacRance's user avatar
MacRance's user avatar
MacRance
  • Member for 6 years, 6 months
  • Last seen this week
7 votes
1 answer
708 views

Reference: Euclidean Plane is not union of disjoint circles

6 votes
1 answer
341 views

What does the Forcing relation mean semantically?

6 votes
1 answer
194 views

What does "forcing an open set" mean?

4 votes
0 answers
63 views

Regular set theorems under $V=L$

4 votes
1 answer
193 views

ZF(C): Model or Inner Model

3 votes
1 answer
191 views

Truth Predicate in Models of ZFC

2 votes
1 answer
110 views

Class Absoluteness on $V$ with ZF-Models

2 votes
0 answers
43 views

Is it true that, for any $X$ Polish uncountable, every boldface class of $X$ is lightface with respect to some oracle?

2 votes
1 answer
78 views

Clarification on $\omega^{\omega}$-bounding of random reals

1 vote
0 answers
68 views

Do I have to think of $V$ as a model of set theory?

1 vote
1 answer
346 views

Reference: Beth Trees in Propositional Logic

1 vote
1 answer
131 views

Proving Unprovability: Is Compactness Used in the Metathory?

1 vote
1 answer
174 views

If PA is consistent, for any $n$, does PA prove "$n$ does not code a proof of an inconsistency"?

1 vote
1 answer
354 views

Cantor-Bendixson Theorem -- Kechris' proof of perfectness

0 votes
0 answers
79 views

Definition of Right Lexicographical Ordering