External Links

    Journal: Formalized Mathematics

    Volume 19, Issue 3

    127 -- 130Artur Kornilowicz. Mazur-Ulam Theorem
    131 -- 138Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. Set of Points on Elliptic Curve in Projective Coordinates
    139 -- 144Karol Pak. Continuity of Barycentric Coordinates in Euclidean Topological Spaces
    145 -- 150Karol Pak. Brouwer Fixed Point Theorem for Simplexes
    151 -- 153Karol Pak. Brouwer Fixed Point Theorem in the General Case
    155 -- 167Marco B. Caminati. Preliminaries to Classical First Order Model Theory
    169 -- 178Marco B. Caminati. Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms
    179 -- 192Marco B. Caminati. First Order Languages: Further Syntax and Semantics
    193 -- 203Marco B. Caminati. Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages
    205 -- 222Marco B. Caminati. Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem
    runs on