Intuitionistic free Abelian groups
Publication date
1986-04
Authors
Dalen, D. van
Vries, F.-J. de
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
Abstract
Our construction is purely internal and uses no
specific intuitionistic or constructive principles, hence it entails the existence
of free abelian groups in all topoi with a natural number object.