Journal of Formalized Mathematics, Volume 13, 2001

Table of contents

1. Concrete Categories
   by Grzegorz Bancerek
   
2. Classes of Independent Partitions
   by Andrzej Trybulec
   
3. Some Properties of Dyadic Numbers and Intervals
   by Jozef Bialas and Yatsuka Nakamura
   
4. Urysohn Lemma
   by Jozef Bialas and Yatsuka Nakamura
   
5. The Algebra of Polynomials
   by Ewa Gradzka
   
6. Circuit Generated by Terms and Circuit Calculating Terms
   by Grzegorz Bancerek
   
7. On the Instructions of \bf SCM
   by Artur Kornilowicz
   
8. Input and Output of Instructions
   by Artur Kornilowicz
   
9. On the Instructions of \bf SCM+FSA
   by Artur Kornilowicz
   
10. Robbins Algebras vs. Boolean Algebras
    by Adam Grabowski
    
11. Properties of Fuzzy Relation
    by Noboru Endou, Takashi Mitsuishi, and Keiji Ohkubo
    
12. On Outside Fashoda Meet Theorem
    by Yatsuka Nakamura
    
13. The set of primitive recursive functions
    by Grzegorz Bancerek and Piotr Rudnicki
    
14. Introduction to Turing Machines
    by Jingchao Chen and Yatsuka Nakamura
    
15. On the characterizations of compactness
    by Grzegorz Bancerek, Noboru Endou, and Yuji Saki
    
16. Compactness of Lim-inf Topology
    by Grzegorz Bancerek and Noboru Endou
    
17. Miscellaneous Facts about Functors
    by Grzegorz Bancerek
    
18. Categorial Background for Duality Theory
    by Grzegorz Bancerek
    
19. Yet another construction of free algebra
    by Grzegorz Bancerek and Artur Kornilowicz
    
20. Duality Based on Galois Connection. Part I
    by Grzegorz Bancerek
    
21. Upper and Lower Sequence of a Cage
    by Robert Milewski
    
22. On polynomials with coefficients in a ring of polynomials
    by Barbara Dzienis
    
23. On Cosets in Segre's Product of Partial Linear Spaces
    by Adam Naumowicz
    
24. On the Simple Closed Curve Property of the Circle and the Fashoda Meet Theorem for It
    by Yatsuka Nakamura
    
25. Pythogarean triples
    by Freek Wiedijk
    
26. Some Remarks on Finite Sequences on Go-boards
    by Adam Naumowicz
    
27. Upper and Lower Sequence on the Cage. Part II
    by Robert Milewski
    
28. Zero Based Finite Sequences
    by Tetsuya Tsunetou, Grzegorz Bancerek, and Yatsuka Nakamura
    
29. More on External Approximation of a Continuum
    by Andrzej Trybulec
    
30. More on the Finite Sequences on the Plane
    by Andrzej Trybulec
    
31. More About Polynomials: Monomials and Constant Polynomials
    by Christoph Schwarzweller
    
32. On state machines of calculating type
    by Hisayoshi Kunimune, Grzegorz Bancerek, and Yatsuka Nakamura
    
33. Hierarchies and Classifications of Sets
    by Mariusz Giero