# student

less info
reputation
111
bio website math.stackexchange.com location San Francisco, CA age 27 member for 1 year, 1 month seen Aug 23 '12 at 5:06 profile views 33

In progress...

# 16 Revisions

 May23 revised Mathematical formula for biological phenomena?added new tag May23 revised Mathematical formula for biological phenomena?added 1 characters in body May23 revised Mathematical formula for biological phenomena?added 59 characters in body May23 revised Mathematical formula for biological phenomena?added 647 characters in body May22 revised Can the principle of explosion be removed from constructive logic?added 199 characters in body May18 revised Can we prove that some non-cardinal ordinals are regular?edited body May13 revised incompleteness wiki descriptionadded 55 characters in body May3 revised transfinite induction confusionadded 612 characters in body May3 revised transfinite induction confusionadded 16 characters in body Apr30 revised Cardinality: does $|A^B|=|2^B|$ if $|A| \le |2^B|$?added 46 characters in body Apr30 revised If $T$ proves $\operatorname{Con}(ZFC)$, is $T$ at least as strong as set theory?edited according to first comment Apr29 revised An “internal” condition on $T$ so that for the standard provability predicate, $T$ proves $\text{Pf}(\underline S)$ implies $T$ proves $S$?added 453 characters in body Apr29 revised An “internal” condition on $T$ so that for the standard provability predicate, $T$ proves $\text{Pf}(\underline S)$ implies $T$ proves $S$?edited title Apr29 revised An “internal” condition on $T$ so that for the standard provability predicate, $T$ proves $\text{Pf}(\underline S)$ implies $T$ proves $S$?added 192 characters in body Apr29 revised An “internal” condition on $T$ so that for the standard provability predicate, $T$ proves $\text{Pf}(\underline S)$ implies $T$ proves $S$?added 192 characters in body Apr28 revised Classical contradiction in logicadded 56 characters in body