Meadows and fractions

Jan Bergstra

(University of Amsterdam)

Meadows are field-like structures with a division operator made total by haven division by zero resulting in zero. I will formally introduce meadows, survey recent results about these and in particular I will outline a theory of fractions based on meadows.
Thursday 5th November 2015, 14:00
The Board Room
Department of Computer Science