Inter-universal Teichmuller Theory I ------------------------------------ ・Slightly modified the wording ("superficial" ---> "formal") in the discussion  following the third display of Remark 4.3.3, (ii) ・Slightly modified Definition 3.1, (b) ("2-torsion" ---> "2\cdot 3-torsion") and  added a sentence to the beginning of Remark 3.1.5 ・Slightly modified (the position of the gluing arrows in) Fig. 6.5 Inter-universal Teichmuller Theory III -------------------------------------- ・Slightly modified the wording of the definition of a "morphism" in Example 3.6, (i), (ii) ・Slightly modified the notation on the left-hand side of the second line of the first display  of Theorem 3.11, (ii) ・Corrected slightly erroneous phaseology in Proposition 3.1, (i), (ii); Remark 3.1.1, (i),  by replacing "direct sums" by "inductive limits of direct sums" ・Corrected a slight misprint (deleted two "overlines") in the final display of Proposition 3.9, (iii) ・Corrected a slight misprints (involving the two arguments in parentheses) in the first display  of Theorem 3.11, (iii), (b) ・Relabeled the original "Remark 1.2.1" as "Remark 1.2.1, (i)" and added "Remark 1.2.1, (ii)", as well as  a reference to Remark 1.2.1, (ii), at the end of Proposition 1.2, (iii) ・Slightly modified the references to [AbsTopIII], Proposition 5.7, (i), (ii) (i.e., "(i)" ---> "(i), (c)",  "(ii)" ---> "(ii), (c)") in Proposition 1.2, (iii) ・Added item (iii) to Remark 3.12.1 Inter-universal Teichmuller Theory IV ------------------------------------- ・Added Remark 2.2.2, as well as a reference to Remark 2.2.2 in Remark 2.2.1, (i) ・In the statement of Theorem 1.10, slightly modified the notation in references to "models"  of elliptic curves (2 instances), by considering elliptic curves over {\overline F} ・In Definition 1.9, (i), and throughout the remainder of the paper, replaced the references  to "Q-arithmetic divisors" by references to "R-arithmetic divisors" (since R-arithmetic  divisors are necessary in Step (iii) of the proof of Theorem 1.10) ・Added item (vi) to Remark 2.3.1 concerning a certain notational convention implicit in  [GenEll], as well as references to Remark 2.3.1, (vi), in the statement of Corollary 2.2  and the proof of Corollary 2.3 ・Added Remark 2.3.3; added "[Falt]", "[pGC]" to the Bibliography