scientific article; zbMATH DE number 1302872

zbMath0933.03042MaRDI QIDQ4249358

C. J. Ash

Publication date: 29 March 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items (3)

Degree spectra of relations on structures of finite computable dimension ⋮ On bi-embeddable categoricity of algebraic structures ⋮ On decidability of amenability in computable groups

This page was built for publication: