The following pages link to Alexander G. Melnikov (Q306576):
Displayed 50 items.
- Abelian \(p\)-groups and the halting problem (Q306578) (← links)
- Item:Q306576 (redirect page) (← links)
- Independence in computable algebra (Q497725) (← links)
- Proper divisibility in computable rings (Q504325) (← links)
- Algebraic structures computable without delay (Q528478) (← links)
- Enumerations and completely decomposable torsion-free abelian groups (Q733745) (← links)
- Decidability and computability of certain torsion-free abelian groups (Q976537) (← links)
- New degree spectra of abelian groups (Q1676354) (← links)
- The diversity of categoricity without delay (Q1688181) (← links)
- Computable torsion abelian groups (Q1688648) (← links)
- Eliminating unbounded search in computable algebra (Q2011637) (← links)
- Punctual categoricity relative to a computable oracle (Q2030137) (← links)
- Punctual definability on structures (Q2033006) (← links)
- Non-density in punctual computability (Q2041959) (← links)
- Computable topological abelian groups (Q2099260) (← links)
- Computable analysis and classification problems (Q2106595) (← links)
- Graphs are not universal for online computability (Q2186809) (← links)
- Turing reducibility in the fine hierarchy (Q2187259) (← links)
- Enumerating abelian \(p\)-groups (Q2193224) (← links)
- Online presentations of finitely generated structures (Q2205949) (← links)
- The back-and-forth method and computability without delay (Q2279959) (← links)
- On realization of index sets in \(\Pi_1^0\)-classes (Q2300938) (← links)
- Categorical linearly ordered structures (Q2311213) (← links)
- On \(\Delta_2^0\)-categoricity of equivalence relations (Q2346952) (← links)
- Effectively categorical abelian groups (Q2377433) (← links)
- COMPUTABLE ABELIAN GROUPS (Q2795203) (← links)
- Computable structures and operations on the space of continuous functions (Q2804293) (← links)
- $K$-triviality in computable metric spaces (Q2839373) (← links)
- Limitwise monotonic sequences and degree spectra of structures (Q2845476) (← links)
- Iterated effective embeddings of abelian p-groups (Q2941047) (← links)
- Classes of Ulm type and coding rank-homogeneous trees in other structures (Q3173529) (← links)
- Computable completely decomposable groups (Q3190417) (← links)
- 0″-Categorical Completely Decomposable Torsion-Free Abelian Groups (Q3576068) (← links)
- Computable Ordered Abelian Groups and Fields (Q3576220) (← links)
- On a question of Kalimullin (Q4563668) (← links)
- Torsion-free abelian groups with optimal Scott families (Q4565755) (← links)
- COMPUTABLE POLISH GROUP ACTIONS (Q4579801) (← links)
- UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES (Q4579805) (← links)
- A Friedberg enumeration of equivalence structures (Q4596664) (← links)
- On Computable Field Embeddings and Difference Closed Fields (Q4597579) (← links)
- Computable topological groups and Pontryagin duality (Q4691089) (← links)
- Effectively closed subgroups of the infinite symmetric group (Q4691363) (← links)
- Jump degrees of torsion-free abelian groups (Q4899162) (← links)
- Relativizing computable categoricity (Q5002563) (← links)
- (Q5092384) (← links)
- A structure of punctual dimension two (Q5111521) (← links)
- (Q5155667) (← links)
- Decompositions of decidable abelian groups (Q5216188) (← links)
- FOUNDATIONS OF ONLINE STRUCTURE THEORY (Q5226592) (← links)
- The Classification Problem for Compact Computable Metric Spaces (Q5326380) (← links)