Expressing entropy and cross-entropy in expansions of common meadows

Jan A Bergstra, John V Tucker

A common meadow is an enrichment of a field with a partial division operation that is made total by assuming that division by zero takes the a default value, a special element $\bo…