Intuitionistic theory of functionals of higher type

DOI10.1007/BF01158558zbMath0684.03023MaRDI QIDQ1825192

F. R. Kashapova

Publication date: 1989

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

recursive functionnatural numbertheory of sets

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Cites Work

• The inconsistency of Bernini's very strong intuitionistic theory
• A very strong intuitionistic theory
• An interpretation of intuitionistic analysis
• The consistency of classical set theory relative to a set theory with intu1tionistic logic

This page was built for publication: Intuitionistic theory of functionals of higher type