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
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
0 references
0 references
