The following pages link to Andrey S. Morozov (Q630291):
Displaying 15 items.
- Definability of linear orders over negative equivalences (Q321260) (← links)
- Automatic models of first order theories (Q387121) (← links)
- On computable automorphisms in formal concept analysis (Q606025) (← links)
- On decidability of the decomposability problem for finite theories (Q630293) (← links)
- Some presentations of the real number field (Q694238) (← links)
- On some representations of the real number field (Q695771) (← links)
- Quasimaximality and principal filters isomorphism between \({\mathcal E}^*\) and \({\mathcal L}^*(V_\infty)\) (Q701738) (← links)
- Dependence relations in computably rigid computable vector spaces (Q703839) (← links)
- Partial automorphism semigroups (Q998310) (← links)
- Effective categoricity of abelian \(p\)-groups (Q1023056) (← links)
- On the classification of (effective) \(\varphi \)-spaces (Q1023292) (← links)
- On computable presentations of some functional lattices (Q1044671) (← links)
- Nonpresentability of some structures of analysis in hereditarily finite superstructures (Q1644856) (← links)
- Strong reducibility of partial numberings (Q1766927) (← links)
- Undecidability without arithmetization (Q1780896) (← links)
