On ordered pairs
From MaRDI portal
Publication:5835095
DOI10.2307/2267028zbMath0060.12414MaRDI QIDQ5835095
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
Related Items
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, Amphi-ZF : axioms for Conway games, Systems of combinatory logic related to Quine's `New Foundations', Definition of the concept 'vector' in set theoretic programming languages, The categoricity question of certain grand logics