413 reputation
27
bio website
location
age
visits member for 2 years, 4 months
seen 2 days ago

I'm a PhD student in mathematics at the Hebrew University of Jerusalem. My main interest is in set theory, more specifically, in forcing theory, set theory of the reals (and the lambda-reals) and large cardinals.

I also enjoy model theory, especially non structure theory, abstract elementary classes and anything of set-theoretic flavor.


Jun
22
comment If physical space had cardinality larger than $\aleph_1$, would we need new math to describe dynamics?
I will just mention that Magidor addressed the possible relevance of set theory to physics in the following paper (starting at page 10): logic.harvard.edu/EFI_Magidor.pdf
Jun
16
awarded  Nice Question
Jun
15
awarded  Yearling
Jun
15
answered Introduction to Proper Forcing Reference
Jun
15
comment Introduction to Proper Forcing Reference
If he's already going to buy a plane ticket to Israel, he should first meet the guy who invented proper forcing. ;)
Feb
11
comment Cantor-Schröder-Bernstein without elements
Perhaps we can ask a more general question (which I'm not sure how to ask correctly): In which categories can we carry back-and-forth arguments?
Feb
9
revised About generically Knaster property
deleted 279 characters in body
Feb
9
revised About generically Knaster property
added 281 characters in body
Feb
9
answered About generically Knaster property
Jan
29
awarded  Commentator
Jan
29
awarded  Scholar
Jan
29
accepted Consistency strength of Turing measurability
Jan
29
comment Consistency strength of Turing measurability
Very interesting (I wish I had access to the proof though), thanks!
Jan
29
comment Consistency strength of Turing measurability
DC is the default, but go ahead and pick your favorite choice principle. :)
Jan
29
comment Consistency strength of Turing measurability
Why is this measure sigma-complete?
Jan
29
revised Consistency strength of Turing measurability
added 1 characters in body
Jan
29
awarded  Yearling
Jan
29
awarded  Student
Jan
29
asked Consistency strength of Turing measurability
Jan
23
comment Statement that is provable in $ZFC+CH$ yet unprovable in $ZFC+\lnot CH$
It's worth noting that Farah's result is using OCA, which follows from PFA, which is another nice example of what the OP was looking for (think of it in terms of the Baire category theorem if you insist on having examples outside of set theory).