student

less info
meta site favicon meta user | stack exchange network profile network profile
364 reputation
111
bio website math.stackexchange.com
location San Francisco, CA
age 27
visits member for 1 year
seen Aug 23 '12 at 5:06
stats profile views 33

In progress...


16 Revisions

suggestions reviews revisions comments badges posts accepts all
May
23
 revised Mathematical formula for biological phenomena?
added new tag
May
23
 revised Mathematical formula for biological phenomena?
added 1 characters in body
May
23
 revised Mathematical formula for biological phenomena?
added 59 characters in body
May
23
 revised Mathematical formula for biological phenomena?
added 647 characters in body
May
22
 revised Can the principle of explosion be removed from constructive logic?
added 199 characters in body
May
18
 revised Can we prove that some non-cardinal ordinals are regular?
edited body
May
13
 revised incompleteness wiki description
added 55 characters in body
May
3
 revised transfinite induction confusion
added 612 characters in body
May
3
 revised transfinite induction confusion
added 16 characters in body
Apr
30
 revised Cardinality: does $|A^B|=|2^B|$ if $|A| \le |2^B|$?
added 46 characters in body
Apr
30
 revised If $T$ proves $\operatorname{Con}(ZFC)$, is $T$ at least as strong as set theory?
edited according to first comment
Apr
29
 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
Apr
29
 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
Apr
29
 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
Apr
29
 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
Apr
28
 revised Classical contradiction in logic
added 56 characters in body