Why Sets?
From MaRDI portal
Publication:5452179
DOI10.1007/978-3-540-78127-1_11zbMath1133.03347OpenAlexW2912862908MaRDI QIDQ5452179
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
Set theory (03E99) General topics in the theory of computing (68Q01) Foundations, relations to logic and deductive systems (18A15)
Related Items (2)
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?