scientific article; zbMATH DE number 1174370

MaRDI QIDQ4397797zbMATH OpenFDO

Authors Qingsheng Shi, Ninggen Jiang, Wujia Zhu, Dong-Mo Zhang

Publication date 10 November 1998

zbMATH Keywords

medium logicwell-setsZFC without regularity

Mathematics Subject Classification ID

Theory of fuzzy sets, etc. (03E72)

Recommendations

• NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
• Confluence proofs of lambda-mu-calculi by Z theorem
• scientific article; zbMATH DE number 1223620
• A ``verificative proof of a Foata-Zeilberger result on bipartitional relations
• A note on the asymptotic expressiveness of ZF and ZFC
• The Structure of Z-Related Sets
• The specification logic \(\nu\mathsf{Z}\)
• A new proof of the theorem on Ohno relations for MZVs
• scientific article; zbMATH DE number 1487493
• Relating Z and first-order logic

Cited in

(1)

• scientific article; zbMATH DE number 4104944 (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 Q4397797)