Uniform inductive definability and infinitary languages
From MaRDI portal
Publication:4152527
DOI10.2307/2272950zbMath0374.02023OpenAlexW4256444464MaRDI QIDQ4152527
Publication date: 1976
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272950
Model theory (03C99) Other infinitary logic (03C75) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items