A selection theorem (Q5896236)
From MaRDI portal
scientific article; zbMATH DE number 3845573
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A selection theorem |
scientific article; zbMATH DE number 3845573 |
Statements
A selection theorem (English)
0 references
1983
0 references
set recursion
0 references
relations over an infinite cardinal
0 references
deterministic existential quantifier
0 references
bounded existential quantifiers
0 references
set-recursive cofinality
0 references
closure
0 references
non-deterministic existential quantifier
0 references
set- recursive regularity
0 references
