Formal universes

DOI10.1007/978-3-319-23165-5_12MaRDI QIDQ2945710zbMATH OpenOpenAlexFDO

Authors Erwin Engeler

Publication date 14 September 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-23165-5_12

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Development of contemporary mathematics (01A65) History of mathematical logic and foundations (03-03) History of computer science (68-03)

Recommendations

• Foundations of Mathematics in the Twentieth Century
• scientific article; zbMATH DE number 2101964
• A minimal computational theory of a minimal computational universe
• Universics: a theory of universes of discourse for metamathematics and foundations
• scientific article; zbMATH DE number 2248154

Cites work

• Homotopy type theory and Voevodsky's univalent foundations
• scientific article; zbMATH DE number 1818513 (Why is no real title available?)
• scientific article; zbMATH DE number 6536274 (Why is no real title available?)
• scientific article; zbMATH DE number 193711 (Why is no real title available?)
• scientific article; zbMATH DE number 722586 (Why is no real title available?)
• scientific article; zbMATH DE number 1855556 (Why is no real title available?)
• scientific article; zbMATH DE number 1855559 (Why is no real title available?)
• scientific article; zbMATH DE number 2115042 (Why is no real title available?)
• Twenty years of rewriting logic
• Universes in explicit mathematics

This page was built for publication: Formal universes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2945710)