Intensionality in mathematics

DOI10.1007/BF00542648zbMath0558.03002MaRDI QIDQ762052

Solomon Feferman

Publication date: 1985

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

intensionalityconstructive theorieslaw of the excluded middleintensional set-theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65)

Related Items

Identity and intensionality in univalent foundations and philosophy, European Summer Meeting of the Association for Symbolic Logic, Hull, 1986, Generalizing classical and effective model theory in theories of operations and classes

Cites Work

• The cusp catastrophe of Thom in the bifurcation of minimal surfaces
• Set theoretic foundations for constructive analysis
• Arithmetization of metamathematics in a general setting
• Toward useful type-free theories. I
• Constructive set theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item