The following pages link to Andrey S. Morozov (Q630291):
Displaying 50 items.
- Homomorphisms onto effectively separable algebras (Q299155) (← links)
- (Q321259) (redirect page) (← links)
- Definability of linear orders over negative equivalences (Q321260) (← links)
- Automatic models of first order theories (Q387121) (← links)
- On \(\Sigma\)-rigid presentations of the real order (Q404712) (← links)
- Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\) (Q467668) (← links)
- Parametric groups of definable automorphisms of strongly constructive models (Q546226) (← links)
- (Q587707) (redirect page) (← links)
- (Q590709) (redirect page) (← links)
- Strong constructivizability of countable saturated Boolean algebras (Q594859) (← links)
- On computable automorphisms in formal concept analysis (Q606025) (← links)
- On decidability of the decomposability problem for finite theories (Q630293) (← links)
- Recursive properties of relations on models (Q687281) (← links)
- Some presentations of the real number field (Q694238) (← links)
- On some representations of the real number field (Q695771) (← links)
- On endomorphisms of positive and negative numberings (Q699097) (← links)
- On the fixed field of a generic automorphism (Q699099) (← links)
- Groups of automorphisms and chains of closed subgroups (Q699100) (← links)
- The isomorphism problem for classes of computable fields (Q701725) (← 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)
- On the theories of classes of recusive permutation groups (Q753804) (← links)
- Countable homogeneous Boolean algebras (Q793713) (← links)
- Groups of recursive automorphisms of constructive Boolean algebras (Q800354) (← links)
- Recursive automorphisms of atomic Boolean algebras (Q809075) (← links)
- On weakly pre-complete positive equivalences (Q810013) (← links)
- Principal numerations of functionals on admissible sets (Q810015) (← links)
- Sergeĭ Il'ich Mardaev (6.04.1962--10.04.2013) (Q891064) (← links)
- On existential interpretability of structures (Q892029) (← links)
- Property of t-retraceability and automorphisms of the lattice of recursively enumerable sets (Q912844) (← links)
- Rigid constructive modules (Q918970) (← links)
- Countable structures \(\Sigma \)-definable over classical continuous number systems (Q957779) (← links)
- Embeddings of computable structures (Q976535) (← 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)
- Group \(Aut_ r<Q,\leq >\) is not constructivizable (Q1062975) (← links)
- Constructive Boolean algebras with almost-identical automorphisms (Q1078560) (← links)
- Automorphisms of constructivizations of Boolean algebras (Q1088654) (← links)
- A question posed by Bergstra and Tiuryn (Q1092893) (← links)
- Computable groups of automorphisms of models (Q1094411) (← links)
- A class of recursively enumerable sets (Q1101444) (← links)
- Permutations and implicit definability (Q1117217) (← links)
- An algebraic treatment of the Barwise compactness theory (Q1181483) (← links)
- Strong \(\Delta_1\)-definability of a model in an admissible set (Q1288078) (← links)
- Nice local-global fields. III (Q1288093) (← links)
- Restricted completeness of extended Boolean algebras (Q1288094) (← links)
- The uniformization property in hereditary finite superstructures (Q1288095) (← links)
- Model companions of quasivarieties of polygons (Q1288096) (← links)
