I < IR : Some intuitionistic elementary equivalences
Publication date
1991-02
Authors
Dalen, D. van
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
Abstract
In this paper Fraïssé's method is used to show that the irrationals form an elementary substructure of
the reals.