scientific article; zbMATH DE number 4132140

MaRDI QIDQ3033748zbMATH OpenFDO

Authors Andrei S. Morozov

Publication date 1989

zbMATH Keywords

constructivizable groupsGroups of recursive automorphismsgroups of recursive permutations

Mathematics Subject Classification ID

Automorphisms and endomorphisms of algebraic structures (08A35) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Applications of logic to group theory (20A15) General theory for infinite permutation groups (20B07) Metamathematical considerations in group theory (20A10)

Recommendations

• Publication:3491532
• scientific article; zbMATH DE number 4202544
• Constructive Analogues of the Group of Permutations of the Natural Numbers
• On maximal subgroups of the group of recursive permutations
• Group \(Aut_ r<Q,\leq >\) is not constructivizable

Cited in

(12)

• Uniform \(m\)-equivalencies and numberings of classical systems
• scientific article; zbMATH DE number 3961953 (Why is no real title available?)
• scientific article; zbMATH DE number 4164819 (Why is no real title available?)
• On maximal subgroups of the group of recursive permutations
• scientific article; zbMATH DE number 1923097 (Why is no real title available?)
• Endomorphisms of the group of all recursive permutations
• scientific article; zbMATH DE number 1421077 (Why is no real title available?)
• Constructive Analogues of the Group of Permutations of the Natural Numbers
• Permutations and Presentations
• scientific article; zbMATH DE number 4202544 (Why is no real title available?)
• On the complexity of theories of permutations
• Computable permutations and word problems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3033748)