Minimal models of heyting arithmetic

Journal of Symbolic Logic

Volumn 62, Issue 4, 1997, Pages 1448-1460

  Moerdijk, Ieke ^a   Palmgren, Erik ^b  

^a UTRECHT UNIVERSITY   (Netherlands)

^b UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031329404     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2275651     Document Type: Article

References (8)

1. TH. COQUAND and J. M. SMITH, An application of constructive completeness, Proceedings of the workshop TYPES '95, Torino, Italy, June 1995 (S. Berardi and M. Coppo, editors), Lecture Notes in Computer Science, vol. 1158, Springer-Verlag, Berlin, 1996.
2. A. G. DRAGALIN, An explicit Boolean-valued model for the non-standard arithmetic, Publicationes Mathematicae, Debrecen, vol. 42 (1993), pp. 369-389.
3. R. KAYE, Models of Peano arithmetic, Clarendon Press, Oxford, 1991.
4. S. MAC LANE and I. MOERDIJK, Sheaves in geometry and logic, Springer-Verlag, 1992.
5. I. MOERDIJK, A model for intuitionistic non-standard arithmetic, Annals of Pure and Applied Logic, vol. 73 (1995), pp. 37-51.
6. E. PALMGREN, Constructive sheaf semantics, Mathematical Logic Quarterly, to appear.
7. _, A note on 'Mathematics of infinity', this JOURNAL, vol. 58 (1993), pp. 1195-1200.
8. _, A constructive approach to nonstandard analysis, Annals of Pure and Applied Logic, vol. 73 (1995), pp. 297-325.