Abstract
It is shown that functional interpretation can be used to show the existence property of intuitionistic number theory. On the basis of truth variants a comparison is then made between realisability and functional interpretation showing a structural difference between the two.
| Translated title of the contribution | Funktional fortolkning og eksistensegenskaben |
|---|---|
| Original language | English |
| Journal | Mathematical Logic Quarterly |
| Volume | 50 |
| Issue number | 6 |
| Pages (from-to) | 573-576 |
| Number of pages | 4 |
| ISSN | 0942-5616 |
| Publication status | Published - 2004 |