Wraith, G. C. Intuitionistic algebra: Some recent developments in topos theory. (English) Zbl 0429.03049 Proc. int. Congr. Math., Helsinki 1978, Vol. 1, 331-337 (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 2 Documents MSC: 03G30 Categorical logic, topoi 03F55 Intuitionistic mathematics 18B25 Topoi Keywords:intuitionistic logic; relative spectrum; contributions of topos theory to algebra; geometric theory; classifying topos; Galois theory; Archimedean real-etale spectrum; T-redundant sentences; combinatorial functors; synthetic differential geometry Citations:Zbl 0415.00005; Zbl 0403.18005 PDF BibTeX XML OpenURL