[FOM] Constructive Group Theory

Sat Apr 2 19:08:14 EDT 2011

There's also "A Course in Constructive Algebra," by Mines, Richman, and
Ruitenburg, Springer '88.

Bob Lubarsky

-----Original Message-----
From: fom-bounces at cs.nyu.edu [mailto:fom-bounces at cs.nyu.edu] On Behalf Of
Andrej Bauer
Sent: Saturday, April 02, 2011 2:45 AM
To: Foundations of Mathematics
Cc: T.Forster at dpmms.cam.ac.uk
Subject: Re: [FOM] Constructive Group Theory

> But less of that! Is there a good place to start reading about
constructive
> group theory?

A place to start is the second volume of Troelstra and van Dalen's
"Constructivism in mathematics". There must be other sources though,
which cover more.

With kind regards,

Andrej
_______________________________________________
FOM mailing list
FOM at cs.nyu.edu
http://www.cs.nyu.edu/mailman/listinfo/fom