scientific article; zbMATH DE number 3843977

MaRDI QIDQ3314034zbMATH OpenFDO

Authors Anders Kock

Publication date 1983

zbMATH Keywords

De Morgan lawDubuc toposindexed familiesquantificationreduced algebrasring of line typesynthetic differential geometryZariski topos

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Topoi (18B25) Abstract manifolds and fiber bundles (category-theoretic aspects) (18F15)

Recommendations

• scientific article; zbMATH DE number 3842103
• Smooth spaces versus continuous spaces in models for synthetic differential geometry
• scientific article; zbMATH DE number 741514
• scientific article; zbMATH DE number 48990
• Reflection principles for synthetic theories of smooth manifolds
• De Morgan classifying toposes
• scientific article; zbMATH DE number 3947051
• Models for inconsistent and incomplete differential calculus
• scientific article; zbMATH DE number 1255564
• scientific article; zbMATH DE number 872103

This page was built for publication:

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