Table of contents

Liminf Convergence
by Bartlomiej Skorulski

The Characterization of Continuity of Topologies
by Grzegorz Bancerek and Adam Naumowicz

Meet Continuous Lattices Revisited
by Artur Kornilowicz

Weights of Continuous Lattices
by Robert Milewski

Representation Theorem For Finite Distributive Lattices
by Marek Dudzicz

The Field of Complex Numbers
by Anna Justyna Milewska

Integrability of Bounded Total Functions
by Noboru Endou, Katsumi Wasaki, and Yasunari Shidama

Highspeed algorithms for RSA cryptograms
by Yasushi Fuwa and Yoshinori Fujisawa

Definition of Integrability for Partial Functions from REAL to REAL
and Integrability for Continuous Functions
by Noboru Endou, Katsumi Wasaki, and Yasunari Shidama

Introduction to Several Concepts of Convexity and Semicontinuity
for Function from REAL to REAL
by Noboru Endou, Katsumi Wasaki, and Yasunari Shidama

Standard Ordering of Instruction Locations
by Andrzej Trybulec, Piotr Rudnicki, and Artur Kornilowicz

On the Composition of Macro Instructions of Standard Computers
by Artur Kornilowicz

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

Basic facts about inaccessible and measurable cardinals
by Josef Urban

Evaluation of Multivariate Polynomials
by Christoph Schwarzweller and Andrzej Trybulec

The Ring of Polynomials
by Robert Milewski

Solving Roots of Plynomial Equations of Degree 2 and 3 with Real Cofficients
by Liang Xiquan

Concept of Fuzzy Set and Membership Function and Basic Properties of Fuzzy Set Operation
by Takashi Mitsuishi, Noboru Endou, and Yasunari Shidama

Basic Properties of Fuzzy Set Operation and Membership Function
by Takashi Mitsuishi, Katsumi Wasaki, and Yasunari Shidama

Hahn Banach Theorem in the Vector Space over the Field of Complex Numbers
by Anna Justyna Milewska

The Tichonov Theorem
by Bartlomiej Skorulski

On the Orderconsistent Topology of Complete and Uncomplete Lattices
by Ewa Gradzka

On Segre's Product of Partial Line Spaces
by Adam Naumowicz

Evaluation of Polynomials
by Robert Milewski

The Construction and Computation of Whileloop Programs
for SCMPDS
by JingChao Chen

Insert Sort on SCMPDS
by JingChao Chen

Quick Sort on SCMPDS
by JingChao Chen

Justifying the Correctness of Fibonacci Sequence and
Euclide Algorithm by Loop Invariant
by JingChao Chen

On the Isomorphism Between Finite Chains
by Marta Pruszynska and Marek Dudzicz

Jonsson Theorem about Representation of Modular Lattices
by Mariusz Lapinski

The canonical formulae
by Andrzej Trybulec

The Uncompleteness of the Lattice of Substitutions
by Adam Grabowski

Trigonometric Form of Complex Numbers
by Robert Milewski

Fundamental Theorem of Algebra
by Robert Milewski

On Replace Function and Swap Function for Finite Sequences
by Hiroshi Yamazaki, Yoshinori Fujisawa, and Yatsuka Nakamura

Correctness of the High Speed Array Multiplier Circuits
by Hiroshi Yamazaki and Katsumi Wasaki

Miscellaneous I
by Andrzej Trybulec

Mahlo and inaccessible cardinals
by Josef Urban

Basic Properties of Extended Real Numbers
by Noboru Endou, Katsumi Wasaki, and Yasunari Shidama

Definitions and Basic Properties of Measurable Functions
by Noboru Endou, Katsumi Wasaki, and Yasunari Shidama

Gauges and Cages
by Artur Kornilowicz, Robert Milewski, Adam Naumowicz, and Andrzej Trybulec

Some Properties of Extended Real Numbers Operations: absolute value,
min and max
by Noboru Endou, Katsumi Wasaki, and Yasunari Shidama

Concept of Fuzzy Relation and Basic Properties of Its Operation
by Takashi Mitsuishi, Katsumi Wasaki, and Yasunari Shidama

Measurability of Extended Real Valued Functions
by Noboru Endou, Katsumi Wasaki, and Yasunari Shidama

Some Properties of Cells and Arcs
by Artur Kornilowicz, Robert Milewski, Adam Naumowicz, and Andrzej Trybulec

Formal topological spaces
by Gang Liu, Yasushi Fuwa, and Masayoshi Eguchi

Some Properties of Cells and Gauges
by Adam Grabowski, Artur Kornilowicz, and Andrzej Trybulec

Again on the Order on a Special Polygon
by Andrzej Trybulec

Gauges and Cages. Part II
by Artur Kornilowicz and Robert Milewski

The Binomial Theorem for Algebraic Structures
by Christoph Schwarzweller

Ring Ideals
by Jonathan Backer, Piotr Rudnicki, and Christoph Schwarzweller

Hilbert Basis Theorem
by Jonathan Backer and Piotr Rudnicki

Dynkin's Lemma in Measure Theory
by Franz Merkl

Lower Tolerance. Preliminaries to Wroclaw Taxonomy.
by Mariusz Giero and Roman Matuszewski
[MML identifier index,
Mizar home page]