| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10118890 | Annals of Pure and Applied Logic | 2005 | 26 Pages |
Abstract
Finally, the relation to Parigot's strictly positive inductive definition of his set of reducibility candidates and to his notion of generalized reducibility candidates is explained.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Ralph Matthes,