scientific article; zbMATH DE number 1302872

MaRDI QIDQ4249358zbMATH OpenFDO

Authors C. J. Ash

Publication date 29 March 2000

zbMATH Keywords

isomorphism typerecursive categoricityrecursive structuresrecursive stabilityrecursively isomorphicback-and-forth relations\(\alpha\)-systems\(\Delta^0_\alpha\)-categoricity\(\Delta^0_\alpha\)-stabilityintrinsically \(\Sigma^0_\alpha\) relationsintrinsically recursive relationsnon-recursive structuresrecursive infinite formulaerecursive similarity type

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Recommendations

• Recursive properties of isomorphism types
• scientific article; zbMATH DE number 3869317
• The relation of recursive isomorphism for countable structures
• Recursive isomorphism types of recursive Boolean algebras
• Structures for structural recursion
• On recursively enumerable structures
• Pairs of recursive structures
• Types of resemblance and of recursive isomorphism of partial recursive functions
• Recursive Structures and Ershov's Hierarchy
• Publication:4942633

Cited in

(7)

• Recursive automorphisms of recursive linear orderings
• Recursive versus recursively enumerable binary relations
• Recursive properties of isomorphism types
• Degree spectra of relations on structures of finite computable dimension
• A generalization of Tennenbaum's theorem on effectively finite recursive linear orderings
• On bi-embeddable categoricity of algebraic structures
• On decidability of amenability in computable groups

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