scientific article; zbMATH DE number 2152231

zbMath1060.03009MaRDI QIDQ4663833

Solomon Feferman

Publication date: 4 April 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

simple type theorytheory of categoriestypical ambiguityambiguity of syntactic expressionsextension of Zermelo-Fraenkel set theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Set theory (03E99) Foundations, relations to logic and deductive systems (18A15)

Related Items

Formalising Mathematics in Simple Type Theory, The \textsc{MetaCoq} project, AXIOMS FOR DETERMINATENESS AND TRUTH, Computer theorem proving in mathematics, Towards transfinite type theory: rereading Tarski's \textit{Wahrheitsbegriff}, Feferman’s Forays into the Foundations of Category Theory