4 citations · 23 across the 11 of their papers we have counts for
5 papers · 1 filter
Universality of Univariate Mixed Fractions in Divisive Meadows
Jan A. Bergstra, Inge Bethke, Dimitri Hendriks
Univariate fractions can be transformed to mixed fractions in the equational theory of meadows of characteristic zero.
A negative result on algebraic specifications of the meadow of rational numbers
Jan A. Bergstra, Inge Bethke
- the involutive meadow of the rational numbers - is the field of the rational numbers where the multiplicative inverse operation is made total by imposing $0^{-1}=0…
Equations for formally real meadows
Jan A. Bergstra, Inge Bethke, Alban Ponse
We consider the signatures of meadows and of signed meadows. We give two complete axiomatizations of the equational theories of…
The initial meadows
Inge Bethke, Piet Rodenburg
A \emph{meadow} is a commutative ring with an inverse operator satisfying . We determine the initial algebra of the meadows of characteristic 0 and show that its word pro…
Some properties of finite meadows
Inge Bethke, Piet Rodenburg
The aim of this note is to describe the structure of finite meadows. We will show that the class of finite meadows is the closure of the class of finite fields under finite product…