On ordered pairs
From MaRDI portal
Publication:5835095
DOI10.2307/2267028zbMath0060.12414OpenAlexW2164022697MaRDI 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
An axiomatic explanation of complete self-reproduction, The categoricity question of certain grand logics, A fixed point theory over stratified truth, On the strength of a weak variant of the axiom of counting, Amphi-ZF : axioms for Conway games, Subsystems of Quine's ``New Foundations with predicativity restrictions, Definition of the concept 'vector' in set theoretic programming languages, Systems of combinatory logic related to Quine's `New Foundations'