A nominalistic proof of the conservativeness of set theory
From MaRDI portal
Publication:1187976
DOI10.1007/BF00248634zbMath0767.03004MaRDI QIDQ1187976
Publication date: 3 August 1992
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Philosophy of mathematics (00A30) Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Set theory (03E99)
Related Items (4)
New directions for nominalist philosophers of mathematics ⋮ The enhanced indispensability argument, the circularity problem, and the interpretability strategy ⋮ What the Applicability of Mathematics Says About Its Philosophy ⋮ Mathematical instrumentalism meets the conjunction objection
This page was built for publication: A nominalistic proof of the conservativeness of set theory