Journal: Formalized Mathematics

Volume 19, Issue 4

223 -- 225Artur Kornilowicz. Cayley's Theorem
227 -- 232Peter Jaeger. Borel-Cantelli Lemma
233 -- 239Keiko Narita, Artur Kornilowicz, Yasunari Shidama. More on the Continuity of Real Functions
241 -- 250Grzegorz Bancerek. Representation Theorem for Stacks

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

Volume 19, Issue 2

65 -- 68Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama. n-Dimensional Real Normed Linear Spaces
69 -- 72Hiroyuki Okazaki, Noboru Endou, Keiko Narita, Yasunari Shidama. Differentiable Functions into Real Normed Spaces
73 -- 81Robin Nittka. Conway's Games and Some of their Basic Properties
83 -- 92Grzegorz Bancerek. Veblen Hierarchy
93 -- 102Grzegorz Bancerek. Sorting by Exchanging
103 -- 108Karol Pak. Linear Transformations of Euclidean Topological Spaces
109 -- 112Karol Pak. Linear Transformations of Euclidean Topological Spaces. Part II
113 -- 119Mariusz Giero. The Axiomatization of Propositional Linear Time Temporal Logic
121 -- 126Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama. Banach Algebra of Bounded Complex-Valued Functionals

Volume 19, Issue 1

1 -- 9Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama. n-Dimensional Real Normed Linear Spaces
11 -- 15Xiquan Liang, Dailu Li. p-Groups
17 -- 22Keiichi Miyajima, Takahiro Kato, Yasunari Shidama. Riemann Integral of Functions from R into Real Normed Space
23 -- 26Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama. Normal Subgroup of Product of Groups
27 -- 34Piotr Rudnicki, Lorna Stewart. The Mycielskian of a Graph
35 -- 39Xiquan Liang, Ling Tang, Xichun Jiang. Difference and Difference Quotient. Part IV
41 -- 44Marco Riccardi. The Definition of Topological Manifolds
45 -- 49Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama. More on Continuous Functions on Normed Linear Spaces
51 -- 59Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama. Cartesian Products of Family of Real Linear Spaces
61 -- 64Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. Formalization of Integral Linear Space