Mathematical structures within simple type theory

DOI10.1007/S11225-024-10133-1MaRDI QIDQ6903903zbMATH OpenFDO

Authors Samuel González-Castillo

Publication date 7 November 2025

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S11225-024-10133-1

zbMATH Keywords

higher-order logicmathematical structuresNFU set theorysimple type theory

Mathematics Subject Classification ID

Higher-order logic (03B16) Type theory (03B38) Applications of set theory (03E75)

Cites work

• A formulation of the simple theory of types.
• A reduction of the axioms for the theory of prepositional types
• A simple type theory with partial functions and subtypes
• A theory of prepositional types
• An introduction to mathematical logic and type theory: To truth through proof.
• Homotopy type theory. Univalent foundations of mathematics
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 3485174 (Why is no real title available?)
• scientific article; zbMATH DE number 1989717 (Why is no real title available?)
• scientific article; zbMATH DE number 1450821 (Why is no real title available?)
• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• Structures mères: semantics, mathematics, and cognitive science
• The Cardinal Squaring Principle and an Alternative Axiomatization of NFU
• The seven virtues of simple type theory

This page was built for publication: Mathematical structures within simple type theory

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