Article,

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

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

Meta data

Tags

Users

  • @dblp

Comments and Reviews