Forcing smooth square roots and integration

DOI10.4064/fm-128-3-145-158zbMath0628.51011OpenAlexW751475365MaRDI QIDQ3764798

Ieke Moerdijk, Ngo Van Que, Gonzalo E. Reyes

Publication date: 1987

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211637

zbMATH Keywords

integrationsynthetic differential geometryexistence of square roots

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Synthetic differential geometry (51K10)

Related Items (1)

Three problems concerning ideals of differentiable functions

This page was built for publication: Forcing smooth square roots and integration