Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic最新文献

Decidable and Undecidable Theories 可判定理论和不可判定理论

Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic Pub Date : 2022-02-01 DOI: 10.1142/9789811243851_0007

引用次数: 0

Algorithmic Randomness 算法的随机性

Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic Pub Date : 2022-02-01 DOI: 10.1142/9789811243851_0008

引用次数: 0

Nonstandard Numbers 非标准数字

Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic Pub Date : 2022-02-01 DOI: 10.1142/9789811243851_0009

引用次数: 0

Propositional Logic 命题逻辑

Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic Pub Date : 2022-02-01 DOI: 10.1142/9789811243851_0002

R. Lewis

引用次数: 0

Models of Predicate Logic 谓词逻辑模型

Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic Pub Date : 2022-02-01 DOI: 10.1142/9789811243851_0004

引用次数: 0

Foundations of Geometry 几何基础

Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic Pub Date : 2022-02-01 DOI: 10.1142/9789811243851_0010

L. Clarke

引用次数: 0

Models of Set Theory 集合论模型

Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic Pub Date : 2020-04-01 DOI: 10.1142/9789811201936_0008

P. Koepke

引用次数: 0

Zermelo–Fraenkel Set Theory Zermelo-Fraenkel集合理论

Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic Pub Date : 2020-04-01 DOI: 10.1142/9789811201936_0003

James T Smith

{"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}

引用次数: 0

Cardinality and the Axiom of Choice 基数与选择公理

Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic Pub Date : 2020-04-01 DOI: 10.1142/9789811201936_0006

引用次数: 0

BACK MATTER 回到问题

Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic Pub Date : 2020-04-01 DOI: 10.1142/9789811201936_bmatter

引用次数: 0