Table of contents

The Composition of Functors and Transformations in Alternative
Categories
by Artur Kornilowicz

CompletelyIrreducible Elements
by Robert Milewski

ScottContinuous Functions
by Adam Grabowski

Natural Numbers
by Robert Milewski

Binary Arithmetics. Binary Sequences
by Robert Milewski

Full Trees
by Robert Milewski

On $T_1$ Reflex of Topological Space
by Adam Naumowicz and Mariusz \Lapinski

Bases and Refinements of Topologies
by Grzegorz Bancerek

The Properties of Product of Relational Structures
by Artur Kornilowicz

On the Characterization of Modular and Distributive Lattices
by Adam Naumowicz

Injective Spaces
by Jaroslaw Gryko

On the Characterization of Hausdorff Spaces
by Artur Kornilowicz

The Field of Quotients over an Integral Domain
by Christoph Schwarzweller

Firstcountable, Sequential, and Frechet Spaces
by Bartlomiej Skorulski

On the Composition of nonparahalting Macro Instructions
by Piotr Rudnicki

The \bf while macro instructions of SCM+FSA, Part II
by Piotr Rudnicki

Another \bf times Macro Instruction
by Piotr Rudnicki

The \bf for (going up) Macro Instruction
by Piotr Rudnicki

Bounding Boxes for Special Sequences in $\calE^2$
by Yatsuka Nakamura and Adam Grabowski

Euler's Theorem and Small Fermat's Theorem
by Yoshinori Fujisawa and Yasushi Fuwa

The Product of the Families of the Groups
by Artur Kornilowicz

On a Dividing Function of the Simple Closed Curve into Segments
by Yatsuka Nakamura

Initialization Halting Concepts and Their Basic Properties
of SCM+FSA
by JingChao Chen and Yatsuka Nakamura

Bubble Sort on SCM+FSA
by JingChao Chen and Yatsuka Nakamura

The Lawson Topology
by Grzegorz Bancerek

Kernel Projections and Quotient Lattices
by Piotr Rudnicki

Lawson Topology in Continuous Lattices
by Grzegorz Bancerek

Representation theorem for free continuous lattices
by Piotr Rudnicki

Oriented Simple Chains Included in Oriented Chains
by Yatsuka Nakamura and Piotr Rudnicki

Graph Theoretical Properties of Arcs in the Plane and Fashoda Meet Theorem
by Yatsuka Nakamura

Algebraic group on FixedLength bit integer and its adaptation
to IDEA
Cryptography
by Yasushi Fuwa and Yoshinori Fujisawa

The Definition and Basic Properties of Topological Groups
by Artur Kornilowicz

The Correspondence Between Lattices of Subalgebras of
Universal Algebras and Many Sorted Algebras
by Adam Naumowicz and Agnieszka Julia Marasik

Introduction to Concept Lattices
by Christoph Schwarzweller

A theory of partitions, I
by Shunichi Kobayashi and Kui Jia

A Theory of Boolean Valued Functions and Partitions
by Shunichi Kobayashi and Kui Jia

Trigonometric Functions and Existence of Circle Ratio
by Yuguang Yang and Yasunari Shidama

Some properties of special polygonal curves
by Andrzej Trybulec and Yatsuka Nakamura

Real LinearMetric Space and Isometric Functions
by Robert Milewski

Introduction to MeetContinuous Topological Lattices
by Artur Kornilowicz

Bases of Continuous Lattices
by Robert Milewski

The Construction of \bf SCM over Ring
by Artur Kornilowicz

The Basic Properties of \bf SCM over Ring
by Artur Kornilowicz

A Theory of Boolean Valued Functions and Quantifiers
with Respect to Partitions
by Shunichi Kobayashi and Yatsuka Nakamura

Predicate Calculus for Boolean Valued Functions, I
by Shunichi Kobayashi and Yatsuka Nakamura

PublicKey Cryptography and Pepin's Test for the Primality of Fermat Numbers
by Yoshinori Fujisawa, Yasushi Fuwa, and Hidetaka Shimizu

Lattice of Substitutions Is a Heyting Algebra
by Adam Grabowski
[MML identifier index,
Mizar home page]