I < IR : Some intuitionistic elementary equivalences

DSpace/Manakin Repository

I < IR : Some intuitionistic elementary equivalences
 
Dalen, D. van
(1991) Logic Group Preprint Series, volume 62
(Preprint)
Abstract
In this paper Fraïssé's method is used to show that the irrationals form an elementary substructure of the reals.
Download/Full Text
Open Access version via Utrecht University Repository
 
 
 
See more statistics about this item