<div class="csl-bib-body">
<div class="csl-entry">Lietz, A. T. (2024, May 31). <i>Characterizing sequences generic for variants of Namba forcing</i> [Conference Presentation]. 2nd Wroclaw Logic Conference, Wrocław, Poland.</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/209399
-
dc.description.abstract
There are many different variations of Namba forcing, for example the standard formulation Nm consisting of ω2-perfect trees and the variation
Nm′ ⊆ Nm of those ω2-perfect tree which split everywhere above their stem. Magidor-Shelah have shown, assuming CH, that Nm is essentially different from Nm′. Jensen proved an even stronger theorem in which he differentiates Nm and Nm′ further from the variant of Nm′ consisting of those trees in Nm′ all of whose nodes above the stem have stationarily many immediate successors. Jensen also assumed CH. We generalize these theorems by removing the CH assumption and taking into account many more variations of Namba forcing. Further, we show that all “natural” variations of Namba forcing generate extensions which are minimal conditioned on cof(ωV 2 ) = ω and moreover, we analyze exactly which and how many other sequences in such an extension are generic for a variation of Namba forcing. This answers a question of Gunter Fuchs.
en
dc.language.iso
en
-
dc.subject
Forcing
en
dc.subject
Namba forcing
en
dc.title
Characterizing sequences generic for variants of Namba forcing
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.type.category
Conference Presentation
-
tuw.researchTopic.id
A3
-
tuw.researchTopic.name
Fundamental Mathematics Research
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E104-08 - Forschungsbereich Mengenlehre
-
tuw.event.name
2nd Wroclaw Logic Conference
en
tuw.event.startdate
31-05-2024
-
tuw.event.enddate
02-06-2024
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Wrocław
-
tuw.event.country
PL
-
tuw.event.institution
Politechnika Wrocławska
-
tuw.event.presenter
Lietz, Andreas Theodor
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
5
-
wb.sciencebranch.value
95
-
item.languageiso639-1
en
-
item.openairetype
conference paper not in proceedings
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cp
-
crisitem.author.dept
E104-08 - Forschungsbereich Mengenlehre
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
