No label defined (Q3866114)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1980
0 references
intuitionistic logic
0 references
relative spectrum
0 references
contributions of topos theory to algebra
0 references
geometric theory
0 references
classifying topos
0 references
Galois theory
0 references
Archimedean real-etale spectrum
0 references
T-redundant sentences
0 references
combinatorial functors
0 references
synthetic differential geometry
0 references