# The empty set, the singleton, and the ordered pair

@article{Kanamori2003TheES, title={The empty set, the singleton, and the ordered pair}, author={Akihiro Kanamori}, journal={Bull. Symb. Log.}, year={2003}, volume={9}, pages={273-298} }

For the modern set theorist the empty set O, the singleton { a }, and the ordered pair 〈 x, y 〉 are at the beginning of the systematic, axiomatic development of set theory, both as a field of mathematics and as a unifying framework for ongoing mathematics. These notions are the simplest building locks in the abstract, generative conception of sets advanced by the initial axiomatization of Ernst Zermelo [1908a] and are quickly assimilated long before the complexities of Power Set, Replacement…

## 42 Citations

On the Onto-Epistemological Status of the Empty Set and the Pure Singleton

- PhilosophyAxiomathes
- 2021

This article discusses the quiddity of the empty set from its epistemological and linguistic aspects. It consists of four parts. The first part compares the concept of nihil privativum and the empty…

Natural Logicism via the Logic of Orderly Pairing

- Philosophy
- 2009

The aim here is to describe how to complete the constructive logicist program, in the author’s book Anti-Realism and Logic, of deriving all the Peano–Dedekind postulates for arithmetic within a…

Adding an Abstraction Barrier to ZF Set Theory

- Mathematics, Computer ScienceCICM
- 2020

ZFP is presented: a modification of ZF that has ordered pairs as primitive, non-set objects free of any notion of representation and a proof in ZF (machine-checked in Isabelle/ZF) of the existence of a model for ZFP, which implies that ZFP is consistent if ZF is.

Reconsidering Ordered Pairs

- MathematicsBulletin of Symbolic Logic
- 2008

A recursive definition of ordered pair is proposed which addresses this shortcoming of the Wiener-Kuratowski explicit definition and also naturally generalizes to ordered tuples of greater length.

AN AXIOMATIC THEORY OF WELL-ORDERINGS

- EconomicsThe Review of Symbolic Logic
- 2011

We introduce a new simple first-order framework for theories whose objects are well-orderings (lists). A system ALT (axiomatic list theory) is presented and shown to be equiconsistent with ZFC…

First Steps in Pointfree Functional Dependency Theory ( D RAFT OF O CTOBER 27 , 2005 )

- Computer Science
- 2005

The theory of functional dependencies, which is central to such database design techniques, is addressed in a pointfree style instead of reasoning in the standard set-theoretic model “à la Codd” and it turns out that the theory becomes more general and considerably simpler.

The Axioms of Zermelo–Fraenkel Set Theory

- Philosophy
- 2012

In the middle and late 19th century, members of the then small mathematical community began to look for a rigorous foundation of Mathematics, but at the time it was not clear what assumptions should be made and what operations should be allowed in mathematical reasoning.

Tuples all the Way Down

- Philosophy
- 2018

The difficulty is posing the worry that abstraction fails to introduce expressions which refer determinately to the requisite sort of object, and a solution is proposed which appeals to a plausible constraint on the introduction of new expressions to a language.

First Steps in Pointfree Functional Dependency Theory ( D RAFT OF M AY 14 , 2005 )

- Computer Science

The theory of functional dependencies, which is central to such database design techniques, is addressed in a pointfree style instead of reasoning in the standard set-theoretic model “à la Codd” and it turns out that the theory becomes more general and considerably simpler.

## References

SHOWING 1-10 OF 100 REFERENCES

A System of Axiomatic Set Theory-Part VI

- MathematicsJ. Symb. Log.
- 1948

This chapter defines a function to be a class of pairs in which different elements always have different first members such that, to every element a of its domain there is a unique element b of its converse domain determined by the condition 〈 a, b 〉 ηF .

The Mathematical Import of Zermelo's Well-Ordering Theorem

- ArtBulletin of Symbolic Logic
- 1997

The seminal results of set theory are woven together in terms of a unifying mathematical motif, one whose transmutations serve to illuminate the historical development of the subject.

From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931

- Philosophy
- 1967

The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for the first time. Modern logic, heralded…

Animadversion on the Null Class

- MathematicsPhilosophy of Science
- 1943

A term and its contradictory exhaust the universe of discourse, but when examined for their relation to each other, I believe they are seen to exhaust that universe in a more particular respect than…

Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics

- ArtThe Mathematical Gazette
- 2000

This book, written from the point of view of a historian of logic, painstakingly plots the gradual emergence of the axiomatic theory of sets as an independent study from the time when the set concept…

Nine Letters from Giuseppe Peano to Bertrand Russell

- History
- 1975

PRESERVED IN THE BERTRAND RUSSELL ARCHIVES at McMaster University (Hamilton, Ontario) are nine letters from Giuseppe Peano to Bertrand Russell, covering the period from 1901 to 1912. ~ The first was…

Selected Logic Papers

- Philosophy
- 1966

Whitehead and the Rise of Modern Logic (1941) Logic, Symbolic (1954) A Method of Generating Part of Arithmetic Without Use of Intuitive Logic (1934) Definition of Substitution (1936) Concatenation as…

Bertrand Russell and the Origins of the Set-theoretic ‘Paradoxes’

- Philosophy
- 1991

I. Antecedents.- II. A standard interpretation.- III. The philosophical and mathematical background to The Principles of Mathematics, 1872-1900.- IV. Russell's discovery of the 'paradoxes'.- V. The…

Zermelo's Axiom of Choice: Its Origins, Development, and Influence

- Economics
- 1982

Prologue.- 1 The Prehistory of the Axiom of Choice.- 1.1 Introduction.- 1.2 The Origins of the Assumption.- 1.3 The Boundary between the Finite and the Infinite.- 1.4 Cantor's Legacy of Implicit…