@article{2f90e600a70211db8e5a000ea68e967b,
title = "Functional interpretation and the existence property",
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.",
author = "J{\o}rgensen, {Klaus Frovin}",
year = "2004",
language = "English",
volume = "50",
pages = "573--576",
journal = "Mathematical Logic Quarterly",
issn = "0942-5616",
publisher = "Wiley - V C H Verlag GmbH & Co. KGaA",
number = "6",
}