Models with second order properties. IV. A general method and eliminating diamonds
From MaRDI portal
Publication:762058
DOI10.1016/0168-0072(83)90013-1zbMath0558.03014MaRDI QIDQ762058
Publication date: 1983
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(83)90013-1
forcing; trees; ordered fields; problem of Saltzman; real- closed field; rigid atomic Boolean algebras
Related Items
Models with second order properties. V: A general principle, Vive la différence. II: The Ax-Kochen isomorphism theorem, Definability of initial segments, Further cardinal arithmetic