current community
chat
MathOverflow
MathOverflow Meta
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Stack Exchange
Inbox
Reputation and Badges
sign up
log in
tour
help
Tour
Start here for a quick overview of the site
Help Center
Detailed answers to any questions you might have
Meta
Discuss the workings and policies of this site
MathOverflow
Questions
Tags
Users
Badges
Unanswered
Ask Question
Profile
Activity
Network Profile
118
reputation
8
Chris Pressey
Apparently, this user prefers to keep an air of mystery about them.
3
answers
2
questions
~799
people reached
catseye.tc
Member for
2 years, 10 months
49 profile views
Last seen
Jul 27 at 10:52
Communities
(4)
Theoretical Computer Science
195
195
1
7
Mathematics
191
191
13
MathOverflow
118
118
8
Computer Science
81
81
7
Top Network Posts
11
Has this algebraic structure been named or studied?
8
Programming languages for efficient computation
7
Simplystated restriction on imperative programming language that captures the elementary functions?
6
What is known about the relationship between PR and NEXP?
View more network posts →
Top Tags
(7)
proofcomplexity
Score
3
Posts
1
Posts %
20
prooftheory
Score
3
Posts
1
lo.logic
Score
3
Posts
1
formallanguages
Score
3
Posts
1
metamathematics
Score
3
Posts
1
computationalcomplexity
Score
2
Posts
3
View all tags →
Top Posts
(5)
All
Questions
Answers

Votes
Newest
3
How would one characterize a PRcomplete language?
nov 28 '12
3
Is complement of LL(k) grammar context free?
nov 29 '12
3
Can infinity shorten proofs a lot?
dec 3 '12
2
Redundancy and Structure of computational problems
nov 29 '12
2
If NP=EXPTIME, does every DTM have a succinct “execution proof”?
nov 29 '12
Badges
(8)
Gold
—
Silver
—
Bronze
8
Rarest
Revival
×
2
jun 25 '13
Teacher
nov 29 '12
Scholar
nov 29 '12
View all badges →
MathOverflow works best with JavaScript enabled