Journal of Formalized Mathematics, Volume 1, 1989

Table of contents

  1. Boolean Properties of Sets
    by Zinaida Trybulec and Halina Swieczkowska
  2. Enumerated Sets
    by Andrzej Trybulec
  3. Basic Properties of Real Numbers
    by Krzysztof Hryniewiecki
  4. The Fundamental Properties of Natural Numbers
    by Grzegorz Bancerek
  5. Some Basic Properties of Sets
    by Czeslaw Bylinski
  6. Functions and Their Basic Properties
    by Czeslaw Bylinski
  7. Properties of Subsets
    by Zinaida Trybulec
  8. Relations and Their Basic Properties
    by Edmund Woronowicz
  9. Properties of Binary Relations
    by Edmund Woronowicz and Anna Zalewska
  10. The Ordinal Numbers
    by Grzegorz Bancerek
  11. Tuples, Projections and Cartesian Products
    by Andrzej Trybulec
  12. Segments of Natural Numbers and Finite Sequences
    by Grzegorz Bancerek and Krzysztof Hryniewiecki
  13. Domains and Their Cartesian Products
    by Andrzej Trybulec
  14. The Well Ordering Relations
    by Grzegorz Bancerek
  15. A Model of ZF Set Theory Language
    by Grzegorz Bancerek
  16. Families of Sets
    by Beata Padlewska
  17. Functions from a Set to a Set
    by Czeslaw Bylinski
  18. Finite Sets
    by Agata Darmochwal
  19. Graphs of Functions
    by Czeslaw Bylinski
  20. Binary Operations
    by Czeslaw Bylinski
  21. Relations Defined on Sets
    by Edmund Woronowicz
  22. Boolean Domains
    by Andrzej Trybulec and Agata Darmochwal
  23. Models and Satisfiability. Defining by Structural Induction and Free Variables in ZF-formulae
    by Grzegorz Bancerek
  24. The Contraction Lemma
    by Grzegorz Bancerek
  25. Axioms of Incidency
    by Wojciech A. Trybulec
  26. Introduction to Lattice Theory
    by Stanislaw Zukowski
  27. Topological Spaces and Continuous Functions
    by Beata Padlewska and Agata Darmochwal
  28. Subsets of Topological Spaces
    by Miroslaw Wysocki and Agata Darmochwal
  29. Connected Spaces
    by Beata Padlewska
  30. Basic Functions and Operations on Functions
    by Czeslaw Bylinski
  31. Families of Subsets, Subspaces and Mappings in Topological Spaces
    by Agata Darmochwal
  32. Some Properties of Functions Modul and Signum
    by Jan Popiolek
  33. Zermelo Theorem and Axiom of Choice
    by Grzegorz Bancerek
  34. Real Sequences and Basic Operations on Them
    by Jaroslaw Kotowicz
  35. Convergent Sequences and the Limit of Sequences
    by Jaroslaw Kotowicz
  36. Properties of ZF Models
    by Grzegorz Bancerek
  37. Sequences of Ordinal Numbers
    by Grzegorz Bancerek
  38. Vectors in Real Linear Space
    by Wojciech A. Trybulec
  39. Subspaces and Cosets of Subspaces in Real Linear Space
    by Wojciech A. Trybulec
  40. A First Order Language
    by Piotr Rudnicki and Andrzej Trybulec
  41. Partially Ordered Sets
    by Wojciech A. Trybulec
  42. Recursive Definitions
    by Krzysztof Hryniewiecki
  43. Binary Operations Applied to Functions
    by Andrzej Trybulec
  44. Abelian Groups, Fields and Vector Spaces
    by Eugeniusz Kusak, Wojciech Leonczuk, and Michal Muzalewski
  45. Parallelity Spaces
    by Eugeniusz Kusak, Wojciech Leonczuk, and Michal Muzalewski
  46. Construction of a bilinear antisymmetric form in symplectic vector space
    by Eugeniusz Kusak, Wojciech Leonczuk, and Michal Muzalewski
  47. Construction of a bilinear symmetric form in orthogonal vector space
    by Eugeniusz Kusak, Wojciech Leonczuk, and Michal Muzalewski
  48. Partial Functions
    by Czeslaw Bylinski
  49. Semilattice Operations on Finite Subsets
    by Andrzej Trybulec
  50. Cardinal Numbers
    by Grzegorz Bancerek
  51. Compact Spaces
    by Agata Darmochwal
  52. Kuratowski - Zorn Lemma
    by Wojciech A. Trybulec and Grzegorz Bancerek
  53. Operations on Subspaces in Real Linear Space
    by Wojciech A. Trybulec
  54. $\sigma$-Fields and Probability
    by Andrzej Nedzusiak
  55. Introduction to Categories and Functors
    by Czeslaw Bylinski
  56. Introduction to Trees
    by Grzegorz Bancerek
  57. Zermelo's Theorem
    by Bogdan Nowak and Slawomir Bialecki
  58. Group and Field Definitions
    by Jozef Bialas
  59. Equivalence Relations and Classes of Abstraction
    by Konrad Raczkowski and Pawel Sadowski
  60. Some Properties of Real Numbers. Operations: min, max, square, and sqare root
    by Andrzej Trybulec and Czeslaw Bylinski
  61. Connectives and Subformulae of the First Order Language
    by Grzegorz Bancerek
  62. Variables in Formulae of the First Order Language
    by Czeslaw Bylinski and Grzegorz Bancerek
  63. Monotone Real Sequences. Subsequences
    by Jaroslaw Kotowicz
  64. Convergent Real Sequences. Upper and Lower Bound of Sets of Real Numbers
    by Jaroslaw Kotowicz
  65. Midpoint algebras
    by Michal Muzalewski
  66. The Fundamental Logic Structure in Quantum Mechanics
    by Pawel Sadowski, Andrzej Trybulec, and Konrad Raczkowski

[MML identifier index, Mizar home page]