2,620 reputation
1521
bio website ohio.edu/people/eisworth
location Ohio University
age 47
visits member for 3 years, 7 months
seen May 8 at 0:31
Just your run-of-the-mill math professor/dad/set-theorist...

Mar
21
awarded  Nice Answer
Mar
12
comment Is there a version of Miller forcing “guided by” an ultrafilter?
But this doesn't preclude Miller forcing from embedding into a countably closed * ccc forcing, right?
Mar
9
answered Is there a version of Miller forcing “guided by” an ultrafilter?
Jan
10
awarded  Nice Question
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