Pub Date : 2022-02-01DOI: 10.1142/9789811243851_0007
{"title":"Decidable and Undecidable Theories","authors":"","doi":"10.1142/9789811243851_0007","DOIUrl":"https://doi.org/10.1142/9789811243851_0007","url":null,"abstract":"","PeriodicalId":114605,"journal":{"name":"Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126829875","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-02-01DOI: 10.1142/9789811243851_0008
{"title":"Algorithmic Randomness","authors":"","doi":"10.1142/9789811243851_0008","DOIUrl":"https://doi.org/10.1142/9789811243851_0008","url":null,"abstract":"","PeriodicalId":114605,"journal":{"name":"Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130473394","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-02-01DOI: 10.1142/9789811243851_0009
{"title":"Nonstandard Numbers","authors":"","doi":"10.1142/9789811243851_0009","DOIUrl":"https://doi.org/10.1142/9789811243851_0009","url":null,"abstract":"","PeriodicalId":114605,"journal":{"name":"Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic","volume":"2013 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121391088","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-02-01DOI: 10.1142/9789811243851_0002
R. Lewis
{"title":"Propositional Logic","authors":"R. Lewis","doi":"10.1142/9789811243851_0002","DOIUrl":"https://doi.org/10.1142/9789811243851_0002","url":null,"abstract":"","PeriodicalId":114605,"journal":{"name":"Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124059262","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-02-01DOI: 10.1142/9789811243851_0004
{"title":"Models of Predicate Logic","authors":"","doi":"10.1142/9789811243851_0004","DOIUrl":"https://doi.org/10.1142/9789811243851_0004","url":null,"abstract":"","PeriodicalId":114605,"journal":{"name":"Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125166121","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-02-01DOI: 10.1142/9789811243851_0010
L. Clarke
{"title":"Foundations of Geometry","authors":"L. Clarke","doi":"10.1142/9789811243851_0010","DOIUrl":"https://doi.org/10.1142/9789811243851_0010","url":null,"abstract":"","PeriodicalId":114605,"journal":{"name":"Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122316089","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-04-01DOI: 10.1142/9789811201936_0008
P. Koepke
Transitive models of set theory, the relative consistency of the axiom of choice using the hereditarily ordinal definable sets, forcing conditions and generic filters, generic extensions, ZFC holds in generic extensions, the relative consistency of the continuum hypothesis and of the negation of the continuum hypothesis, possible behaviours of the function 2, the relative consistency of the negation of the axiom of choice.
{"title":"Models of Set Theory","authors":"P. Koepke","doi":"10.1142/9789811201936_0008","DOIUrl":"https://doi.org/10.1142/9789811201936_0008","url":null,"abstract":"Transitive models of set theory, the relative consistency of the axiom of choice using the hereditarily ordinal definable sets, forcing conditions and generic filters, generic extensions, ZFC holds in generic extensions, the relative consistency of the continuum hypothesis and of the negation of the continuum hypothesis, possible behaviours of the function 2, the relative consistency of the negation of the axiom of choice.","PeriodicalId":114605,"journal":{"name":"Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128541969","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-04-01DOI: 10.1142/9789811201936_0003
James T Smith
The units on set theory and logic have used ZF set theory without specifying precisely what it is. To investigate which arguments are possible in ZF and which not, you must have a precise description of it. A major question asked during the development of ZF was what system of logic should be used as its framework. Logicians eventually agreed that the framework itself should not depend very much on set-theoretic reasoning. Investigators could then focus on the difficult problems of set theory: there would be little interplay between the framework and the subject under study. During 1920–1940, first-order logic crystallized as a convenient framework for the study of algebraic structures. Applying it does not require use of techniques commonly regarded as set-theoretic. Moreover, the Gödel completeness theorem shows that it encompasses (but doesn't necessarily simulate) many arguments that mathematicians commonly use to prove theorems expressed in a first-order language. Thus, to facilitate investigation of the scope of set theory, it seems appropriate to express it in a first-order language, and restrict it to use logic that is compatible with the first-order framework. When we apply set theory formulated that way, we can highlight the use of its major principles. They're explicitly stated in first-order set-theoretic axioms, and explicitly mentioned in first-order proofs. To be sure, some very elementary parts of set theory are involved in the underlying logical framework, necessary even to formulate those axioms and proofs. But the more powerful set-theoretic principles are displayed conspicuously. ZF is formulated in a first-order theory with minimal apparatus: • countably many variables, which we regard as varying over all sets; • no constants; • no operators; • just two predicates, equality and the binary membership predicate 0. The nonlogical axioms of ZF can be reduced to a small number, as follows. extensionality power set choice separation pair set foundation replacement union infinity The ZF axioms are kept to the minimum number in order to simplify studies of their properties. The list can be pared even further by deriving some axioms from others, but those arguments are uninformative. Each of these axioms is stated below in detail, with some remarks to show how the axioms are used to develop formally the set theory used in the various other units.
{"title":"Zermelo–Fraenkel Set Theory","authors":"James T Smith","doi":"10.1142/9789811201936_0003","DOIUrl":"https://doi.org/10.1142/9789811201936_0003","url":null,"abstract":"The units on set theory and logic have used ZF set theory without specifying precisely what it is. To investigate which arguments are possible in ZF and which not, you must have a precise description of it. A major question asked during the development of ZF was what system of logic should be used as its framework. Logicians eventually agreed that the framework itself should not depend very much on set-theoretic reasoning. Investigators could then focus on the difficult problems of set theory: there would be little interplay between the framework and the subject under study. During 1920–1940, first-order logic crystallized as a convenient framework for the study of algebraic structures. Applying it does not require use of techniques commonly regarded as set-theoretic. Moreover, the Gödel completeness theorem shows that it encompasses (but doesn't necessarily simulate) many arguments that mathematicians commonly use to prove theorems expressed in a first-order language. Thus, to facilitate investigation of the scope of set theory, it seems appropriate to express it in a first-order language, and restrict it to use logic that is compatible with the first-order framework. When we apply set theory formulated that way, we can highlight the use of its major principles. They're explicitly stated in first-order set-theoretic axioms, and explicitly mentioned in first-order proofs. To be sure, some very elementary parts of set theory are involved in the underlying logical framework, necessary even to formulate those axioms and proofs. But the more powerful set-theoretic principles are displayed conspicuously. ZF is formulated in a first-order theory with minimal apparatus: • countably many variables, which we regard as varying over all sets; • no constants; • no operators; • just two predicates, equality and the binary membership predicate 0. The nonlogical axioms of ZF can be reduced to a small number, as follows. extensionality power set choice separation pair set foundation replacement union infinity The ZF axioms are kept to the minimum number in order to simplify studies of their properties. The list can be pared even further by deriving some axioms from others, but those arguments are uninformative. Each of these axioms is stated below in detail, with some remarks to show how the axioms are used to develop formally the set theory used in the various other units.","PeriodicalId":114605,"journal":{"name":"Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125321429","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-04-01DOI: 10.1142/9789811201936_0006
{"title":"Cardinality and the Axiom of Choice","authors":"","doi":"10.1142/9789811201936_0006","DOIUrl":"https://doi.org/10.1142/9789811201936_0006","url":null,"abstract":"","PeriodicalId":114605,"journal":{"name":"Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic","volume":"177 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131877856","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-04-01DOI: 10.1142/9789811201936_bmatter
{"title":"BACK MATTER","authors":"","doi":"10.1142/9789811201936_bmatter","DOIUrl":"https://doi.org/10.1142/9789811201936_bmatter","url":null,"abstract":"","PeriodicalId":114605,"journal":{"name":"Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133172535","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：