Mixed systems

DOI10.2307/2275711zbMath0819.03023OpenAlexW2913228190MaRDI QIDQ4323050

C. J. Ash, Julia 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)

Related Items (4)

Ramified systems ⋮ Possible degrees in recursive copies. II ⋮ Coding a family of sets ⋮ Hyperarithmetical relations in expansions of recursive structures

Cites Work

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

This page was built for publication: Mixed systems