A version of formalization of Cantor's set theory.

MaRDI QIDQ1432151zbMATH OpenFDO

Authors A. S. Kuzichev

Publication date 15 June 2004

Published in Doklady Mathematics (Search for Journal in Brave)

zbMATH Keywords

Cantor's set theorytwo-level calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Axiomatics of classical set theory and its fragments (03E30)

Cited in

(2)

• scientific article; zbMATH DE number 193668 (Why is no real title available?)
• scientific article; zbMATH DE number 6751874 (Why is no real title available?)

This page was built for publication: A version of formalization of Cantor's set theory.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1432151)