Relatively recursive expansions

DOI10.4064/FM-140-2-137-155MaRDI QIDQ4314762zbMATH OpenOpenAlexFDO

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

Publication date 29 March 1995

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/211934, http://matwbn.icm.edu.pl/ksiazki/fm/fm140/fm14011.pdf

zbMATH Keywords

additional relation symbolinfinitary sentencerecursive infinitary formularecursive structure

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Recommendations

• scientific article; zbMATH DE number 695580
• Recursive expansions
• Hyperarithmetical relations in expansions of recursive structures
• scientific article; zbMATH DE number 18951
• A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas

Cited in

(10)

• Chains and antichains in partial orderings
• Coding a family of sets
• Hyperarithmetical relations in expansions of recursive structures
• Ramified systems
• Realizing levels of the hyperarithmetic hierarchy as degree spectra of relations on computable structures
• Recursive expansions with respect to a chain of subspaces
• A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas
• Recursive expansions
• scientific article; zbMATH DE number 695580 (Why is no real title available?)
• scientific article; zbMATH DE number 2047487 (Why is no real title available?)

This page was built for publication: Relatively recursive expansions

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