Recursive properties of isomorphism types

DOI10.1017/S0004972700021675zbMath0532.03022OpenAlexW2079541380MaRDI QIDQ3313855

Michael Moses

Publication date: 1984

Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0004972700021675

zbMATH Keywords

linear ordersuniverse of a recursive structure

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Related Items (2)

Recursive unary algebras and trees ⋮ Algorithmic properties of branching models

Cites Work

• Strong and weak constructivization and computable families
• Autostability and computable families of constructivizations

This page was built for publication: Recursive properties of isomorphism types