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

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

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

(13)

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

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)