Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662077 | Annals of Pure and Applied Logic | 2010 | 13 Pages |
Abstract
The (effective) Suslin–Kleene Theorem is obtained as a corollary of a standard proof of the classical Suslin Theorem, by noticing that it is mostly constructive and applying to it a naive realizability interpretation.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic