Intensionality in mathematics

DOI10.1007/BF00542648MaRDI QIDQ762052zbMATH OpenFDO

Authors Solomon Feferman

Publication date 1985

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

zbMATH Keywords

constructive theoriesintensionalitylaw 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)

Recommendations

• scientific article; zbMATH DE number 3891352
• scientific article; zbMATH DE number 2236680
• scientific article; zbMATH DE number 1104398
• scientific article; zbMATH DE number 3950520
• Identity and intensionality in univalent foundations and philosophy

Cites work

• scientific article; zbMATH DE number 3815601 (Why is no real title available?)
• scientific article; zbMATH DE number 3924774 (Why is no real title available?)
• scientific article; zbMATH DE number 3687373 (Why is no real title available?)
• scientific article; zbMATH DE number 3556031 (Why is no real title available?)
• scientific article; zbMATH DE number 3568615 (Why is no real title available?)
• scientific article; zbMATH DE number 3595177 (Why is no real title available?)
• scientific article; zbMATH DE number 3621713 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• Arithmetization of metamathematics in a general setting
• Constructive set theory
• Set theoretic foundations for constructive analysis
• The cusp catastrophe of Thom in the bifurcation of minimal surfaces
• Toward useful type-free theories. I

Cited in

(7)

• European Summer Meeting of the Association for Symbolic Logic, Hull, 1986
• The intentionality of formal systems
• Generalizing classical and effective model theory in theories of operations and classes
• Identity and intensionality in univalent foundations and philosophy
• scientific article; zbMATH DE number 6174934 (Why is no real title available?)
• scientific article; zbMATH DE number 2236680 (Why is no real title available?)
• scientific article; zbMATH DE number 3891352 (Why is no real title available?)

This page was built for publication: Intensionality in mathematics

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