scientific article; zbMATH DE number 1174370

zbMATH Open0899.03039MaRDI QIDQ4397797FDOQ4397797

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

Publication date: 10 November 1998

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

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

zbMATH Keywords

medium logicwell-setsZFC without regularity

Mathematics Subject Classification ID

Theory of fuzzy sets, etc. (03E72)

Cited In (1)

• Title not available (Why is that?)

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)