The following pages link to Alexander Melnikov (Q306576):
Displaying 18 items.
- The Classification Problem for Compact Computable Metric Spaces (Q5326380) (← links)
- (Q5389624) (← links)
- Computably Isometric Spaces (Q5407041) (← links)
- Enumerations and Torsion Free Abelian Groups (Q5425359) (← links)
- COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY (Q5738191) (← links)
- ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES (Q5855756) (← links)
- PUNCTUAL CATEGORICITY AND UNIVERSALITY (Q5858918) (← links)
- COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM (Q5858927) (← links)
- Primitive recursive reverse mathematics (Q6050165) (← links)
- Computable Stone spaces (Q6109093) (← links)
- Separating notions in effective topology (Q6142834) (← links)
- COMPUTABLY COMPACT METRIC SPACES (Q6170503) (← links)
- Computable topological abelian groups (Q6368661) (← links)
- Computable Gelfand Duality (Q6523480) (← links)
- Every \(\Delta^0_2\) Polish space is computable topological (Q6554707) (← links)
- An arithmetic analysis of closed surfaces (Q6567114) (← links)
- Computably and punctually universal spaces (Q6614035) (← links)
- Computably locally compact groups and their closed subgroups (Q6738257) (← links)