Intuitionistic free Abelian groups
DSpace/Manakin Repository
Intuitionistic free Abelian groups
Dalen, D. van; Vries, F.-J. de
(1986) Logic Group Preprint Series, volume 7
(Preprint)
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.
show less
Download/Full Text
Open Access version via Utrecht University Repository
See
more statistics
about this item