After the torch of Anders Kock [6], we will establish the Baker-Campbell- Hausdor formula as well as the Zassenhaus formula in the theory of Lie groups.

We de ne the cyclic Cech-Hochschild bicomplex for a good covering of a smooth manifold and calculate its homology using some nonstandard spectral sequences. The results show that its homology is very rich.

We refurbish our axiomatics of di erential geometry introduced in [5]. Then the notion of Euclideaness can naturally be formulated. The principal ob- jective of this paper is to present an adaptation of our theory of di ...

Lukasiewicz 3-valued logic may be seen as a logic with hidden truthfunctional modalities de ned by A := :A ! A and A := :(A ! :A). It is known that axioms (K), (T), (B), (D), (S4), (S5) are provable for these modalities, and ...

Some examples are given of applications of an in nite logical language in universal algebra, in the algebraic geometry of universal algebras, in the theory of implicit operations on algebras, in the Galois theory between ...

In this paper we give an extension and another proof of the following Wolstenholme's type curious congruence established in 2008 by J. Zhao. Let s and l be two positive integers and let p be a prime such that p ls + 3. ...

The set of all uniquely decipherable (UD) codes is partially ordered by re nement, meaning that all strings in the cruder code can be represented as con- catenations of strings taken from the ner code. The Kraft sum is a ...