On ordered pairs

DOI10.2307/2267028MaRDI QIDQ5835095zbMATH OpenOpenAlexFDO

Authors W. V. Quine

Publication date 1945

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

Full work available at URL https://doi.org/10.2307/2267028

zbMATH Keywords

set theory

Cited in

(8)

• Definition of the concept 'vector' in set theoretic programming languages
• The categoricity question of certain grand logics
• Amphi-ZF : axioms for Conway games
• On the strength of a weak variant of the axiom of counting
• An axiomatic explanation of complete self-reproduction
• Subsystems of Quine's ``New Foundations with predicativity restrictions
• A fixed point theory over stratified truth
• Systems of combinatory logic related to Quine's `New Foundations'

This page was built for publication: On ordered pairs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5835095)