Mixed systems

DOI10.2307/2275711MaRDI QIDQ4323050zbMATH OpenOpenAlexFDO

Authors C. J. Ash, J. F. Knight

Publication date 27 August 1995

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275711

zbMATH Keywords

iterated priority argumentsworker-method

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Recommendations

• Requirement systems
• scientific article; zbMATH DE number 4150132
• Constructions by transfinitely many workers
• PRIORITY ARGUMENTS VIA TRUE STAGES
• Labelling systems and r.e. structures

Cites work

• A construction for recursive linear orderings
• Intrinsically \(\Sigma ^ 0_{\alpha}\) relations
• Labelling systems and r.e. structures
• Pairs of recursive structures
• Stability of recursive structures in arithmetical degrees

Cited in

(8)

• Coding a family of sets
• Hyperarithmetical relations in expansions of recursive structures
• Ramified systems
• Possible degrees in recursive copies. II
• A mixed neutral system
• Requirement systems
• Labelling systems and r.e. structures
• Constructions by transfinitely many workers

This page was built for publication: Mixed systems

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