Reddit reviews Models for Smooth Infinitesimal Analysis
We found 1 Reddit comments about Models for Smooth Infinitesimal Analysis. Here are the top ones, ranked by their Reddit score.
We found 1 Reddit comments about Models for Smooth Infinitesimal Analysis. Here are the top ones, ranked by their Reddit score.
thanks for the reply. i thought i might give some references here in case you or someone else is interested in smooth infinitesimal analysis (SIA) and synthetic differential geometry (SDG).
in the introduction by o'connor, he explains what i was getting at in my question (which was originally typed on mobiel without easy access to references). bell does the same in the below referenced primer. and that is, smooth infinitesimal analysis (and thus synthetic differential geometry) is a system which is a collection of some axioms, the adoption of intuitionistic logic, and then a model which says that the prior two things are consistent. with the logic and axioms, one can explore a lot of SIA and SDG without getting into the details of the model theory. but it's always been a curiosity of mine what that model theory is. i guess i could stop being lazy and learn it, but i'm almost not for sure i need to. i'm happy with someone saying that things are consistent and one get can on with doing SDG without having to worry about it. but there is some curiosity of what's actually going on, which i don't really understand.
further references that aren't immediately available online: