Skolem redux

DOI10.1305/ndjfl/1038336883zbMath1014.03503OpenAlexW4237683538MaRDI QIDQ1860974

W. D. Hart

Publication date: 5 July 2003

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1038336883

zbMATH Keywords

Hume's principlecardinal numberSkolem's paradox

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Large cardinals (03E55)

Cites Work

• The completeness of the first-order functional calculus
• Completeness in the theory of types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Skolem redux