Intensional positive set theory

MaRDI QIDQ3377760zbMATH OpenFDO

Authors Roland Hinnion

Publication date 29 March 2006

zbMATH Keywords

forcingpure term model

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Relative consistency and interpretations (03F25)

Recommendations

• Intensional positive and paradoxical set theory
• Intensional solutions to the identity problem for partial sets
• scientific article; zbMATH DE number 2070194
• scientific article; zbMATH DE number 3950520
• scientific article; zbMATH DE number 2115803

Cited in

(6)

• There is a Forster term model of simple type theory
• scientific article; zbMATH DE number 3950520 (Why is no real title available?)
• scientific article; zbMATH DE number 2070194 (Why is no real title available?)
• scientific article; zbMATH DE number 2115803 (Why is no real title available?)
• Intensional positive and paradoxical set theory
• Intensional solutions to the identity problem for partial sets

This page was built for publication: Intensional positive set theory

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