finite embeddability property, finite model property, Noncommutative residuated lattices, Well partially ordered sets.