An approach to the constructivization of Cantor's set theory

DOI10.1007/BF01404104zbMath0449.03060MaRDI QIDQ1147138

L. N. Gordeev

Publication date: 1981

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

zbMATH Keywords

constructivization of Cantor's set theoryhyperarithmetic languages

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Set theory (03E99)

Cites Work

• Constructive set theory
• The consistency of classical set theory relative to a set theory with intu1tionistic logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An approach to the constructivization of Cantor's set theory