38 reputation
6
bio website fmi.uni-sofia.bg/fmi/logic/…
location Sofia, Bulgaria
age
visits member for 2 years, 1 month
seen Feb 19 at 16:13

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