Recursive expansions

DOI10.4064/FM-145-2-153-169MaRDI QIDQ4312354zbMATH OpenOpenAlexFDO

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

Publication date 10 November 1994

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/212040

zbMATH Keywords

decidability conditionsrankrecursive expansionrecursive structure

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Recommendations

• Relatively recursive expansions
• scientific article; zbMATH DE number 695580
• Recursive discrete functional expansion
• Hyperarithmetical relations in expansions of recursive structures
• Orthorecursive expansions and their properties
• Recursive expansions with respect to a chain of subspaces
• scientific article; zbMATH DE number 1740049

Cited in

(9)

• Sufficiency conditions for theories with recursive models
• Hyperarithmetical relations in expansions of recursive structures
• Recursive expansions with respect to a chain of subspaces
• scientific article; zbMATH DE number 4081542 (Why is no real title available?)
• scientific article; zbMATH DE number 18951 (Why is no real title available?)
• Extended Chandrasekhar recursions
• Relatively recursive expansions
• scientific article; zbMATH DE number 695580 (Why is no real title available?)
• The Complexity of intrinsically r.e. subsets of existentially decidable models

This page was built for publication: Recursive expansions

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