Hyperfinite type structures
From MaRDI portal
Publication:4934036
DOI10.2307/2586626zbMath0938.03066MaRDI QIDQ4934036
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
constructive version of hyperfinite functionals; hyperfinite model of the Kleene-Kreisel continuous functionals; transfinite type structures
Related Items
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