Listing 1 - 2 of 2 |
Sort by
|
Choose an application
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. This book explains clearly, to non-logicians, the technique of forcing and its connection with independence, and gives a full proof that a naturally arising and deep question of analysis is independent of ZFC. It provides an accessible account of this result, and it includes a discussion, of Martin's Axiom and of the independence of CH.
Forcing (Model theory) --- Independence (Mathematics) --- Axiomatic set theory. --- Model theory --- Axioms --- Logic, Symbolic and mathematical --- Set theory --- Axiomatic set theory
Choose an application
Mathematical logic --- Théorie des ensembles --- Set theory --- Forcing (Model theory) --- Independence (Mathematics) --- Axiomatic set theory --- Analyse mathématique --- Mathematical analysis --- Théorie des ensembles --- Analyse mathématique
Listing 1 - 2 of 2 |
Sort by
|