Steel forcing and barwise compactness

DOI10.1016/0003-4843(82)90014-6zbMath0501.03032OpenAlexW2018938232MaRDI QIDQ3966126

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

tagstagged treesadmissible ordinalgeneralization of Steel's forcingresolvable admissible setsstrong global well-ordering principle

Mathematics Subject Classification ID

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

Related Items (4)

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

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