An introduction to independence for analysts

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 nat...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Dales, H. G. 1944- (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Cambridge Cambridge University Press 1987
Schriftenreihe:	London Mathematical Society lecture note series 115
Schlagworte:	Forcing (Model theory) Independence (Mathematics) Axiomatic set theory Unabhängigkeit Forcing Axiom
Online-Zugang:	DE-12 DE-92 URL des Erstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!