A version of [Formula: see text] -Miller forcing

We consider a version of [Formula: see text] -Miller forcing on an uncountable cardinal [Formula: see text] . We show that under [Formula: see text] this forcing collapses [Formula: see text] to [Formula: see text] and adds a [Formula: see text] -Cohen real. The same holds under the weaker assumptio...

Descripción completa

Detalles Bibliográficos
Autores principales: Mildenberger, Heike, Shelah, Saharon
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer Berlin Heidelberg 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7579305/
https://www.ncbi.nlm.nih.gov/pubmed/33122879
http://dx.doi.org/10.1007/s00153-020-00721-y
_version_ 1783598559307759616
author Mildenberger, Heike
Shelah, Saharon
author_facet Mildenberger, Heike
Shelah, Saharon
author_sort Mildenberger, Heike
collection PubMed
description We consider a version of [Formula: see text] -Miller forcing on an uncountable cardinal [Formula: see text] . We show that under [Formula: see text] this forcing collapses [Formula: see text] to [Formula: see text] and adds a [Formula: see text] -Cohen real. The same holds under the weaker assumptions that [Formula: see text] , [Formula: see text] , and forcing with [Formula: see text] collapses [Formula: see text] to [Formula: see text] .
format Online
Article
Text
id pubmed-7579305
institution National Center for Biotechnology Information
language English
publishDate 2020
publisher Springer Berlin Heidelberg
record_format MEDLINE/PubMed
spelling pubmed-75793052020-10-27 A version of [Formula: see text] -Miller forcing Mildenberger, Heike Shelah, Saharon Arch Math Log Article We consider a version of [Formula: see text] -Miller forcing on an uncountable cardinal [Formula: see text] . We show that under [Formula: see text] this forcing collapses [Formula: see text] to [Formula: see text] and adds a [Formula: see text] -Cohen real. The same holds under the weaker assumptions that [Formula: see text] , [Formula: see text] , and forcing with [Formula: see text] collapses [Formula: see text] to [Formula: see text] . Springer Berlin Heidelberg 2020-02-20 2020 /pmc/articles/PMC7579305/ /pubmed/33122879 http://dx.doi.org/10.1007/s00153-020-00721-y Text en © The Author(s) 2020 Open AccessThis article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
spellingShingle Article
Mildenberger, Heike
Shelah, Saharon
A version of [Formula: see text] -Miller forcing
title A version of [Formula: see text] -Miller forcing
title_full A version of [Formula: see text] -Miller forcing
title_fullStr A version of [Formula: see text] -Miller forcing
title_full_unstemmed A version of [Formula: see text] -Miller forcing
title_short A version of [Formula: see text] -Miller forcing
title_sort version of [formula: see text] -miller forcing
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7579305/
https://www.ncbi.nlm.nih.gov/pubmed/33122879
http://dx.doi.org/10.1007/s00153-020-00721-y
work_keys_str_mv AT mildenbergerheike aversionofformulaseetextmillerforcing
AT shelahsaharon aversionofformulaseetextmillerforcing
AT mildenbergerheike versionofformulaseetextmillerforcing
AT shelahsaharon versionofformulaseetextmillerforcing

Ejemplares similares