An Introduction to Independence for Analysts

ISBN-13: 9780521339964 / Angielski / Miękka / 1987 / 256 str.

H. G. Dales; W. H. Woodin; N. J. Hitchin

Opis

Forcing is a powerful tool from logic which is used to prove that certain propositions of mathematics are independent of the basic axioms of set theory, ZFC.