Iteratively algebraic orders
A short proof of a theorem of M.H. Albert, and its application to lattices.
math.LO↗
arXiv subjects
P. H. Rodenburg
Publications and source records attributed to P. H. Rodenburg.
Typability in partial groupoids
Adapting a claim of M. Kracht, we establish a characterization of the typable partial applicative algebras.
math.LO↗