4 citations · 10 across the 6 of their papers we have counts for
6 papers
Combinatory completeness in partial groupoids
Pieter Rodenburg
I characterize the combinatorially complete pargoids (partial applicative systems) by expandability with two constants that satisfy the well-known identities. An example shows that…
The structure of finite meadows
Inge Bethke, Piet Rodenburg, Arjen Sevenster
A meadow is a commutative ring with a total inverse operator satisfying 0^{-1}=0. We show that the class of finite meadows is the closure of the class of Galois fields under finite…
Typability in partial groupoids
P. H. Rodenburg, I. Bethke
Adapting a claim of M. Kracht, we establish a characterization of the typable partial applicative algebras.
Iteratively algebraic orders
P. H. Rodenburg
A short proof of a theorem of M.H. Albert, and its application to lattices.
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…