Mixed systems
From MaRDI portal
Publication:4323050
DOI10.2307/2275711zbMath0819.03023MaRDI QIDQ4323050
Publication date: 27 August 1995
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275711
03C57: Computable structure theory, computable model theory
Related Items
Coding a family of sets, Hyperarithmetical relations in expansions of recursive structures, Ramified systems, Possible degrees in recursive copies. II
Cites Work