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