Reputation
2,543
Top tag
Next privilege 3,000 Rep.
Cast close & reopen votes
Badges
15 27
Impact
~64k people reached

Dec
22
awarded  Peer Pressure
Sep
30
awarded  Custodian
Sep
30
reviewed Edit Find the length of the diagonal of a parallelogram
Sep
30
revised Find the length of the diagonal of a parallelogram
Formatted expressions
Sep
15
reviewed Approve Problems with ln(ax) equations.
Sep
15
reviewed Reject How can linearize the product of decision variables in ILP?
Aug
12
revised Real Induction Over Multiple Variables?
Add WP link to tube lemma, since I did not recognise the reference
Aug
12
revised Is there a non-trivial countably transitive linear order?
Minor readability tweaks
Aug
12
revised Are the hyper-reals countably transitive?
Hyperlink, reorganise qn a bit
Aug
12
revised Cardinality of universal set?
Edit to correct per Malice Vidrine's comment
Jul
20
awarded  Yearling
Jul
17
comment Cardinality of universal set?
@MaliceVidrine - Thanks for the clarification.
Jul
17
comment Cardinality of universal set?
@AsafKaragila - IIRC, it is only NF plus the infinity axiom (i.e., the existence of infinite sets other than the universal set) whose consistency is an open problem.
Jul
17
revised Cardinality of universal set?
Oops: fix per comment of Asaf
Jul
17
comment Cardinality of universal set?
@Asaf: Oops - both NF and NF(U) in my answer should be qualified with 'hereditarily finite'. I'll change that in a moment.
Jul
17
revised Cardinality of universal set?
Oops: fix per comment of Asaf
Jul
17
comment Why do we need truth functional completeness?
Stranger: That is truth-functional completeness, not expressive completeness. Expressive completeness is something different, to do with axiomatising a theory, which says in one way or another that everything in the theory is represented in the axiomatisation.
Jul
17
comment Why do we need truth functional completeness?
Could you say what definition of expressive completeness you are using? There are alternative ways of formulating it.
Jul
17
answered Cardinality of universal set?
Jul
17
comment A question about HOD
...What is HOD?