Utilizad este identificador para citar o enlazar este documento: http://hdl.handle.net/2072/2150

Weak systems of Gandy, Jensen and Devlin
Mathias, A.R.D.
Centre de Recerca Matemàtica
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.
Conjunts, Teoria de
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 (http://creativecommons.org/licenses/by-nc-nd/2.5/es/)
Edición preliminar
Centre de Recerca Matemàtica
Prepublicacions del Centre de Recerca Matemàtica;614

Documentos con el texto completo de este documento

Ficheros Tamaño Formato
pr614.pdf 457.0 KB PDF

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Bagaria, Joan; Casacuberta i Vergés, Carles; Mathias, A.R.D.