Universal Algebra
Texts Introduction To Nonstandard Real Analysis (Albert E Hurd and Peter A Loeb) The Computational Content of Nonstandard Analysis (Sam Sanders) A Course in Universal Algebra ( Stanley N. Burris and H.P. Sankappanava) Nonstandard Methods and Finiteness Conditions in Algebra ( Matt Insall ) Videos Danielle Bowerman Matt Insall Michael Penn Manuel Bodirsky Charlotte Aten James Revels III