Remarks on identity and description in first-order axiom systems

DOI10.2307/2267645zbMath0055.00403OpenAlexW2121417702WikidataQ114589261 ScholiaQ114589261MaRDI QIDQ5825660

Theodore Hailperin

Publication date: 1954

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

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

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (5)

Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory ⋮ Foundational aspects of theories of measurement ⋮ Fregean Description Theory in Proof-Theoretical Setting ⋮ Notes on the theory of variable binding term operators ⋮ Equality and lyndon's interpolation theorem

Cites Work

• On the consistency of Quine's New foundations for mathematical logic

This page was built for publication: Remarks on identity and description in first-order axiom systems