Effective cofinalities and admissibility in E-recursion (Q3727980)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Effective cofinalities and admissibility in E-recursion |
scientific article |
Statements
Effective cofinalities and admissibility in E-recursion (English)
0 references
1984
0 references
E-closure
0 references
cofinality
0 references
admissibility
0 references
selection
0 references
extended plus one hypothesis
0 references
effective covering property
0 references
admissible sets
0 references