Reputation
3,500
Top tag
Next privilege 5,000 Rep.
Approve tag wiki edits
Badges
19 30
Newest
 Enlightened
Impact
~67k people reached

Jul
3
answered If $f$ is primitive recursive (but not necessarily bijective) and $M$ primitive recursive, is $f(M)$ primitive recursive?
Jul
2
comment sequence lemma, relaxing some hypothesis of a theorem
More precisely, scroll down to Fréchet–Urysohn spaces... @Jonas: Could you post your comment as an answer?
Jul
2
answered Cohen forcing and bounds on GCH violation
Jul
2
revised Prove that this is the solution to the given minimization problem
edited tags
Jun
22
revised Infinite number of mistakes in a proof
edited tags
Jun
14
awarded  Necromancer
Jun
13
awarded  Revival
Jun
13
answered What's the deal with empty models in first-order logic?
Jun
13
answered Are there any areas of mathematics that are known to be impossible to formalise in terms of set theory?
Jun
7
comment First order logic and higher order logics?
Thanks, Asaf. I do try to come around once in a while but I am otherwise very busy...
Jun
7
answered First order logic and higher order logics?
Feb
10
answered Symbols for Quantifiers Other Than $\forall$ and $\exists$
Dec
9
awarded  Precognitive
Oct
2
answered Existence of a perfect measurable set
Oct
2
awarded  Commentator
Oct
2
comment Existence of a perfect measurable set
It depends how you define Lebesgue measure, but many definitions make inner regularity obvious.
Oct
2
comment Existence of a perfect measurable set
The intermediate value argument is strange... How is the domain of $m^*$ a connected topological space?
Sep
28
comment ZF is almost finitely axiomatizable
Yes, the word "proper" (which was missing earlier) is crucial otherwise you might run out of ordinals...
Sep
28
comment ZF is almost finitely axiomatizable
Can you formulate the exercise exactly as stated by Kunen? The way I read your formulation, there is no such finite list of axioms.
Sep
28
answered Real-measurable cardinals that are not measurable ones