@dblp

Kelley-Morse+Types of well order is not a conservative extension of Kelley Morse.

, and . Arch. Math. Log., 33 (1): 13-21 (1994)

Links and resources

Tags