Logical and sheaf theoretic methods in the study of geometric fields in sheaf toposes over Boolean spaces and applications to Von Neumann regular rings
We investigate some properties of (geometric) fields in toposes of sheaves over Boolean spaces and establish the internal validity of a number of classical theorems from Algebraic Geometry and the theory of ordered fields. We then use our results to obtain, via sheaf representations, some know theor...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
McGill University
1984
|
| Subjects: | |
| Online Access: | http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=71928 |