2,550 reputation
1519
bio website ohio.edu/people/eisworth
location Ohio University
age 47
visits member for 3 years, 3 months
seen Dec 23 at 18:14
Just your run-of-the-mill math professor/dad/set-theorist...

Dec
10
awarded  Curious
Dec
9
asked Semiproper but not proper
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 Equicontinuity and $L^2$ convergence imply uniform convergence
May
17
reviewed Approve 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!