bio | website | fmi.uni-sofia.bg/fmi/logic/… |
---|---|---|
location | Sofia, Bulgaria | |
age | ||
visits | member for | 1 year, 10 months |
seen | Feb 19 at 16:13 | |
stats | profile views | 37 |
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 |