Initial segments of effectively finite orders (Q1274078)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Initial segments of effectively finite orders |
scientific article; zbMATH DE number 1238039
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Initial segments of effectively finite orders |
scientific article; zbMATH DE number 1238039 |
Statements
Initial segments of effectively finite orders (English)
0 references
6 July 1999
0 references
The author constructs partial recursive functions \(f\) and \(g\) and a hypersimple set \(A\) such that \(f(A)\subseteq A\), \(g(A)\subseteq A\), and every natural number can be obtained from 0 by repeated applications of \(f\) and/or \(g\). The construction is a priority argument in classical style, using markers.
0 references
hypersimple set
0 references
hyperimmune set
0 references
partial recursive functions
0 references
priority argument
0 references
