Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed

zbMath0248.02071MaRDI QIDQ2556402

Yehoshua Bar-Hillel, Abraham A. Fraenkel, Azriel Levy

Publication date: 1973

Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Set theory (03Exx)

Related Items (72)

Frege's double correlation thesis and Quine's set theories NF and ML ⋮ Infinite populations, choice and determinacy ⋮ On first and second countable spaces and the axiom of choice ⋮ The mereological foundation of megethology ⋮ Issues in commonsense set theory ⋮ Ordering infinite utility streams comes at the cost of a non-Ramsey set ⋮ The Philosophical Impact of the Löwenheim-Skolem Theorem ⋮ Integrating formal specifications into applications: the ProB Java API ⋮ Analysis in a formal predicative set theory ⋮ HYPERSOLVER: A graphical tool for commonsense set theory ⋮ Total boundedness and the axiom of choice ⋮ The continuity program between Cantor and nonstandard analysis. ⋮ What do we do when we do mathematics? ⋮ What is a first countable space? ⋮ An ω-hierarchy of axiom systemZF ⋮ Unnamed Item ⋮ Linguistic\(\leftrightarrow \)rational agents' semantics ⋮ How to Choose New Axioms for Set Theory? ⋮ A New Foundational Crisis in Mathematics, Is It Really Happening? ⋮ On the Axiom of Canonicity ⋮ Idempotent completions of \(n\)-exangulated categories ⋮ Dialetheias and numbers distinct from themselves ⋮ An optimization model for the student-to-project supervisor assignment problem-the case of an engineering department ⋮ Absence perception and the philosophy of zero ⋮ THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC ⋮ On one of Specker's theorems ⋮ Graham Priest's Mathematical Analysis of the Concept of Emptiness ⋮ Complex Fuzzy Sets and Complex Fuzzy Logic an Overview of Theory and Applications ⋮ Foundations and Philosophy of Mathematics in Warsaw, the School of Andrzej Mostowski and Philosophy ⋮ Logic of paradoxes in classical set theories ⋮ Note on the generality of fuzzy sets ⋮ Broadening the iterative conception of set ⋮ An introduction to the axiomatics of procedures of aggregation ⋮ Physics and the measurement of continuous variables ⋮ A hierarchy of axiom systemZF ⋮ The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting ⋮ Intergenerational equity, efficiency, and constructibility ⋮ Knowledge and communication: A first-order theory ⋮ Why non-individuality? A discussion on individuality, identity, and cardinality in the quantum context ⋮ Uncertainty, imprecision, and many-valued logics in protein bioinformatics ⋮ Interpretation and Truth in Set Theory ⋮ Conceptual realism versus Quine on classes and higher-order logic ⋮ Platitudes in mathematics ⋮ Applicable Mathematics in a Minimal Computational Theory of Sets ⋮ Toward a modal-structural interpretation of set theory ⋮ Sets and classes as many ⋮ HOW APPLIED MATHEMATICS BECAME PURE ⋮ FREGE MEETS ZERMELO: A PERSPECTIVE ON INEFFABILITY AND REFLECTION ⋮ Realism, nonstandard set theory, and large cardinals ⋮ Levy and set theory ⋮ Some set-theoretical partition theorems suggested by the structure of Spinoza's God ⋮ Causal slingshots ⋮ An anti-realist account of mathematical truth ⋮ Robinson forcing is not absolute ⋮ A Framework for Formalizing Set Theories Based on the Use of Static Set Terms ⋮ Why Sets? ⋮ Bolzano's infinite quantities ⋮ Unnamed Item ⋮ Why is the universe of sets not a set? ⋮ A Logical Framework for Developing and Mechanizing Set Theories ⋮ Constructive chaos by cellular automata and possible sources of an arrow of time ⋮ Intuitionistic typical ambiguity ⋮ Impossible worlds: A modest approach ⋮ The concepts of equivalence, equality and identity ⋮ A modern elaboration of the ramified theory of types ⋮ Fuzzy shadows ⋮ Universality and strong extensionality ⋮ A note on fuzzy union and fuzzy intersection ⋮ Formalizing Scientifically Applicable Mathematics in a Definitional Framework ⋮ Conceptions of Infinity and Set in Lorenzen’s Operationist System ⋮ Cauchy's logico-linguistic slip, the Heisenberg uncertainty principle and a semantic dilemma concerning ``Quantum gravity ⋮ The rise of non-Archimedean mathematics and the roots of a misconception. I: The emergence of non-Archimedean systems of magnitudes

This page was built for publication: Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed