Table of contents

Concrete Categories
by Grzegorz Bancerek

Classes of Independent Partitions
by Andrzej Trybulec

Some Properties of Dyadic Numbers and Intervals
by Jozef Bialas and Yatsuka Nakamura

Urysohn Lemma
by Jozef Bialas and Yatsuka Nakamura

The Algebra of Polynomials
by Ewa Gradzka

Circuit Generated by Terms and Circuit Calculating Terms
by Grzegorz Bancerek

On the Instructions of \bf SCM
by Artur Kornilowicz

Input and Output of Instructions
by Artur Kornilowicz

On the Instructions of \bf SCM+FSA
by Artur Kornilowicz

Robbins Algebras vs. Boolean Algebras
by Adam Grabowski

Properties of Fuzzy Relation
by Noboru Endou, Takashi Mitsuishi, and Keiji Ohkubo

On Outside Fashoda Meet Theorem
by Yatsuka Nakamura

The set of primitive recursive functions
by Grzegorz Bancerek and Piotr Rudnicki

Introduction to Turing Machines
by Jingchao Chen and Yatsuka Nakamura

On the characterizations of compactness
by Grzegorz Bancerek, Noboru Endou, and Yuji Saki

Compactness of Liminf Topology
by Grzegorz Bancerek and Noboru Endou

Miscellaneous Facts about Functors
by Grzegorz Bancerek

Categorial Background for Duality Theory
by Grzegorz Bancerek

Yet another construction of free algebra
by Grzegorz Bancerek and Artur Kornilowicz

Duality Based on Galois Connection. Part I
by Grzegorz Bancerek

Upper and Lower Sequence of a Cage
by Robert Milewski

On polynomials with coefficients in a ring of polynomials
by Barbara Dzienis

On Cosets in Segre's Product of Partial Linear Spaces
by Adam Naumowicz

On the Simple Closed Curve Property of the Circle
and the Fashoda Meet Theorem for It
by Yatsuka Nakamura

Pythogarean triples
by Freek Wiedijk

Some Remarks on Finite Sequences on Goboards
by Adam Naumowicz

Upper and Lower Sequence on the Cage. Part II
by Robert Milewski

Zero Based Finite Sequences
by Tetsuya Tsunetou, Grzegorz Bancerek, and Yatsuka Nakamura

More on External Approximation of a Continuum
by Andrzej Trybulec

More on the Finite Sequences on the Plane
by Andrzej Trybulec

More About Polynomials: Monomials and Constant Polynomials
by Christoph Schwarzweller

On state machines of calculating type
by Hisayoshi Kunimune, Grzegorz Bancerek, and Yatsuka Nakamura

Hierarchies and Classifications of Sets
by Mariusz Giero
[MML identifier index,
Mizar home page]