François G. Dorais
Reputation
3,500
Top tag
Next privilege 5,000 Rep.
Approve tag wiki edits
 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