Reconsidering Ordered Pairs

DOI10.2178/bsl/1231081372zbMath1171.03028OpenAlexW2147943046MaRDI QIDQ3616436

Dominic McCarty, Dana S. Scott

Publication date: 25 March 2009

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/bsl/1231081372

zbMATH Keywords

axiom of foundationordered tuplesrank of an ordered pairrecursive definition of ordered pair

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70) Other classical set theory (including functions, relations, and set algebra) (03E20)

Related Items (4)

Unordered pairs in the set theory of Bourbaki 1949 ⋮ Ordered pair of normalized real numbers ⋮ A fixed point theory over stratified truth ⋮ Rudimentary recursion, gentle functions and provident sets

Cites Work

• Unnamed Item
• Unnamed Item
• Set theory. An introduction to independence proofs
• Two remarks on set theory
• The Empty Set, The Singleton, and the Ordered Pair

This page was built for publication: Reconsidering Ordered Pairs