Recursive expansions
From MaRDI portal
Publication:4312354
DOI10.4064/FM-145-2-153-169zbMath0860.03031OpenAlexW4238463433MaRDI QIDQ4312354
Publication date: 10 November 1994
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/212040
Computable structure theory, computable model theory (03C57) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
This page was built for publication: Recursive expansions