Intensionality in mathematics

DOI10.1007/BF00542648zbMATH Open0558.03002MaRDI QIDQ762052FDOQ762052

Authors: Solomon Feferman 

Publication date: 1985

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

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

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)

Cites Work

• Set theoretic foundations for constructive analysis
• Arithmetization of metamathematics in a general setting
• Toward useful type-free theories. I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructive set theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The cusp catastrophe of Thom in the bifurcation of minimal surfaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• The intentionality of formal systems
• Title not available (Why is that?)
• Identity and intensionality in univalent foundations and philosophy
• Title not available (Why is that?)
• Generalizing classical and effective model theory in theories of operations and classes
• European Summer Meeting of the Association for Symbolic Logic, Hull, 1986
• Title not available (Why is that?)

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)