Journal of Formalized Mathematics, Volume 7, 1995

Table of contents

  1. The Cantor Set
    by Alexander Yu. Shibakov and Andrzej Trybulec
  2. Logical Equivalence of Formulae
    by Oleg Okhotnikov
  3. Some Properties of Restrictions of Finite Sequences
    by Czeslaw Bylinski
  4. Special Polygons
    by Czeslaw Bylinski and Yatsuka Nakamura
  5. The One-Dimensional Lebesgue Measure As an Example of a Formalization in the Mizar Language of the Classical Definition of a Mathematical Object
    by Jozef Bialas
  6. Categories without Uniqueness of \bf cod and \bf dom.
    by Andrzej Trybulec
  7. Extensions of Mappings on Generator Set
    by Artur Kornilowicz
  8. Introduction to Circuits, II
    by Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec, and Pauline N. Kawamoto
  9. Definitions and Basic Properties of Boolean \& Union of Many Sorted Sets
    by Artur Kornilowicz
  10. Combining of Circuits
    by Yatsuka Nakamura and Grzegorz Bancerek
  11. Vertex sequences induced by chains
    by Yatsuka Nakamura and Piotr Rudnicki
  12. On the Lattice of Subspaces of Vector Space
    by Andrzej Iwaniuk
  13. On the Lattice of Subgroups of a Group
    by Janusz Ganczarski
  14. On the Lattice of Subalgebras of a Universal Algebra
    by Miroslaw Jan Paszek
  15. On the Decomposition of Finite Sequences
    by Andrzej Trybulec
  16. Decomposing a Go Board into Cells
    by Yatsuka Nakamura and Andrzej Trybulec
  17. Indexed Category
    by Grzegorz Bancerek
  18. Associated Matrix of Linear Map
    by Robert Milewski
  19. On the Geometry of a Go-board
    by Andrzej Trybulec
  20. The Theorem of Weierstrass
    by Jozef Bialas and Yatsuka Nakamura
  21. Dyadic Numbers and $T_4$ Topological Spaces
    by Jozef Bialas and Yatsuka Nakamura
  22. Full Adder Circuit. Part I
    by Grzegorz Bancerek and Yatsuka Nakamura
  23. Continuous, Stable, and Linear Maps of Coherence Spaces
    by Grzegorz Bancerek
  24. Some Basic Properties of Many Sorted Sets
    by Artur Kornilowicz
  25. Replacement of Subtrees in a Tree
    by Oleg Okhotnikov
  26. Minimal Manysorted Signature for Partial Algebra
    by Grzegorz Bancerek
  27. The Subformula Tree of a Formula of the First Order Language
    by Oleg Okhotnikov
  28. Steinitz Theorem and Dimension of a Vector Space
    by Mariusz Zynel
  29. On the Go Board of a Standard Special Circular Sequence
    by Andrzej Trybulec
  30. On the Monoid of Endomorphisms of Universal Algebra \& Many Sorted Algebra
    by Jaroslaw Gryko
  31. More on Segments on a Go Board
    by Andrzej Trybulec
  32. Certain Facts about Families of Subsets of Many Sorted Sets
    by Artur Kornilowicz
  33. On the concept of the triangulation
    by Beata Madras
  34. Left and Right Component of the Complement of a Special Closed Curve
    by Andrzej Trybulec
  35. Reduction Relations
    by Grzegorz Bancerek

[MML identifier index, Mizar home page]