The uses of set theory
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other combinatorial set theory (03E05) Ordinal and cardinal numbers (03E10) Descriptive set theory (03E15) Consistency and independence results (03E35) Large cardinals (03E55) Applications of set theory (03E75) Structure theory of algebraic structures (08A05) Torsion-free groups, infinite rank (20K20) Normed linear spaces and Banach spaces; Banach lattices (46B99) Other homology theories in algebraic topology (55N35) Homotopy groups, general; sets of homotopy classes (55Q05)
Six examples of the use of set theory in other branches of mathematics are given, in support of the thesis that set theory is needed to do mathematics. This is presented as a drastic change from the historical position that set theory was needed only as a foundation for mathematics. The examples cover the use of combinatorial results on stationary sets and from the partition calculus, as well as uses of independence results and of absolute results obtained using independence techniques. The introduction to the paper sets out set theory as based on three truths and two beliefs, and it is not clear to this reviewer how successful this part of the exposition is; but the selection and presentation of the examples is certainly successful in supporting the main thesis.
- A Banach Space on which there are Few Operators
- A Characterization of Free Abelian Groups
- Can the Fundamental (Homotopy) Group of a Space be the Rationals?
- scientific article; zbMATH DE number 4023265 (Why is no real title available?)
- scientific article; zbMATH DE number 194765 (Why is no real title available?)
- scientific article; zbMATH DE number 4118358 (Why is no real title available?)
- Strong Homology and the Proper Forcing Axiom
- Strong Homology is Not Additive
- The left distributive law and the freeness of an algebra of elementary embeddings
- Whitehead's Problem is Undecidable
- Necessary uses of abstract set theory in finite mathematics
- Another Use of Set Theory
- scientific article; zbMATH DE number 47703 (Why is no real title available?)
- Contrary Statements About Mathematics
- Set theory and its applications in physics and computing
- Why Sets?
- On the Weihrauch degree of the additive Ramsey theorem
- Hilbert's tenth problem for term algebras with a substitution operator
- Complemented subsets and Boolean-valued, partial functions
- Defining long words succinctly in FO and MSO
- On the first-order parts of problems in the Weihrauch degrees
- Algorithmically random series
- Ideal presentations and numberings of some classes of effective quasi-Polish spaces
- Lower bounds on () and other properties of -register machines
- Reifying dynamical algebra: maximal ideals in countable rings, constructively
This page was built for publication: The uses of set theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1189874)
