Logical quantization of differential geometry (Q1910872)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logical quantization of differential geometry |
scientific article |
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
