scientific article

zbMATH Open0611.03023MaRDI QIDQ3751571FDOQ3751571

Rolando B. Chuaqui, William N. Reinhardt

Publication date: 1985

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

zbMATH Keywords

order typesclass set theorywell ordered proper classes

Mathematics Subject Classification ID

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

Cited In (8)

• Type inference for set theory
• Types in class set theory and inaccessible cardinals
• 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)