student

less info

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...

summary answers questions tags badges favorites bounties reputation activity

12 Answers

votes activity newest

4	Mathematical formula for biological phenomena?
4	Cardinality: does $\|A^B\|=\|2^B\|$ if $\|A\| \le \|2^B\|$?
2	Can the principle of explosion be removed from constructive logic?
2	transfinite induction confusion
2	What is a constructive proof of $\lnot\lnot(P\vee\lnot P)$?

view more

364 Reputation

+10	Mathematical formula for biological phenomena?
+10	transfinite induction confusion
+5	If $T$ proves $\operatorname{Con}(ZFC)$, is $T$ at least as strong as set theory?
+10	Difference between axiomatization and model

view more

3 Questions

votes activity newest

6	If $T$ proves $\operatorname{Con}(ZFC)$, is $T$ at least as strong as set theory?
4	An “internal” condition on $T$ so that for the standard provability predicate, $T$ proves $\text{Pf}(\underline S)$ implies $T$ proves $S$?
2	Can we prove that some non-cardinal ordinals are regular?

20 Tags

9 elementary-set-theory × 7	4 applications
4 logic × 5	2 reference-request
4 constructive-mathematics × 2	2 contradiction
4 cardinals × 2	2 model-theory
4 biology	2 propositional-calculus

view more

2 Accounts

$Mathematics Stack Exchange$	Mathematics	364 rep	111
	Philosophy	111 rep	3

12 Badges

recent class name

Yearling	Commentator
Custodian	Tag Editor
Organizer	Scholar
Critic	Teacher
Autobiographer	Supporter

view more

0 Active bounties

active offered earned

This user has no active bounties

11 Votes Cast

all time			by type
10	up		3	question
1	down		8	answer

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Arqade (gaming) Bicycles Role-playing Games more (22)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.5.22.697