Kelley-Morse+Types of well order is not a conservative extension of Kelley Morse
Haim Judah, M. Victoria MarshallVolume:
33
Year:
1994
Language:
english
Pages:
9
Journal:
Archive for Mathematical Logic
DOI:
10.1007/bf01275467
File:
PDF, 368 KB
english, 1994