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

DOI10.1007/BF01275467zbMath0796.03055MaRDI QIDQ1322451

Haim Judah, M. Victoria Marshall

Publication date: 5 May 1994

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

conservative extensioninaccessiblesKelley-Morse theory plus types

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Related Items (1)

Types in class set theory and inaccessible cardinals

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Kelley-Morse+types of well order is not a conservative extension of Kelley Morse