Constructive theory of sets with types; compatibility with Church's thesis

zbMath0599.03061MaRDI QIDQ1080424

F. R. Kashapova

Publication date: 1984

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

second order arithmeticformalizing constructive analysisintuitionistic theory with types for sets and functions

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

This page was built for publication: Constructive theory of sets with types; compatibility with Church's thesis