Group \(Aut_ r<Q,\leq >\) is not constructivizable

DOI10.1007/BF01156460zbMath0574.03028OpenAlexW2061173661MaRDI QIDQ1062975

Andrey S. Morozov

Publication date: 1984

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01156460

zbMATH Keywords

natural ordergroup of all recursive permutations of the set of rational numbers

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Related Items (1)

On computable presentations of some functional lattices

This page was built for publication: Group \(Aut_ r<Q,\leq >\) is not constructivizable