Sufficiency conditions for theories with recursive models

DOI10.1016/0168-0072(92)90040-7zbMath0754.03025OpenAlexW1997083664MaRDI QIDQ1184717

Kelleen R. Hurlburt

Publication date: 28 June 1992

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(92)90040-7

zbMATH Keywords

recursive modelrecursive linear orderings\(\alpha\)-friendly systemsdecidability conditionsrecursive labelling systems

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Pairs of recursive structures
• Stability of recursive structures in arithmetical degrees
• Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees

This page was built for publication: Sufficiency conditions for theories with recursive models