Isomorphisms between HEO and HROE, ECF and ICFE

DOI10.2307/2274222zbMATH Open0578.03029OpenAlexW1994569039MaRDI QIDQ3699686FDOQ3699686

Authors Marc Bezem

Publication date 1985

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274222

zbMATH Keywords

constructive mathematicsextensional equalityextensional effective operations

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Recommendations

• Higher-order computability
• scientific article; zbMATH DE number 3993572
• Isomorphism property in nonstandard extensions of the \(\mathbf Z\mathbf F\mathbf C\) universe
• On the ubiquity of certain total type structures
• The hereditary partial effective functionals and recursion theory in higher types

Cited in

(1)

• On the ubiquity of certain total type structures

This page was built for publication: Isomorphisms between HEO and HRO^E, ECF and ICF^E

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