scientific article; zbMATH DE number 3987268

MaRDI QIDQ3751571zbMATH OpenFDO

Authors William N. Reinhardt, Rolando B. Chuaqui

Publication date 1985

zbMATH Keywords

order typesclass set theorywell ordered proper classes

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30)

Recommendations

• Proper classes
• Publication:3483275
• scientific article; zbMATH DE number 29091
• The interpretation of classes in axiomatic set theory
• Sets and classes as many

Cited in

(10)

• Types, Sets, and Categories
• Kelley-Morse+types of well order is not a conservative extension of Kelley Morse
• Proper classes
• Types et contragrédientes
• Types in class set theory and inaccessible cardinals
• scientific article; zbMATH DE number 3989335 (Why is no real title available?)
• scientific article; zbMATH DE number 4154432 (Why is no real title available?)
• Type inference for set theory
• Sets, types and type-checking
• scientific article; zbMATH DE number 4041255 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3751571)