2,504 reputation
1518
bio website ohio.edu/people/eisworth
location Ohio University
age 47
visits member for 3 years
seen Oct 16 at 23:11
Just your run-of-the-mill math professor/dad/set-theorist...

Sep
28
awarded  Yearling
Sep
17
awarded  Nice Answer
Aug
31
answered $RUCar^{V}$-semiproperness implies properness
Aug
19
comment Ideas behind Gitik's solution of PCF conjecture
I asked this question of many people at Oberwolfach. The answers were the same as Asaf's comment. ;)
Aug
15
answered Iteration of Proper Forcing and Support of Master Conditions
Jun
1
answered The independence number
May
17
awarded  Custodian
May
17
reviewed Approve suggested edit on Equicontinuity and $L^2$ convergence imply uniform convergence
May
17
reviewed Approve suggested edit on Is it ever a good idea to use Keisler-Shelah to show elementary equivalence?
May
7
comment Preservation of ultrafilters by Sacks forcing
It might be interesting to see if every hlt-ultrafilter is RK-above a P-point. Andreas Blass may know the answer to such questions!
May
6
awarded  Nice Question
May
5
comment Namba forcing and semiproperness
The question of whether SCC implies Namba semiproperness seems interesting, though, and not unreasonable!
May
5
answered Preservation of ultrafilters by Sacks forcing
May
5
comment Namba forcing and semiproperness
Philip: I know he shows that the strong Chang conjecture is a consequence of Namba semimproperness in Theorem XII.2.5 of the book. Is SCC actually equivalent?
May
4
asked Namba forcing and semiproperness
Apr
4
comment regularity of ultrafilters
In the Kanamori-Magidor "Evolution of Large Cardinal Axioms" paper, the question is mentioned as still open.
Apr
4
comment regularity of ultrafilters
Thanks, Andreas! I'll fill in the references as I find them!
Apr
4
answered regularity of ultrafilters
Apr
2
awarded  Custodian
Apr
2
reviewed No Action Needed Does there exists a finitely presented group with Dehn function > n^3 and all asymptotic cones simply connected