An “admissible” generalization of a theorem on countable ∑11 sets of reals with applications

DOI10.1016/0003-4843(77)90008-0MaRDI QIDQ4154546zbMATHOpenAlexFDO

Authors Michael Makkai

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

Mathematics Subject Classification ID

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

Cited in

(5)

• A Tree Argument in Infinitary Model Theory
• An example concerning Scott heights
• Forcing in admissible sets
• An algebraic treatment of the Barwise compactness theory
• Applications of Fodor's lemma to Vaught's conjecture

This page was built for publication: An “admissible” generalization of a theorem on countable ∑11 sets of reals with applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4154546)