Hyperfinite type structures

DOI10.2307/2586626zbMath0938.03066OpenAlexW2139740469MaRDI QIDQ4934036

Viggo Stoltenberg-Hansen, Erik Palmgren, 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

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

Related Items (2)

Higher-order concepts for the potential infinite ⋮ On the ubiquity of certain total type structures

Cites Work

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

This page was built for publication: Hyperfinite type structures