Logical quantization of differential geometry (Q1910872)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Logical quantization of differential geometry |
scientific article; zbMATH DE number 859280
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logical quantization of differential geometry |
scientific article; zbMATH DE number 859280 |
Statements
Logical quantization of differential geometry (English)
0 references
22 September 1996
0 references
See the review above.
0 references
logical quantization
0 references
differential geometry
0 references
Boolean topos theory
0 references
orthogonal category
0 references
empirical set
0 references
Boolean locale
0 references
manual
0 references
algebraic groups
0 references
smooth topoi
0 references
sheaves
0 references
0 references
0 references
0 references
0 references
