Existence of superposition bases in countable primitively recursively closed classes (Q1098839)
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: Existence of superposition bases in countable primitively recursively closed classes |
scientific article; zbMATH DE number 4037839
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Existence of superposition bases in countable primitively recursively closed classes |
scientific article; zbMATH DE number 4037839 |
Statements
Existence of superposition bases in countable primitively recursively closed classes (English)
0 references
1986
0 references
In an earlier paper [Mat. Zametki 27, No.6, 877-883 (1980; Zbl 0439.03019)] the author proved that the set of all one-place functions in any countable primitively recursively closed class of everywhere defined functions has a countable superposition basis. Here this result is extended to the case of many-place functions, where the method of the above paper [loc. cit.] does not carry over to many-place functions.
0 references
superposition basis
0 references
many-place functions
0 references
0 references
