An “admissible” generalization of a theorem on countable ∑11 sets of reals with applications
From MaRDI portal
Publication:4154546
DOI10.1016/0003-4843(77)90008-0zbMath0376.02031OpenAlexW2007750284MaRDI QIDQ4154546
Publication date: 1977
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(77)90008-0
Model theory (03C99) Other infinitary logic (03C75) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (5)
An example concerning Scott heights ⋮ A Tree Argument in Infinitary Model Theory ⋮ Applications of Fodor's lemma to Vaught's conjecture ⋮ An algebraic treatment of the Barwise compactness theory ⋮ Forcing in admissible sets
This page was built for publication: An “admissible” generalization of a theorem on countable ∑11 sets of reals with applications
