Archimondain's user avatar
Archimondain's user avatar
Archimondain's user avatar
Archimondain
  • Member for 12 years, 11 months
  • Last seen more than 1 year ago
13 votes
3 answers
2k views

Effective topos and computability in topological spaces

7 votes
2 answers
421 views

Is the category of quotient of countably based topological spaces cartesian closed ?

6 votes
1 answer
455 views

Problem with definability in the constructible hierarchy

5 votes
1 answer
601 views

On a characterization of the recursively inaccessible ordinals

5 votes
1 answer
404 views

Higher computability : Constructive ordinal and $\Delta^1_1$ predicates

4 votes
1 answer
1k views

What about the fastest-growing non-computable function ?

3 votes
1 answer
485 views

Why the category of core-compact spaces with continuous maps is not cartesian closed ?

3 votes
1 answer
313 views

Is there a Turing degree which is a strong minimal cover and does not have itself a strong minimal cover?

2 votes
1 answer
322 views

Uniform inverse-measure-preserving function for some class of measures

2 votes
1 answer
1k views

Consistency and inaccessible cardinals [closed]

2 votes
1 answer
114 views

Ramsey type properties of $F_\sigma$ ideals