Table of contents

Baire Spaces, Sober Spaces
by Andrzej Trybulec

Closure Operators and Subalgebras
by Grzegorz Bancerek

Algebra of Morphisms
by Grzegorz Bancerek

Scott Topology
by Andrzej Trybulec

On the Baire Category Theorem
by Artur Kornilowicz

Basic properties of objects and morphisms
by Beata Madras

Abian's Fixed Point Theorem
by Piotr Rudnicki and Andrzej Trybulec

On same equivalents of wellfoundedness
by Piotr Rudnicki and Andrzej Trybulec

Algebraic and Arithmetic Lattices
by Robert Milewski

Subsequences of Standard Special Circular Sequences in $\cal E^2_\rm T$
by Yatsuka Nakamura, Roman Matuszewski, and Adam Grabowski

Lattice of Substitutions
by Adam Grabowski

Equations in Many Sorted Algebras
by Artur Kornilowicz

Category of Functors between Alternative Categories
by Robert Nieszczerzewski

Yoneda Embedding
by Miroslaw Wojciechowski

The Correctness of the Generic Algorithms of Brown and Henrici
Concerning Addition and Multiplication in Fraction Fields
by Christoph Schwarzweller

Birkhoff Theorem for Many Sorted Algebras
by Artur Kornilowicz

Algebraic Operation on Subsets of Many Sorted Sets
by Agnieszka Julia Marasik

Convergence and the Limit of Complex Sequences. Serieses.
by Yasunari Shidama and Artur Kornilowicz

The Steinitz Theorem and the Dimension of a Real Linear Space
by JingChao Chen

Euler circuits and paths
by Yatsuka Nakamura and Piotr Rudnicki

Bounding boxes for compact sets in $\calE^2$
by Czeslaw Bylinski and Piotr Rudnicki

The Scott topology, Part II
by Czeslaw Bylinski and Piotr Rudnicki

Introduction to Homotopy Theory
by Adam Grabowski

Some Properties of Real Maps
by Adam Grabowski and Yatsuka Nakamura

The Ordering of Points on a Curve, Part I
by Adam Grabowski and Yatsuka Nakamura

The Ordering of Points on a Curve, Part II
by Adam Grabowski and Yatsuka Nakamura

On the Categories Without Uniqueness of \bf cod and \bf dom .
Some Properties of the Morphisms and the Functors.
by Artur Kornilowicz

The \bf loop and \bf Times Macroinstruction for \SCMFSA
by Noriko Asamoto

More on the Algebraic and Arithmetic Lattices
by Robert Milewski

Projections in nDimensional Euclidean Space to Each Coordinates
by Roman Matuszewski and Yatsuka Nakamura

Intermediate Value Theorem and Thickness of Simple Closed Curves
by Yatsuka Nakamura and Andrzej Trybulec

Jonsson Theorem
by Jaroslaw Gryko

Lebesgue's Covering Lemma, Uniform Continuity
and Segmentation of Arcs
by Yatsuka Nakamura and Andrzej Trybulec

On Rectangular Finite Sequences of the Points of the Plane
by Andrzej Trybulec and Yatsuka Nakamura

On the Order on a Special Polygon
by Andrzej Trybulec and Yatsuka Nakamura

Euler's Function
by Yoshinori Fujisawa and Yasushi Fuwa

While Macro Instructions of SCM+FSA
by JingChao Chen

A Decomposition of Simple Closed Curves and an Order of Their Points
by Yatsuka Nakamura and Andrzej Trybulec

The Chinese Remainder Theorem
by Andrzej Kondracki
[MML identifier index,
Mizar home page]