Per citar aquest document: http://ddd.uab.cat/record/44182
Weak systems of Gandy, Jensen and Devlin
Mathias, A.R.D.
Centre de Recerca Matemàtica

Publicació: Centre de Recerca Matemàtica 2005
Col·lecció: Prepublicacions del Centre de Recerca Matemàtica ; 614
Resum: In Part I, we formulate and examine some systems that have arisen in the study of the constructible hierarchy; we find numerous transitive models for them, among which are supertransitive models containing all ordinals that show that Devlin's system BS lies strictly between Gandy's systems PZ and BST'; and we use our models to show that BS fails to handle even the simplest rudimentary functions, and is thus inadequate for the use intended for it in Devlin's treatise. In Part II we propose and study an enhancement of the underlying logic of these systems, build further models to show where the previous hierarchy of systems is preserved by our enhancement; and consider three systems that might serve for Devlin's purposes: one the enhancement of a version of BS, one a formulation of Gandy-Jensen set theory, and the third a subsystem common to those two. In Part III we give new proofs of results of Boffa by constructing three models in which, respectively, TCo, AxPair and AxSing fail; we give some sufficient conditions for a set not to belong to the rudimentary closure of another set, and thus answer a question of McAloon; and we comment on Gandy's numerals and correct and sharpen other of his observations.
Drets: Aquest document està subjecte a una llicència d'ús de Creative Commons, amb la qual es permet copiar, distribuir i comunicar públicament l'obra sempre que se'n citin l'autor original, la universitat i el centre i no se'n faci cap ús comercial ni obra derivada, tal com queda estipulat en la llicència d'ús Creative Commons
Llengua: Anglès.
Document: preprint
Matèria: Conjunts, Teoria de ; Funcions

Adreça alternativa: http://hdl.handle.net/2072/2150


76 p, 446.3 KB

El registre apareix a les col·leccions:
Documents de recerca > Prepublicacions

 Registre creat el 2009-07-13, darrera modificació el 2016-06-11



   Favorit i Compartir