{"title":"用一类适当的不可分辨集理论","authors":"A. Enayat","doi":"10.4064/fm999-2-2022","DOIUrl":null,"url":null,"abstract":"We investigate an extension of ZFC set theory (in an extended language) that stipulates the existence of a proper class of indiscernibles over the universe. One of the main results of the paper shows that the purely set-theoretical consequences of this extension of ZFC coincide with the theorems of the system of set theory obtained by augmenting ZFC with the (Levy) scheme whose instances assert, for each natural number $n$ in the metatheory, that there is an $n$-Mahlo cardinal $\\kappa$ with the property that the initial segment of the universe determined by $\\kappa$ is a $\\Sigma_n$-elementary submodel of the universe.","PeriodicalId":55138,"journal":{"name":"Fundamenta Mathematicae","volume":" ","pages":""},"PeriodicalIF":0.5000,"publicationDate":"2020-08-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Set theory with a proper class of indiscernibles\",\"authors\":\"A. Enayat\",\"doi\":\"10.4064/fm999-2-2022\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We investigate an extension of ZFC set theory (in an extended language) that stipulates the existence of a proper class of indiscernibles over the universe. One of the main results of the paper shows that the purely set-theoretical consequences of this extension of ZFC coincide with the theorems of the system of set theory obtained by augmenting ZFC with the (Levy) scheme whose instances assert, for each natural number $n$ in the metatheory, that there is an $n$-Mahlo cardinal $\\\\kappa$ with the property that the initial segment of the universe determined by $\\\\kappa$ is a $\\\\Sigma_n$-elementary submodel of the universe.\",\"PeriodicalId\":55138,\"journal\":{\"name\":\"Fundamenta Mathematicae\",\"volume\":\" \",\"pages\":\"\"},\"PeriodicalIF\":0.5000,\"publicationDate\":\"2020-08-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Fundamenta Mathematicae\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.4064/fm999-2-2022\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Fundamenta Mathematicae","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.4064/fm999-2-2022","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
We investigate an extension of ZFC set theory (in an extended language) that stipulates the existence of a proper class of indiscernibles over the universe. One of the main results of the paper shows that the purely set-theoretical consequences of this extension of ZFC coincide with the theorems of the system of set theory obtained by augmenting ZFC with the (Levy) scheme whose instances assert, for each natural number $n$ in the metatheory, that there is an $n$-Mahlo cardinal $\kappa$ with the property that the initial segment of the universe determined by $\kappa$ is a $\Sigma_n$-elementary submodel of the universe.
期刊介绍:
FUNDAMENTA MATHEMATICAE concentrates on papers devoted to
Set Theory,
Mathematical Logic and Foundations of Mathematics,
Topology and its Interactions with Algebra,
Dynamical Systems.