Hyperfinite type structures (Q4934036)

From MaRDI portal
scientific article; zbMATH DE number 1389463
Language Label Description Also known as
English
Hyperfinite type structures
scientific article; zbMATH DE number 1389463

    Statements

    Hyperfinite type structures (English)
    0 references
    0 references
    0 references
    22 June 2000
    0 references
    hyperfinite model of the Kleene-Kreisel continuous functionals
    0 references
    transfinite type structures
    0 references
    constructive version of hyperfinite functionals
    0 references

    Identifiers