scientific article; zbMATH DE number 1471901

MaRDI QIDQ4488993zbMATH OpenFDO

Authors Hengxing Liu, Jingwen Luan

Publication date 11 January 2001

zbMATH Keywords

conglomerate axiomatic systemMinimal Element TheoremPrinciple of Transfinite Inductiontwo-type ordinal numbers

Mathematics Subject Classification ID

Ordinal and cardinal numbers (03E10)

Recommendations

• Two First-Order Theories of Ordinals
• scientific article; zbMATH DE number 4039883
• Ordinals and Knuth-Bendix orders
• On some arithmetic problems of the theory of ordinal numbers
• A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM
• Ordinal numbers and the Hilbert basis theorem
• Extended operations and relations on the class of ordinal numbers
• scientific article; zbMATH DE number 16105
• Properties of ordinals in the set theory with intuitionistic logic

Cited in

(5)

• scientific article; zbMATH DE number 3857093 (Why is no real title available?)
• scientific article; zbMATH DE number 4039883 (Why is no real title available?)
• A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM
• Definition and existence theorem of the concept of ordinal numbers
• A system of axiomatic set theory. Part V. General set theory (continued)

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 Q4488993)