树尖强迫的各种投影

IF 0.9 1区数学 Q1 LOGIC Journal of Mathematical Logic Pub Date : 2021-09-19 DOI:10.1142/s0219061324500065

Tom Benhamou, M. Gitik, Yair Hayut

{"title":"树尖强迫的各种投影","authors":"Tom Benhamou, M. Gitik, Yair Hayut","doi":"10.1142/s0219061324500065","DOIUrl":null,"url":null,"abstract":"We study which $\\kappa$-distributive forcing notions of size $\\kappa$ can be embedded into tree Prikry forcing notions with $\\kappa$-complete ultrafilters under various large cardinal assumptions. An alternative formulation -- can the filter of dense open subsets of a $\\kappa$-distributive forcing notion of size $\\kappa$ be extended to a $\\kappa$-complete ultrafilter.","PeriodicalId":50144,"journal":{"name":"Journal of Mathematical Logic","volume":" ","pages":""},"PeriodicalIF":0.9000,"publicationDate":"2021-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"The variety of projections of a tree-prikry forcing\",\"authors\":\"Tom Benhamou, M. Gitik, Yair Hayut\",\"doi\":\"10.1142/s0219061324500065\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We study which $\\\\kappa$-distributive forcing notions of size $\\\\kappa$ can be embedded into tree Prikry forcing notions with $\\\\kappa$-complete ultrafilters under various large cardinal assumptions. An alternative formulation -- can the filter of dense open subsets of a $\\\\kappa$-distributive forcing notion of size $\\\\kappa$ be extended to a $\\\\kappa$-complete ultrafilter.\",\"PeriodicalId\":50144,\"journal\":{\"name\":\"Journal of Mathematical Logic\",\"volume\":\" \",\"pages\":\"\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2021-09-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Mathematical Logic\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1142/s0219061324500065\",\"RegionNum\":1,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Mathematical Logic","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1142/s0219061324500065","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"LOGIC","Score":null,"Total":0}

引用次数: 7

摘要

我们研究了在各种大基数假设下，哪些大小为$\kappa$的$\kapa$分布强迫概念可以嵌入到具有$\kaba$完全超滤器的树Prikry强迫概念中。另一种公式——大小为$\kappa$的分布强迫概念的稠密开子集的滤子可以扩展到$\kapa$完全超滤子吗。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

The variety of projections of a tree-prikry forcing

We study which $\kappa$-distributive forcing notions of size $\kappa$ can be embedded into tree Prikry forcing notions with $\kappa$-complete ultrafilters under various large cardinal assumptions. An alternative formulation -- can the filter of dense open subsets of a $\kappa$-distributive forcing notion of size $\kappa$ be extended to a $\kappa$-complete ultrafilter.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Journal of Mathematical Logic MATHEMATICS-LOGIC

CiteScore

1.60

自引率

11.10%

发文量

审稿时长

>12 weeks

期刊介绍： The Journal of Mathematical Logic (JML) provides an important forum for the communication of original contributions in all areas of mathematical logic and its applications. It aims at publishing papers at the highest level of mathematical creativity and sophistication. JML intends to represent the most important and innovative developments in the subject.

期刊最新文献

The descriptive complexity of the set of Poisson generic numbers Non-Galvin filters On the consistency of ZF with an elementary embedding from Vλ+2 into Vλ+2 Rings of finite Morley rank without the canonical base property The mouse set theorem just past projective