Relatively recursive expansions (Q4314762)
From MaRDI portal
scientific article; zbMATH DE number 695547
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relatively recursive expansions |
scientific article; zbMATH DE number 695547 |
Statements
Relatively recursive expansions (English)
0 references
29 March 1995
0 references
recursive structure
0 references
additional relation symbol
0 references
infinitary sentence
0 references
recursive infinitary formula
0 references
