Victor Porton's Math Weblog

Updated my online article Algebraic Theory of Formulas.

[More:]

The updated section is
href="http://www.mathematics21.org/formulas/constructs.xml">Theory of Constructs (about the category of systems of constructs, that is ternary relations, that is relations between X, Y, and Z).

Added important theorem stating There exists no more than one ancestry pseudomorphism from an element of system of constructs to an element of a weakly mono-valued system of constructs (and analogous theorem about binary relations).

Added definition of factor of two constructs.

Added some more statements some of which are not yet proved.

Related links:

• Algebraic Theory of Formulas;
• Theory of Dependencies (multi-argument relations).