Labelling systems and r.e. structures

DOI10.1016/0168-0072(90)90065-AMaRDI QIDQ923076zbMATH OpenOpenAlexFDO

Authors C. J. Ash

Publication date 1990

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(90)90065-a

zbMATH Keywords

\(\alpha \) -systemslabelling systemsrecursively enumerable structures

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Recommendations

• Constructions by transfinitely many workers
• Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
• Priority constructions
• Mixed systems
• Requirement systems

Cites work

• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Categoricity in hyperarithmetical degrees
• Intrinsically \(\Sigma ^ 0_{\alpha}\) relations
• Jumps of Orderings
• Model theory
• Pairs of recursive structures
• Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
• Stability of recursive structures in arithmetical degrees

Cited in

(21)

• Annual meeting of the Association for Symbolic Logic, Notre Dame, 1993
• A construction for recursive linear orderings
• A metatheorem for constructions by finitely many workers
• The isomorphism problem for computable Abelian _p-groups of bounded length
• Constructions by transfinitely many workers
• Mixed systems
• A General Framework for Priority Arguments
• Inseparability in recursive copies
• Incomparable prime ideals of recursively enumerable degrees
• Completeness of the hyperarithmetic isomorphism equivalence relation
• The property ``arithmetic-is-recursive on a cone
• Degrees of categoricity on a cone via \(\eta\)-systems
• Coding a family of sets
• Iterated priority arguments in descriptive set theory
• 1994–1995 Winter Meeting of the Association for Symbolic Logic
• 1995 Annual Meeting of the Association for Symbol Logic
• Requirement systems
• PRIORITY ARGUMENTS VIA TRUE STAGES
• Sticker systems
• Ramified systems
• Hyperarithmetical relations in expansions of recursive structures

This page was built for publication: Labelling systems and r.e. structures

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