{"title":"关于强迫 \\(L(\\mathbb {R})\\)","authors":"Daniel W. Cunningham","doi":"10.1007/s00153-022-00844-4","DOIUrl":null,"url":null,"abstract":"<div><p>Given that <span>\\(L(\\mathbb {R})\\models {\\text {ZF}}+ {\\text {AD}}+{\\text {DC}}\\)</span>, we present conditions under which one can generically add new elements to <span>\\(L(\\mathbb {R})\\)</span> and obtain a model of <span>\\({\\text {ZF}}+ {\\text {AD}}+{\\text {DC}}\\)</span>. This work is motivated by the desire to identify the smallest cardinal <span>\\(\\kappa \\)</span> in <span>\\(L(\\mathbb {R})\\)</span> for which one can generically add a new subset <span>\\(g\\subseteq \\kappa \\)</span> to <span>\\(L(\\mathbb {R})\\)</span> such that <span>\\(L(\\mathbb {R})(g)\\models {\\text {ZF}}+ {\\text {AD}}+{\\text {DC}}\\)</span>.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3000,"publicationDate":"2022-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On forcing over \\\\(L(\\\\mathbb {R})\\\\)\",\"authors\":\"Daniel W. Cunningham\",\"doi\":\"10.1007/s00153-022-00844-4\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>Given that <span>\\\\(L(\\\\mathbb {R})\\\\models {\\\\text {ZF}}+ {\\\\text {AD}}+{\\\\text {DC}}\\\\)</span>, we present conditions under which one can generically add new elements to <span>\\\\(L(\\\\mathbb {R})\\\\)</span> and obtain a model of <span>\\\\({\\\\text {ZF}}+ {\\\\text {AD}}+{\\\\text {DC}}\\\\)</span>. This work is motivated by the desire to identify the smallest cardinal <span>\\\\(\\\\kappa \\\\)</span> in <span>\\\\(L(\\\\mathbb {R})\\\\)</span> for which one can generically add a new subset <span>\\\\(g\\\\subseteq \\\\kappa \\\\)</span> to <span>\\\\(L(\\\\mathbb {R})\\\\)</span> such that <span>\\\\(L(\\\\mathbb {R})(g)\\\\models {\\\\text {ZF}}+ {\\\\text {AD}}+{\\\\text {DC}}\\\\)</span>.</p></div>\",\"PeriodicalId\":48853,\"journal\":{\"name\":\"Archive for Mathematical Logic\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.3000,\"publicationDate\":\"2022-09-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Archive for Mathematical Logic\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s00153-022-00844-4\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"Arts and Humanities\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Archive for Mathematical Logic","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1007/s00153-022-00844-4","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"Arts and Humanities","Score":null,"Total":0}
Given that \(L(\mathbb {R})\models {\text {ZF}}+ {\text {AD}}+{\text {DC}}\), we present conditions under which one can generically add new elements to \(L(\mathbb {R})\) and obtain a model of \({\text {ZF}}+ {\text {AD}}+{\text {DC}}\). This work is motivated by the desire to identify the smallest cardinal \(\kappa \) in \(L(\mathbb {R})\) for which one can generically add a new subset \(g\subseteq \kappa \) to \(L(\mathbb {R})\) such that \(L(\mathbb {R})(g)\models {\text {ZF}}+ {\text {AD}}+{\text {DC}}\).
期刊介绍:
The journal publishes research papers and occasionally surveys or expositions on mathematical logic. Contributions are also welcomed from other related areas, such as theoretical computer science or philosophy, as long as the methods of mathematical logic play a significant role. The journal therefore addresses logicians and mathematicians, computer scientists, and philosophers who are interested in the applications of mathematical logic in their own field, as well as its interactions with other areas of research.