Foundations of mathematics in polymorphic type theory

DOI10.1023/A:1010652812660zbMath0992.03065OpenAlexW2162583822MaRDI QIDQ5950500

M. Randall Holmes

Publication date: 16 September 2002

Published in: Topoi (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1010652812660

zbMATH Keywords

NFUurelementsfoundations of mathematicsNew FoundationsTheory of Types

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Nonclassical and second-order set theories (03E70)

This page was built for publication: Foundations of mathematics in polymorphic type theory