Impact
~1k
people reached
- 0 posts edited
- 0 helpful flags
- 2 votes cast
Jan
28 |
revised |
Effective topos and computability in topological spaces
The need of a correction in the formulation of a theorem mentioned in the answer is indicated. |
Dec
27 |
revised |
Effective topos and computability in topological spaces
edited body |
Dec
26 |
revised |
Effective topos and computability in topological spaces
added 1 characters in body |
Dec
26 |
revised |
Effective topos and computability in topological spaces
Added a reference to a theorem with assumptions which guarantee the equivalence of the two characterizarions. |
Nov
26 |
awarded | Supporter |
Nov
23 |
awarded | Autobiographer |
Nov
22 |
accepted | About some functions in the set of the natural numbers |
Nov
22 |
awarded | Teacher |
Nov
22 |
revised |
Effective topos and computability in topological spaces
Description of the partition construction added.; added 1 characters in body; added 1 characters in body; edited body |
Nov
21 |
comment |
About some functions in the set of the natural numbers
Not only the first 20 values of $f(n)$ match the corresponding ones at oeis.org/A022342 - all values given there are the same as the corresponding function values. A proof of the general statement is thus desirable. |
Nov
21 |
awarded | Scholar |
Nov
21 |
revised |
About some functions in the set of the natural numbers
added 99 characters in body; edited title |
Nov
21 |
awarded | Student |
Nov
21 |
asked | About some functions in the set of the natural numbers |
Nov
18 |
awarded | Editor |
Nov
18 |
revised |
Effective topos and computability in topological spaces
one typo more corrected |
Nov
18 |
revised |
Effective topos and computability in topological spaces
a typo corrected, curly brackets made to be displayed |
Nov
18 |
answered | Effective topos and computability in topological spaces |