Dimiter Skordev
|
Registered User
|
Cf. my website.
|
|
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 |
