Hyperfinite type structures

DOI10.2307/2586626MaRDI QIDQ4934036zbMATH OpenOpenAlexFDO

Authors Erik Palmgren, Viggo Stoltenberg-Hansen, Dag Normann

Publication date 22 June 2000

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

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

zbMATH Keywords

constructive version of hyperfinite functionalshyperfinite model of the Kleene-Kreisel continuous functionalstransfinite type structures

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65) Functionals in proof theory (03F10)

Recommendations

• A nonstandard characterisation of the type-structure of continuous functionals over the reals
• Characterizing the continuous functionals
• A theory of hyperfinite sets
• scientific article; zbMATH DE number 1531372
• Publication:4729775

Cites work

• A logical presentation of the continuous functionals
• An information system interpretation of Martin-Löf's partial type theory with universes
• Categorical Horn classes. I
• Characterizing the continuous functionals
• Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality
• Domain interpretations of Martin-Löf's partial type theory
• Handbook of computability theory

Cited in

(5)

• scientific article; zbMATH DE number 1029238 (Why is no real title available?)
• On the ubiquity of certain total type structures
• A nonstandard characterisation of the type-structure of continuous functionals over the reals
• Higher-order concepts for the potential infinite
• A theory of hyperfinite sets

This page was built for publication: Hyperfinite type structures

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