Recursive properties of isomorphism types

DOI10.1017/S0004972700021675MaRDI QIDQ3313855zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1302872
• Possible degrees in recursive copies
• scientific article; zbMATH DE number 749934
• scientific article; zbMATH DE number 749928
• scientific article; zbMATH DE number 3869317

Cites work

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

Cited in

(11)

• Recursive versus recursively enumerable binary relations
• Recursive unary algebras and trees
• Isomorphisms of types in the presence of higher-order references
• Isomorphism of "Functional" Intersection Types
• scientific article; zbMATH DE number 3869317 (Why is no real title available?)
• A short survey of isomorphisms of types
• scientific article; zbMATH DE number 1302872 (Why is no real title available?)
• scientific article; zbMATH DE number 749928 (Why is no real title available?)
• scientific article; zbMATH DE number 749934 (Why is no real title available?)
• Algorithmic properties of branching models
• Types of resemblance and of recursive isomorphism of partial recursive functions

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

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