By a commutative term we mean an element of the free commutative groupoid F of infinite rank. For two commutative terms a, b write a ≤ b if b contains a subterm that is a substitution instance of a. With respect to this relation, F is a quasiordered set which becomes an ordered set after the appropriate factorization. We study definability in this ordered set. Among other thing, we prove that e...

Reaction of dialkyl acetylenedicarboxylates 1a-c andpyrrole derivatives 2a-e in the presence of triphenylphosphite (TPP) was investigated and the effect of the pyrrole substitution was established. Diastereoselectivity is observed with pyrroles, 2a,b, yieldingphosphonate ester derivatives 3a-f and 4,and their relative configuration is determined by 1H/13C and 31</...