scientific article; zbMATH DE number 1302872
From MaRDI portal
Publication:4249358
\(\alpha\)-systems\(\Delta^0_\alpha\)-categoricity\(\Delta^0_\alpha\)-stabilityback-and-forth relationsintrinsically \(\Sigma^0_\alpha\) relationsintrinsically recursive relationsisomorphism typenon-recursive structuresrecursive categoricityrecursive infinite formulaerecursive similarity typerecursive stabilityrecursive structuresrecursively isomorphic
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
- scientific article; zbMATH DE number 1414296
Cited in
(10)- Recursive automorphisms of recursive linear orderings
- Recursive versus recursively enumerable binary relations
- Degree spectra of relations on structures of finite computable dimension
- On bi-embeddable categoricity of algebraic structures
- On decidability of amenability in computable groups
- Recursive properties of isomorphism types
- A generalization of Tennenbaum's theorem on effectively finite recursive linear orderings
- scientific article; zbMATH DE number 749934 (Why is no real title available?)
- Computable structure theory of partial combinatory algebras
- Degrees of orderings not isomorphic to recursive linear orderings
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)
