Constructivism in mathematics

Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras.The publication first takes a look at the topology of metric s...

Descripción completa

Detalles Bibliográficos
Autores principales: Troelstra, AS, van Dalen, D
Lenguaje:eng
Publicado: Elsevier 1988
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/2009936
_version_ 1780946470023725056
author Troelstra, AS
van Dalen, D
author_facet Troelstra, AS
van Dalen, D
author_sort Troelstra, AS
collection CERN
description Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras.The publication first takes a look at the topology of metric spaces, algebra, and finite-type arithmetic and theories of operators. Discussions focus on intuitionistic finite-type arithmetic, theories of operators and classes, rings and modules, linear algebra, polynomial rings, fields and local rings, complete separable metric spaces, and located sets. The te
id cern-2009936
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 1988
publisher Elsevier
record_format invenio
spelling cern-20099362021-04-21T20:21:23Zhttp://cds.cern.ch/record/2009936engTroelstra, ASvan Dalen, DConstructivism in mathematicsMathematical Physics and MathematicsStudies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras.The publication first takes a look at the topology of metric spaces, algebra, and finite-type arithmetic and theories of operators. Discussions focus on intuitionistic finite-type arithmetic, theories of operators and classes, rings and modules, linear algebra, polynomial rings, fields and local rings, complete separable metric spaces, and located sets. The teElsevieroai:cds.cern.ch:20099361988
spellingShingle Mathematical Physics and Mathematics
Troelstra, AS
van Dalen, D
Constructivism in mathematics
title Constructivism in mathematics
title_full Constructivism in mathematics
title_fullStr Constructivism in mathematics
title_full_unstemmed Constructivism in mathematics
title_short Constructivism in mathematics
title_sort constructivism in mathematics
topic Mathematical Physics and Mathematics
url http://cds.cern.ch/record/2009936
work_keys_str_mv AT troelstraas constructivisminmathematics
AT vandalend constructivisminmathematics

Ejemplares similares