Kelley-Morse+Types of well order is not a conservative extension of Kelley Morse |
| |
| Authors: | Haim Judah M Victoria Marshall |
| |
| Institution: | (1) Department of Mathematics, Bar. Ilam University, 52900 Ramat-Gan, Israel;(2) Facultad de Matemáticas, P. Universidad Católica de Chile, Casilla 6177, Carreo 22, Santiago, Chile |
| |
| Abstract: | Summary Assuming the consistency ofZF +  There is an inaccessible number of inaccessibles , we prove that Kelley Morse theory plus types is not a conservative extension of Kelley-Morse theory.This paper was partially supported by: Dirección de Investigación de la Pontificia Universidad Católica de Chile (DIUC); Fondo Nacional de Desarrollo Científico y Tecnológico (FONDECYT) |
| |
| Keywords: | 03E70 |
| 本文献已被 SpringerLink 等数据库收录！ |
|
