Skip to main content
MathOverflow
Archimondain's user avatar
Archimondain's user avatar
Archimondain's user avatar
Archimondain
  • Member for 13 years, 8 months
  • Last seen more than 2 years ago
Profile Activity
Stats
764
reputation
8k
reached
5
answers
11
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
12
bronze badges
Top tags
View all tags
7
Score
7
Posts
44
Posts %
5
Score
8
Posts
50
Posts %
5
Score
4
Posts
25
Posts %
4
Score
4
Posts
25
Posts %
3
Score
2
Posts
12
Posts %
2
Score
2
Posts
12
Posts %
Top posts
View all questions and answers
question
13
Effective topos and computability in topological spaces
Dec 2, 2011
question
7
Is the category of quotient of countably based topological spaces cartesian closed ?
Dec 19, 2011
question
6
Problem with definability in the constructible hierarchy
Feb 21, 2017
question
5
Higher computability : Constructive ordinal and $\Delta^1_1$ predicates
Mar 22, 2012
question
5
On a characterization of the recursively inaccessible ordinals
Oct 7, 2016
question
4
What about the fastest-growing non-computable function ?
Jan 3, 2012
question
3
Why the category of core-compact spaces with continuous maps is not cartesian closed ?
Dec 5, 2011
question
3
Is there a Turing degree which is a strong minimal cover and does not have itself a strong minimal cover?
Jan 8, 2014
answer
3
Problem with definability in the constructible hierarchy
Feb 22, 2017
question
2
Uniform inverse-measure-preserving function for some class of measures
Jun 13, 2011
Top network posts
View all network posts
12
When is Chaitin's constant normal?
11
Logic, set theory, independence proofs, etc
9
ZFC + $\exists$ Standard model $\rightarrow$ Con(ZFC + $\exists \omega$-model)
7
Celery : understanding the big picture
6
Is it true ZF can't prove there is a choice function on the Turing degrees?