Sommaire

Categorical Pullbacks

Marco Riccardi

Access to full text
Full (PDF)
p. 1-14

The Polish Digital Mathematics Library
Definition and Properties of Direct Sum Decomposition of Groups1

Kazuhisa Nakasho ; Hiroshi Yamazaki ; Hiroyuki Okazaki ; Yasunari Shidama

Access to full text
Full (PDF)
p. 15-27

The Polish Digital Mathematics Library
Matrix of ℤ-module1

Yuichi Futa ; Hiroyuki Okazaki ; Yasunari Shidama

Access to full text
Full (PDF)
p. 29-49

The Polish Digital Mathematics Library
σ-ring and σ-algebra of Sets1

Noboru Endou ; Kazuhisa Nakasho ; Yasunari Shidama

Access to full text
Full (PDF)
p. 51-57

The Polish Digital Mathematics Library
Separability of Real Normed Spaces and Its Basic Properties

Kazuhisa Nakasho ; Noboru Endou

Access to full text
Full (PDF)
p. 59-65

The Polish Digital Mathematics Library
Equivalent Expressions of Direct Sum Decomposition of Groups1

Kazuhisa Nakasho ; Hiroyuki Okazaki ; Hiroshi Yamazaki ; Yasunari Shidama

Access to full text
Full (PDF)
p. 67-73

The Polish Digital Mathematics Library
Morley’s Trisector Theorem

Roland Coghetto

Access to full text
Full (PDF)
p. 75-79

The Polish Digital Mathematics Library
Flexary Operations

Karol Pąk

Access to full text
Full (PDF)
p. 81-92

The Polish Digital Mathematics Library
Euler’s Partition Theorem

Karol Pąk

Access to full text
Full (PDF)
p. 93-99

The Polish Digital Mathematics Library
Introduction to Diophantine Approximation

Yasushige Watase

Access to full text
Full (PDF)
p. 101-106

The Polish Digital Mathematics Library
Finite Product of Semiring of Sets

Roland Coghetto

Access to full text
Full (PDF)
p. 107-114

The Polish Digital Mathematics Library
Two Axiomatizations of Nelson Algebras

Adam Grabowski

Access to full text
Full (PDF)
p. 115-125

The Polish Digital Mathematics Library
Groups – Additive Notation

Roland Coghetto

Access to full text
Full (PDF)
p. 127-160

The Polish Digital Mathematics Library
Polish Notation

Taneli Huuskonen

Access to full text
Full (PDF)
p. 161-176

The Polish Digital Mathematics Library
Grzegorczyk’s Logics. Part I

Taneli Huuskonen

Access to full text
Full (PDF)
p. 177-187

The Polish Digital Mathematics Library
Convergent Filter Bases

Roland Coghetto

Access to full text
Full (PDF)
p. 189-203

The Polish Digital Mathematics Library
Polynomially Bounded Sequences and Polynomial Sequences

Hiroyuki Okazaki ; Yuichi Futa

Access to full text
Full (PDF)
p. 205-213

The Polish Digital Mathematics Library
Fermat’s Little Theorem via Divisibility of Newton’s Binomial

Rafał Ziobro

Access to full text
Full (PDF)
p. 215-229

The Polish Digital Mathematics Library
Weak Convergence and Weak Convergence

Keiko Narita ; Yasunari Shidama ; Noboru Endou

Access to full text
Full (PDF)
p. 231-241

The Polish Digital Mathematics Library
The Orthogonal Projection and the Riesz Representation Theorem

Keiko Narita ; Noboru Endou ; Yasunari Shidama

Access to full text
Full (PDF)
p. 243-252

The Polish Digital Mathematics Library
Extended Real-Valued Double Sequence and Its Convergence

Noboru Endou

Access to full text
Full (PDF)
p. 253-277

The Polish Digital Mathematics Library
Summable Family in a Commutative Group

Roland Coghetto

Access to full text
Full (PDF)
p. 279-288

The Polish Digital Mathematics Library
Topology from Neighbourhoods

Roland Coghetto

Access to full text
Full (PDF)
p. 289-296

The Polish Digital Mathematics Library
Torsion Part of ℤ-module

Yuichi Futa ; Hiroyuki Okazaki ; Yasunari Shidama

Access to full text
Full (PDF)
p. 297-307

The Polish Digital Mathematics Library
Construction of Measure from Semialgebra of Sets1

Noboru Endou

Access to full text
Full (PDF)
p. 309-323

The Polish Digital Mathematics Library
Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm

Ievgen Ivanov ; Mykola Nikitchenko ; Uri Abraham

Access to full text
Full (PDF)
p. 325-331

The Polish Digital Mathematics Library
Characteristic of Rings. Prime Fields

Christoph Schwarzweller ; Artur Korniłowicz

Access to full text
Full (PDF)
p. 333-349

The Polish Digital Mathematics Library
Exponential Objects

Marco Riccardi

Access to full text
Full (PDF)
p. 351-369

The Polish Digital Mathematics Library
Algebra of Polynomially Bounded Sequences and Negligible Functions

Hiroyuki Okazaki

Access to full text
Full (PDF)
p. 371-378

The Polish Digital Mathematics Library
Propositional Linear Temporal Logic with Initial Validity Semantics1

Mariusz Giero

Access to full text
Full (PDF)
p. 379-386

The Polish Digital Mathematics Library
Stone Lattices

Adam Grabowski

Access to full text
Full (PDF)
p. 387-396

The Polish Digital Mathematics Library