On the finite embeddability property for residuated ordered groupoids

By W. Blok, C. J. Alten. 2004

71 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Geometry and Topology

View Paper: https://www.semanticscholar.org/paper/e0bfd6022d36511efdd5798841a4bc9607fcf7fa

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. Nikolaos Galatos
2. Peter Jipsen
3. Constantine Tsinakis
4. Franco Montagna

In Geometry and Topology

1. Peter Jipsen
2. Nikolaos Galatos

Citations in the corpus

• Residuated frames with applications to decidability (2012, methodology): “In [4] it is shown that this relation is a partial order on F such that F has no infinite antichains and no infinite ascending chains (it is dually well-ordered), using Higman’s Lemma.”