A selection theorem (Q5896236)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 3845573
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.694354772567749
0 references
0.6879998445510864
0 references
0.6847098469734192
0 references
