Logical opens and real numbers in topoi

DOI10.1016/0022-4049(86)90091-5zbMath0608.18004OpenAlexW2040442714MaRDI QIDQ1086339

Eduardo J. Dubuc

Publication date: 1986

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(86)90091-5

zbMATH Keywords

localessynthetic differential geometryGrothendieck toposPenon opensgross topoireal numbers objectssheaf of Dedekind reals

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Grothendieck topologies and Grothendieck topoi (18F10) Foundations, relations to logic and deductive systems (18A15) Abstract manifolds and fiber bundles (category-theoretic aspects) (18F15)

Related Items (6)

Unnamed Item ⋮ Germ representability and local integration of vector fields in a well adapted model of SDG ⋮ Unnamed Item ⋮ Bousfield localisation and colocalisation of one-dimensional model structures ⋮ Connected Lie groupoids are internally connected and integral complete in synthetic differential geometry ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Smooth spaces versus continuous spaces in models for synthetic differential geometry
• An extension of the Galois theory of Grothendieck

This page was built for publication: Logical opens and real numbers in topoi