<div class="csl-bib-body">
<div class="csl-entry">Kellner, J. (2004). <i>Definable forcings</i> [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/177914</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/177914
-
dc.description.abstract
We present the theory of non-elementary proper forcing and apply it to preservation of positivity. We introduce a non-wellfounded iteration method for lim-sup tree-forcings and apply it to force measurability (with respect to a certain non-ccc ideal) of all definable sets, without using amalgamation or an inaccessible.
de
dc.language
English
-
dc.language.iso
en
-
dc.subject
Forcing
de
dc.title
Definable forcings
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.contributor.affiliation
TU Wien, Österreich
-
tuw.thesisinformation
Technische Universität Wien
-
dc.contributor.assistant
Goldstern, Martin
-
tuw.publication.orgunit
E118 - Institut für Formale Logik
-
dc.type.qualificationlevel
Doctoral
-
dc.identifier.libraryid
AC04297202
-
dc.description.numberOfPages
96
-
dc.thesistype
Dissertation
de
dc.thesistype
Dissertation
en
tuw.author.orcid
0000-0002-8815-7357
-
tuw.advisor.staffStatus
staff
-
tuw.assistant.staffStatus
staff
-
tuw.assistant.orcid
0000-0002-0438-633X
-
item.languageiso639-1
en
-
item.openairetype
doctoral thesis
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_db06
-
crisitem.author.dept
E104-08 - Forschungsbereich Mengenlehre
-
crisitem.author.orcid
0000-0002-8815-7357
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
