scientific article; zbMATH DE number 1302872
zbMATH Open0933.03042MaRDI QIDQ4249358FDOQ4249358
Authors: C. J. Ash 
Publication date: 29 March 2000
Title of this publication is not available (Why is that?)
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
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
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)
Cited In (7)
- On decidability of amenability in computable groups
- Degree spectra of relations on structures of finite computable dimension
- Recursive versus recursively enumerable binary relations
- On bi-embeddable categoricity of algebraic structures
- Recursive automorphisms of recursive linear orderings
- Recursive properties of isomorphism types
- A generalization of Tennenbaum's theorem on effectively finite 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)
