Why Sets?

DOI10.1007/978-3-540-78127-1_11zbMath1133.03347OpenAlexW2912862908MaRDI QIDQ5452179

Andreas Blass, Yuri Gurevich

Publication date: 25 March 2008

Published in: Pillars of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78127-1_11

Mathematics Subject Classification ID

Set theory (03E99) General topics in the theory of computing (68Q01) Foundations, relations to logic and deductive systems (18A15)

Related Items (2)

Why Predicative Sets? ⋮ A Natural Axiomatization of Computability and Proof of Church's Thesis

Cites Work

• Zur Axiomatik der Mengenlehre
• Combinatory logic. With two sections by William Craig.
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Can you take Solovay's inaccessible away?
• Choiceless polynomial time
• The uses of set theory
• Borel determinacy
• Structure and complexity of relational queries
• Abstract state machines and computationally complete query languages
• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• A model of set-theory in which every set of reals is Lebesgue measurable
• Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
• The inconsistency of certain formal logics
• Toward useful type-free theories. I
• The Impact of the Lambda Calculus in Logic and Computer Science
• The Empty Set, The Singleton, and the Ordered Pair
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• On Ackermann's set theory
• Eliminating the continuum hypothesis
• Ackermann's set theory equals ZF
• Higher set theory and mathematical practice
• An Unsolvable Problem of Elementary Number Theory
• A system of axiomatic set theory—Part I
• The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
• A formulation of the simple theory of types
• The combinatory foundations of mathematical logic
• Consistency of the Continuum Hypothesis. (AM-3)
• Does Mathematics Need New Axioms?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Why Sets?