Uniform inductive definability and infinitary languages

DOI10.2307/2272950zbMath0374.02023OpenAlexW4256444464MaRDI QIDQ4152527

Anders M. Nyberg

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

Mathematics Subject Classification ID

Model theory (03C99) Other infinitary logic (03C75) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items

Countably decomposable admissible sets