Relatively recursive expansions

DOI10.4064/fm-140-2-137-155zbMath0809.03023OpenAlexW1603607168MaRDI QIDQ4314762

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

zbMATH Keywords

recursive structureadditional relation symbolinfinitary sentencerecursive infinitary formula

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Related Items (5)

Ramified systems ⋮ Realizing levels of the hyperarithmetic hierarchy as degree spectra of relations on computable structures ⋮ Chains and antichains in partial orderings ⋮ Coding a family of sets ⋮ Hyperarithmetical relations in expansions of recursive structures

This page was built for publication: Relatively recursive expansions