On the necessary use of abstract set theory

DOI10.1016/0001-8708(81)90021-9zbMath0483.03030OpenAlexW2093587077MaRDI QIDQ1163016

Harvey M. Friedman

Publication date: 1981

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0001-8708(81)90021-9

zbMATH Keywords

Zermelo-Fraenkel set theoryBorel determinacyBorel diagonalization theorem for arbitrary Borel equivalence relationsBorel functions of several variables from the Hilbert cube into the unit interval or back into the Hilbert cubeBorel Ramsey theoremsfinitely Borel setsfixed point type theorems for Borel functions defined on a Borel quasi orderiterations of the power set operationMorse-Kelly theory of classes

Mathematics Subject Classification ID

Consistency and independence results (03E35) Axiomatics of classical set theory and its fragments (03E30)

Related Items

Necessary uses of abstract set theory in finite mathematics, Regressive Partition Relations for Infinite Cardinals, A game-theoretic equivalence to the Hahn-Banach theorem, Regressive partitions and Borel diagonalization, In Praise of Replacement, Regressive partition relations, \(n\)-subtle cardinals, and Borel diagonalization, A Borel reductibility theory for classes of countable structures, Does Mathematics Need New Axioms?, Does Mathematics Need New Axioms?, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, On the independence of core-equivalence results from Zermelo-Fraenkel set theory, An absoluteness principle for Borel sets, Another Use of Set Theory

Cites Work

• Borel determinacy
• Symmetric Measures on Cartesian Products
• A Partition Theorem For Perfect Sets
• Analytic determinacy and 0^#
• Higher set theory and mathematical practice
• Measurable cardinals and analytic games
• A Partition Property Characterizing Cardinals Hyperinaccessible of Finite Type
• Unnamed Item