The contribution of Polish logicians to recursion theory (Q2702283)
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: The contribution of Polish logicians to recursion theory |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The contribution of Polish logicians to recursion theory |
scientific article |
Statements
5 July 2001
0 references
history of recursion theory
0 references
development of recursion theory
0 references
Grzegorczyk hierarchy
0 references
primitive recursive functions
0 references
Kleene-Mostowski hierarchy
0 references
recursiveness
0 references
functionals
0 references
constructive foundations of mathematics
0 references
models of theories
0 references
The contribution of Polish logicians to recursion theory (English)
0 references
The paper is devoted to the presentation of the contribution of Polish logicians to the development of recursion theory. In particular the following items are discussed: Grzegorczyk hierarchy of primitive recursive functions, Kleene-Mostowski hierarchy, studies on the generalization of the notion of recursiveness to the case of functionals, Banach-Mazur's and Grzegorczyk's work on the constructive foundations of mathematics, in particular of analysis, model-theoretical applications of recursion theory (in particular results concerning the class of possible models of theories).NEWLINENEWLINEFor the entire collection see [Zbl 0946.00016].
0 references
