Hyperfinite type structures

DOI10.2307/2586626zbMATH Open0938.03066OpenAlexW2139740469MaRDI QIDQ4934036FDOQ4934036

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

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

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)

Cites Work

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

Cited In (5)

• Title not available (Why is that?)
• 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)