Unification of universes in set theory

DOI10.2307/2269102zbMath0073.25104OpenAlexW2145258425MaRDI QIDQ3235354

W. V. Quine

Publication date: 1956

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

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

zbMATH Keywords

PhilosophyFoundationsMathematical Logic

Related Items (6)

Inception of Quine's ontology ⋮ A Bit of History Related to Logic Based on Equality ⋮ A Comparison of Type Theory with Set Theory ⋮ Foundations of applied mathematics. I ⋮ Quine's conjecture on many-sorted logic ⋮ Automatic theorem proving. II

Cites Work

• New Foundations for Mathematical Logic
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic
• Unnamed Item

This page was built for publication: Unification of universes in set theory