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

DOI10.1016/0003-4843(77)90008-0zbMATH Open0376.02031OpenAlexW2007750284MaRDI QIDQ4154546FDOQ4154546

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)

• Applications of Fodor's lemma to Vaught's conjecture
• A Tree Argument in Infinitary Model Theory
• An example concerning Scott heights
• 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

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