Preprint 10-2015

Suite IV - Die Zerrissene, Teil 1

Author(s) : Andreas Unterreiter

Preprint series of the Institute of Mathematics, Technische Universität Berlin
Preprint 10-2015

MSC 2000

03B30 Foundations of classical theories

03B35 Mechanization of proofs and logical operations

70A05 Axiomatics, foundations

Abstract :
Errata Suite I. KLT (Elemente der klassischen Lagrange Theorie). E-Schnitt von x. Einschränkung von x auf E. x_{fkt}. Ecup/cap-Verschiebung von x. x_{c12}. partielle Relation. Cartesisches Produkt cp x. bigcup Axiom.

Keywords : Elemente Klassische Lagrange Theorie. Cartesisches Produkt.