Return to search

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 theorems about (von Neumann) regular rings as well as some new theorems for regular f-rings. By contrast with previous investigations in these last two subjects (Saracino and Weispfenning {39} and van den Dries {42}) a more natural approach, inspired by work of Macintyre {30}, Loullis {29}, Bunge-Reyes {7} and Bunge {4},{5} is employed here. In addition to sheaf theoretic methods we use a variety of logical methods from geometric logic, infinitary intuitionistic logic and model theory. We also prove some new theorems on the transfer of subobjects along certain morphisms and a "lifting theorem" taking truth from statements about global sections to their internal validity.

Identiferoai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QMM.71928
Date January 1984
CreatorsMacCaull, Wendy Alwilda.
PublisherMcGill University
Source SetsLibrary and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada
LanguageEnglish
Detected LanguageEnglish
TypeElectronic Thesis or Dissertation
Formatapplication/pdf
CoverageDoctor of Philosophy (Department of Mathematics and Statistics.)
RightsAll items in eScholarship@McGill are protected by copyright with all rights reserved unless otherwise indicated.
Relationalephsysno: 000216826, proquestno: AAINK66671, Theses scanned by UMI/ProQuest.

Page generated in 0.0016 seconds