User Archimondain

13 votes

3 answers

2k views

Effective topos and computability in topological spaces

asked Dec 2, 2011 at 15:47

7 votes

2 answers

435 views

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

asked Dec 19, 2011 at 14:53

6 votes

1 answer

485 views

Problem with definability in the constructible hierarchy

asked Feb 21, 2017 at 16:27

5 votes

1 answer

627 views

On a characterization of the recursively inaccessible ordinals

asked Oct 7, 2016 at 17:27

5 votes

1 answer

415 views

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

asked Mar 22, 2012 at 18:49

4 votes

1 answer

2k views

What about the fastest-growing non-computable function ?

asked Jan 3, 2012 at 18:32

3 votes

1 answer

494 views

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

asked Dec 5, 2011 at 14:06

3 votes

1 answer

331 views

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

asked Jan 8, 2014 at 11:00

2 votes

1 answer

341 views

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

asked Jun 13, 2011 at 15:59

2 votes

1 answer

1k views

Consistency and inaccessible cardinals [closed]

asked Apr 24, 2012 at 18:35

2 votes

1 answer

117 views

Ramsey type properties of $F_\sigma$ ideals

asked Sep 21, 2019 at 17:29

Stack Exchange Network

11 Questions

Effective topos and computability in topological spaces

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

Problem with definability in the constructible hierarchy

On a characterization of the recursively inaccessible ordinals

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

What about the fastest-growing non-computable function ?

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

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

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

Consistency and inaccessible cardinals [closed]

Ramsey type properties of $F_\sigma$ ideals