A sheaf-theoretic foundation for nonstandard analysis

Annals of Pure and Applied Logic

Volumn 85, Issue 1, 1997, Pages 69-86

  Palmgren, Erik ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031589928     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(96)00041-3     Document Type: Article

References (11)

1. [1] E. Bishop and D.S. Bridges, Constructive Analysis (Springer, Berlin, 1985).
2. [2] M.P. Fourman, Continuous truth I: nonconstructive objects, in: G. Lolli et al. eds., Logic Colloquium '82 (North-Holland, Amsterdam, 1984).
3. [3] S. Mac Lane and I. Moerdijk, Sheaves in Geometry and Logic (Springer, Berlin, 1992).
4. [4] P. Martin-Löf, Intuitionistic Type Theory (Bibliopolis, Naples, 1984).
5. [5] I. Moerdijk and G.E. Reyes, Models of Smooth Infinitesimal Analysis (Springer, Berlin, 1991).
6. [6] I. Moerdijk, A model for intuitionistic non-standard arithmetic, Ann. Pure Appl. Logic 73 (1995) 37-51.
7. [7] I. Moerdijk and E. Palmgren, Minimal models of Heyting arithmetic, J. Symbolic Logic, to appear.
8. [8] E. Palmgren, A constructive approach to nonstandard analysis, Ann. Pure Appl. Logic 73 (1995) 297-325.
9. [9] E. Palmgren, Constructive nonstandard analysis, in: A. Pétry ed., Méthodes et Analyse Non Standard, Cahiers du Centre de Logique, Vol. 9 (Academia, Louvain-la-Neuve, 1996).
10. [10] E. Palmgren, Constructive sheaf semantics, Math. Logic Quarterly, to appear.
11. [11] A. Robinson, Nonstandard Analysis (North-Holland, Amsterdam, 1966).