2,504 reputation
1518
bio website ohio.edu/people/eisworth
location Ohio University
age 47
visits member for 3 years, 1 month
seen 3 hours ago
Just your run-of-the-mill math professor/dad/set-theorist...

Nov
12
comment Ideas behind Gitik's solution of PCF conjecture
Good luck with this! This proof is one that needs to be clarified and assimilated ASAP, because it opens up so many possibilities to answer open questions.
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