scientific article; zbMATH DE number 3987268

zbMATH Open0611.03023MaRDI QIDQ3751571FDOQ3751571

Rolando B. Chuaqui, William N. Reinhardt

Publication date: 1985

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

order typesclass set theorywell ordered proper classes

Mathematics Subject Classification ID

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

Cited In (10)

• Proper classes
• Type inference for set theory
• Types in class set theory and inaccessible cardinals
• Title not available (Why is that?)
• Title not available (Why is that?)
• Kelley-Morse+types of well order is not a conservative extension of Kelley Morse
• Types, Sets, and Categories
• Title not available (Why is that?)
• Types et contragrédientes
• Sets, types and type-checking

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)