KELLEY-MORSE PLUS TYPES OF WELL ORDER IS NOT A CONSERVATIVE EXTENSION OF KELLEY-MORSE
No Thumbnail Available
Date
1994
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Assuming the consistency of ZF + ''There is an inaccessible number of inaccessibles'', we prove that Kelley Morse theory plus types is not a conservative extension of Kelley-Morse theory.