Pàgina inicial > Resultats de la cerca: Weak systems of Gandy, Jensen and Devlin
  Consells de cerca
Cerca avançada
Cerca col·leccions:
Ordena'ls per: Mostrar els resultats: Format de visualizació:
Resultats globals: 1 registres trobats en 0.36 segons.
Documents de recerca, 1 registres trobats
Documents de recerca 1 registres trobats  
1.
76 p, 446.3 KB 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. [...]
Centre de Recerca Matemàtica 2005 (Prepublicacions del Centre de Recerca Matemàtica ; 614)  
Registre complet - Creative Commons

Us interessa rebre alertes sobre nous resultats d'aquesta cerca?
Definiu una alerta personal via correu electrònic o subscribiu-vos al canal RSS.
Dipòsit Digital de Documents de la UAB :: Cerca :: Lliura :: Personalitza :: Ajuda
Powered by Invenio v1.1.6
Mantingut per ddd.bib@uab.cat  :: Metadades subjectes a:
Col·laborem