Lectures related to Algebraic logic

Explains binary relations on a set and their properties with illustrative examples.

Covers the concept of total order relation and properties of real numbers.

Explores the consequences of the Total Bell System (TBS) in a commutative body.

Explores the implicit functions theorem and the equation of the tangent plane in a graph.

Covers binary relations, functions, composition, and n-ary relations with examples.

Delves into Oppenheim's conjecture on quadratic forms and their connection to number theory.

Covers the fundamentals of homotopy and its applications in topology.

Explores the limit of a sequence, convergence conditions, algebraic operations, and order relations.

Introduces the theory of categories through examples and discusses the product of categories.