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

[MML identifier index, Mizar home page]