Fields and Meadows

This is work together with John Tucker (Swansea) on the application of EAS (elementary algebraic specifications) to the theory of fields. We have designed an equational specification ENA (elementary number algebra) which specifies a super class of the class of zero-totalized fields. Models of ENA are called meadows. An equivalent subset of 10 equations has been termed Md in a joint paper with Yoram Hirschfeld (Tel Aviv) and John Tucker simply called Meadows. Every field can be expanded to a meadow but not conversely. Dutch presentation contains a slideshow in Dutch with an easygoing introduction to the subject. An invited morning lecture has been presented at BMC 2007 in Swansea. The results of this activity that have been obtained until now are these:

Work on meadows and zero totalized fields continues in several directions.