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