Recursive Definitions and Fixed-Points (Q5178958)
From MaRDI portal
scientific article; zbMATH DE number 6416471
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Recursive Definitions and Fixed-Points |
scientific article; zbMATH DE number 6416471 |
Statements
Recursive Definitions and Fixed-Points (English)
0 references
18 March 2015
0 references
recursive definitions
0 references
fixed points
0 references
Beth's definability theorem
0 references
