Steel forcing and barwise compactness

DOI10.1016/0003-4843(82)90014-6MaRDI QIDQ3966126zbMATH OpenOpenAlexFDO

Authors Sy-David Friedman

Publication date 1982

Published in Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0003-4843(82)90014-6

zbMATH Keywords

admissible ordinalgeneralization of Steel's forcingresolvable admissible setsstrong global well-ordering principletagged treestags

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40)

Cited in

(4)

• Applications of Fodor's lemma to Vaught's conjecture
• Some recent developments in higher recursion theory
• Model theory for \(L_{\infty \omega _ 1}\)
• Projective subsets of separable metric spaces

This page was built for publication: Steel forcing and barwise compactness

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