Martingale convergence theorem in quantum logics
Martingale for R-Fuzzy Valued Random Variable
Martin's axiom and medial functions.
Martin's axiom and partitions
Martin's Axiom Applied to Existentially Closed Groups.
Martin's Axiom Implies the Existence of Certain Slender Groups.
Matemáticas y platonismo(s).
Matematická logika a numerická analysa
Matematika a zdravý rozum: jaký je jejich vztah?
Matematika na přelomu tisíciletí
Matematika na vzdálené planetě
Mathematical aspects of the theory of measures of fuzziness.
After recalling the axiomatic concept of fuzziness measure, we define some fuzziness measures through Sugeno's and Choquet's integral. In particular, for the so-called homogeneous fuzziness measures we prove two representation theorems by means of the above integrals.
Matrix identities involving multiplication and transposition
We study matrix identities involving multiplication and unary operations such as transposition or Moore–Penrose inversion. We prove that in many cases such identities admit no finite basis.
Matrix of ℤ-module1
In this article, we formalize a matrix of ℤ-module and its properties. Specially, we formalize a matrix of a linear transformation of ℤ-module, a bilinear form and a matrix of the bilinear form (Gramian matrix). We formally prove that for a finite-rank free ℤ-module V, determinant of its Gramian matrix is constant regardless of selection of its basis. ℤ-module is necessary for lattice problems, LLL (Lenstra, Lenstra and Lovász) base reduction algorithm and cryptographic systems with lattices [22]...
Matrix representation of homomorphic mappings of finite Boolean algebras
Maximal almost disjoint families of functions
We study maximal almost disjoint (MAD) families of functions in that satisfy certain strong combinatorial properties. In particular, we study the notions of strongly and very MAD families of functions. We introduce and study a hierarchy of combinatorial properties lying between strong MADness and very MADness. Proving a conjecture of Brendle, we show that if , then there no very MAD families. We answer a question of Kastermans by constructing a strongly MAD family from = . Next, we study the...
Maximal free sequences in a Boolean algebra
We study free sequences and related notions on Boolean algebras. A free sequence on a BA is a sequence of elements of , with an ordinal, such that for all with we have . A free sequence of length exists iff the Stone space has a free sequence of length in the topological sense. A free sequence is maximal iff it cannot be extended at the end to a longer free sequence. The main notions studied here are the spectrum function and the associated min-max function Among the results...
Maximal independent sets, variants of chain/antichain principle and cofinal subsets without AC
In set theory without the axiom of choice (AC), we observe new relations of the following statements with weak choice principles.
Maximal σ-independent families
Maximale monadische Logiken.