Victor Porton's Math Weblog

I updated my online article Algebraic Theory of Formulas.

[More:]

a href="http://www.mathematics21.org/formulas/constructs.xml">updated section is Theory of Constructs about so called systems of constructs (basically, ternary relations) which are used to model mathematical constructs, particularly formulas (expressions), including infinite formulas.

The class of systems of constructs is a subset of the category of dependencies.

The update (among of clean up of this draft article fragment) adds theory of composing several systems of constructs together which is a general algebraic theory of applying a (possibly multivalued) parametrized operator multiple times.

P.S. Three coordinates of in the mentioned category of ternary relations correspond to Father, Son, and Holy Spirit in the universal system of infinite formulas.