Journal of Formalized Mathematics, Volume 9, 1997

Table of contents

  1. Baire Spaces, Sober Spaces
    by Andrzej Trybulec
  2. Closure Operators and Subalgebras
    by Grzegorz Bancerek
  3. Algebra of Morphisms
    by Grzegorz Bancerek
  4. Scott Topology
    by Andrzej Trybulec
  5. On the Baire Category Theorem
    by Artur Kornilowicz
  6. Basic properties of objects and morphisms
    by Beata Madras
  7. Abian's Fixed Point Theorem
    by Piotr Rudnicki and Andrzej Trybulec
  8. On same equivalents of well-foundedness
    by Piotr Rudnicki and Andrzej Trybulec
  9. Algebraic and Arithmetic Lattices
    by Robert Milewski
  10. Subsequences of Standard Special Circular Sequences in $\cal E^2_\rm T$
    by Yatsuka Nakamura, Roman Matuszewski, and Adam Grabowski
  11. Lattice of Substitutions
    by Adam Grabowski
  12. Equations in Many Sorted Algebras
    by Artur Kornilowicz
  13. Category of Functors between Alternative Categories
    by Robert Nieszczerzewski
  14. Yoneda Embedding
    by Miroslaw Wojciechowski
  15. The Correctness of the Generic Algorithms of Brown and Henrici Concerning Addition and Multiplication in Fraction Fields
    by Christoph Schwarzweller
  16. Birkhoff Theorem for Many Sorted Algebras
    by Artur Kornilowicz
  17. Algebraic Operation on Subsets of Many Sorted Sets
    by Agnieszka Julia Marasik
  18. Convergence and the Limit of Complex Sequences. Serieses.
    by Yasunari Shidama and Artur Kornilowicz
  19. The Steinitz Theorem and the Dimension of a Real Linear Space
    by JingChao Chen
  20. Euler circuits and paths
    by Yatsuka Nakamura and Piotr Rudnicki
  21. Bounding boxes for compact sets in $\calE^2$
    by Czeslaw Bylinski and Piotr Rudnicki
  22. The Scott topology, Part II
    by Czeslaw Bylinski and Piotr Rudnicki
  23. Introduction to Homotopy Theory
    by Adam Grabowski
  24. Some Properties of Real Maps
    by Adam Grabowski and Yatsuka Nakamura
  25. The Ordering of Points on a Curve, Part I
    by Adam Grabowski and Yatsuka Nakamura
  26. The Ordering of Points on a Curve, Part II
    by Adam Grabowski and Yatsuka Nakamura
  27. On the Categories Without Uniqueness of \bf cod and \bf dom . Some Properties of the Morphisms and the Functors.
    by Artur Kornilowicz
  28. The \bf loop and \bf Times Macroinstruction for \SCMFSA
    by Noriko Asamoto
  29. More on the Algebraic and Arithmetic Lattices
    by Robert Milewski
  30. Projections in n-Dimensional Euclidean Space to Each Coordinates
    by Roman Matuszewski and Yatsuka Nakamura
  31. Intermediate Value Theorem and Thickness of Simple Closed Curves
    by Yatsuka Nakamura and Andrzej Trybulec
  32. Jonsson Theorem
    by Jaroslaw Gryko
  33. Lebesgue's Covering Lemma, Uniform Continuity and Segmentation of Arcs
    by Yatsuka Nakamura and Andrzej Trybulec
  34. On Rectangular Finite Sequences of the Points of the Plane
    by Andrzej Trybulec and Yatsuka Nakamura
  35. On the Order on a Special Polygon
    by Andrzej Trybulec and Yatsuka Nakamura
  36. Euler's Function
    by Yoshinori Fujisawa and Yasushi Fuwa
  37. While Macro Instructions of SCM+FSA
    by Jing-Chao Chen
  38. A Decomposition of Simple Closed Curves and an Order of Their Points
    by Yatsuka Nakamura and Andrzej Trybulec
  39. The Chinese Remainder Theorem
    by Andrzej Kondracki

[MML identifier index, Mizar home page]