The basic tool considered in this paper is the so-called graded set, defined on the analogy of the family of α-cuts of a fuzzy set. It is also considered the corresponding extensions of the concepts of a point and of a real number (again on the analogy of the fuzzy case). These new graded concepts avoid the disadvantages pointed out by Gerla (for the fuzzy points) and by Kaleva and Seikkala (for the convergence of sequences of fuzzy numbers).
Using the Mizar system [2], we formalized that homographies of the projective real plane (as defined in [5]), form a group. Then, we prove that, using the notations of Borsuk and Szmielew in [3] “Consider in space ℝℙ2 points P1, P2, P3, P4 of which three points are not collinear and points Q1,Q2,Q3,Q4 each three points of which are also not collinear. There exists one homography h of space ℝℙ2 such that h(Pi) = Qi for i = 1, 2, 3, 4.” (Existence Statement 52 and Existence Statement 53) [3]. Or,...
We translate the articles covering group theory already available in the Mizar Mathematical Library from multiplicative into additive notation. We adapt the works of Wojciech A. Trybulec [41, 42, 43] and Artur Korniłowicz [25]. In particular, these authors have defined the notions of group, abelian group, power of an element of a group, order of a group and order of an element, subgroup, coset of a subgroup, index of a subgroup, conjugation, normal subgroup, topological group, dense subset and basis...
In it was shown that a (real) signed measure on a cyclic coarse-grained quantum logic can be extended, as a signed measure, over the entire power algebra. Later () this result was re-proved (and further improved on) and, moreover, the non-negative measures were shown to allow for extensions as non-negative measures. In both cases the proof technique used was the technique of linear algebra. In this paper we further generalize the results cited by extending group-valued measures on cyclic coarse-grained...
This article is the second in a series formalizing some results in my joint work with Prof. Joanna Golinska-Pilarek ([9] and [10]) concerning a logic proposed by Prof. Andrzej Grzegorczyk ([11]). This part presents the syntax and axioms of Grzegorczyk’s Logic of Descriptions (LD) as originally proposed by him, as well as some theorems not depending on any semantic constructions. There are both some clear similarities and fundamental differences between LD and the non-Fregean logics introduced by...
We present principles for guessing clubs in the generalized club filter on . These principles are shown to be weaker than classical diamond principles but often serve as sufficient substitutes. One application is a new construction of a λ⁺-Suslin-tree using assumptions different from previous constructions. The other application partly solves open problems regarding the cofinality of reflection points for stationary subsets of .
We study the σ-ideal of Haar null sets on Polish groups. It is shown that on a non-locally compact Polish group with an invariant metric this σ-ideal is closely related, in a precise sense, to the σ-ideal of non-dominating subsets of . Among other consequences, this result implies that the family of closed Haar null sets on a Polish group with an invariant metric is Borel in the Effros Borel structure if, and only if, the group is locally compact. This answers a question of Kechris. We also obtain...