A version of formalization of Cantor's set theory.

zbMATH Open1041.03506MaRDI QIDQ1432151FDOQ1432151

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)

• Title not available (Why is that?)
• Title not available (Why is that?)

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)