Intuitionistic theory of functionals of higher type

DOI10.1007/BF01158558MaRDI QIDQ1825192zbMATH OpenFDO

Authors F. R. Kashapova

Publication date 1989

Published in Mathematical Notes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01158558

zbMATH Keywords

natural numberrecursive functiontheory of sets

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Review text

See the review in Zbl 0667.03045.

Cites work

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

Cited in

(2)

• Inner constructivizability of functional structures
• scientific article; zbMATH DE number 4173892 (Why is no real title available?)

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

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