scientific article; zbMATH DE number 4091499

MaRDI QIDQ3819065zbMATH OpenFDO

Authors F. R. Kashapova

Publication date 1989

zbMATH Keywords

natural numberrecursive functiontheory of sets

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Recommendations

• A strong multi-typed intuitionistic theory of functionals
• On the proof theory of type two functionals based on primitive recursive operations
• A generalization of Beth model to functionals of high types
• Computable functionals and arithmetic of ordinal types
• scientific article; zbMATH DE number 1289488

Cited in

(4)

• Computable functionals and arithmetic of ordinal types
• Inner constructivizability of functional structures
• scientific article; zbMATH DE number 4173892 (Why is no real title available?)
• A strong multi-typed intuitionistic theory of functionals

This page was built for publication:

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