<div class="csl-bib-body">
<div class="csl-entry">Baumhauer, T. (2015). <i>Survey of independence results in set theory</i> [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.31900</div>
</div>
-
dc.identifier.uri
https://doi.org/10.34726/hss.2015.31900
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/4078
-
dc.description
Zusammenfassung in deutscher Sprache
-
dc.description
Titelübersetzung des Autors: Survey of Independence Results in Set Theory
-
dc.description.abstract
Im ersten Kapitel zeigen wir, dass, wenn ZFC widerspruchsfrei ist, auch ZFC plus ZFC relativiert auf eine abzählbare, transitive Menge widerspruchsfrei ist. Um das zu beweisen zeigen wir, dass jede Formel in einer abzählbaren, transitiven Menge reflektiert wird und verwenden ein Kompaktheitsargument. Im zweiten Kapitel entwickeln wir die Forcing-Methode von Cohen. Wir benutzen dazu Boolsche Algebren. Wir zeigen wie man Halbordnungen in Boolsche Algebren einbettet, definieren Modelle von ZFC mit Boolschen Wahrheitswerten und zeigen wie aus solchen Modellen, durch Ausfaktorisieren nach einem generischen Filter, gewöhnliche Modelle mit binären Wahrheitswerten werden. Schließlich beweisen wir das Forcing-Theorem. In den folgenden Kapiteln zeigen wir die Unabhängigkeit verschiedener Aussagen von ZFC. Darunter sind die Kontinuumshypothese, die Suslin-Hypothese und das Karo-Prinzip. Weiters zeigen wir, wie man die Forcing-Methode transfinit wiederholt. Schließlich benutzen wir die wiederholte Forcing-Methode um die Widerspruchsfreiheit des Martinschen Axioms zu beweisen.
de
dc.description.abstract
In the first chapter we show that if ZFC is consistent then so is ZFC plus its relativization to a countable, transitive set. To do this we prove a theorem that shows that every formula is reflected in a countable transitive set and then use a compactness argument. In the second chapter we develop Cohen-s forcing method using Boolean algebras. We show how partial orders can be embedded into Boolean algebras, define Boolean-valued models of set theory and show how Boolean-valued models can be turned into regular two-valued models by factoring with a generic filter. Finally we prove the forcing theorem. In the following chapters we prove the independence of various statements from ZFC, using the forcing method. Among them are the continuum hypothesis, the Suslin-hypothesis and the Diamond-principle. Furthermore we show various implications between these statements. We then show how to iterated the forcing method a transfinite number of times. Finally we employ this method of iterated forcing to prove the consistency of Martin's axiom.
en
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Forcing
de
dc.subject
Mengenlehre
de
dc.subject
Suslin-Baum
de
dc.subject
Martins Axiom
de
dc.subject
Karo (Mengenlehre)
de
dc.subject
EN: forcing
en
dc.subject
set theory
en
dc.subject
Suslin tree
en
dc.subject
Martin's axiom
en
dc.subject
diamond (set theory)
en
dc.title
Survey of independence results in set theory
en
dc.title.alternative
Überblick über Unabhängigkeitsresultate in der Mengenlehre
de
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.rights.license
In Copyright
en
dc.rights.license
Urheberrechtsschutz
de
dc.identifier.doi
10.34726/hss.2015.31900
-
dc.contributor.affiliation
TU Wien, Österreich
-
dc.rights.holder
Thomas Baumhauer
-
dc.publisher.place
Wien
-
tuw.version
vor
-
tuw.thesisinformation
Technische Universität Wien
-
tuw.publication.orgunit
E104 - Institut für Diskrete Mathematik und Geometrie
-
dc.type.qualificationlevel
Diploma
-
dc.identifier.libraryid
AC12685052
-
dc.description.numberOfPages
63
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:1-82335
-
dc.thesistype
Diplomarbeit
de
dc.thesistype
Diploma Thesis
en
dc.rights.identifier
In Copyright
en
dc.rights.identifier
Urheberrechtsschutz
de
tuw.advisor.staffStatus
staff
-
tuw.advisor.orcid
0000-0002-0438-633X
-
item.fulltext
with Fulltext
-
item.grantfulltext
open
-
item.cerifentitytype
Publications
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cf
-
item.openairetype
Thesis
-
item.openairetype
Hochschulschrift
-
item.openaccessfulltext
Open Access
-
crisitem.author.dept
E104-01 - Forschungsbereich Algebra
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie