On Intuitionistic Sentential Connectives I.
On invariant CCC -ideals
On invariant, dual invariant and absolute formulas [Book]
On invariants for measure preserving transformations
The classification problem for measure preserving transformations is strictly more complicated than that of graph isomorphism.
On isomorphism classes of spaces
We provide a complete isomorphic classification of the Banach spaces of continuous functions on the compact spaces , the topological sums of Cantor cubes , with smaller than the first sequential cardinal, and intervals of ordinal numbers [0,α]. In particular, we prove that it is relatively consistent with ZFC that the only isomorphism classes of spaces with ≥ ℵ₀ and α ≥ ω₁ are the trivial ones. This result leads to some elementary questions on large cardinals.
On isomorphisms between -ideals on
On isomorphisms of inner product spaces
On iterated forcing for successors of regular cardinals
We investigate the problem of when ≤λ-support iterations of < λ-complete notions of forcing preserve λ⁺. We isolate a property- properness over diamonds-that implies λ⁺ is preserved and show that this property is preserved by λ-support iterations. Our condition is a relative of that presented by Rosłanowski and Shelah in [2]; it is not clear if the two conditions are equivalent. We close with an application of our technology by presenting a consistency result on uniformizing colorings of ladder...
On joint distribution in quantum logics. I. Compatible observables
The notion of a joint distribution in -finite measures of observables of a quantum logic defined on some system of -independent Boolean sub--algebras of a Boolean -algebra is studied. In the present first part of the paper the author studies a joint distribution of compatible observables. It is shown that it may exists, although a joint obsevable of compatible observables need not exist.
On joint distribution in quantum logics. II. Noncompatible observables
This paper i a continuation of the first part under the same title. The author studies a joint distribution in -finite measures for noncompatible observables of a quantum logic defined on some system of -independent Boolean sub--algebras of a Boolean -algebra. We present some necessary and sufficient conditions fot the existence of a joint distribution. In particular, it is shown that an arbitrary system of obsevables has a joint distribution in a measure iff it may be embedded into a system...
On Kalmar's consistency proof and a generalization of the notion of ...-consistency.
On knowledge games.
We give a formalization of the ?knowledge games? which allows to study their decidability and convergence as a problem of mathematics. Our approach is based on a metalemma analogous to those of Von Neumann and Morgenstern at the beginning of Game Theory. We are led to definitions which characterize the knowledge games as objects is standard set theory. We then study rigorously the most classical knowledge games and, although we also prove that the ?common knowledge? in these games may be incomputable,...
On Krull's intersection theorem of fuzzy ideals.
On L 1 Space Formed by Complex-Valued Partial Functions
In this article, we formalized L1 space formed by complexvalued partial functions [11], [15]. The real-valued case was formalized in [22] and this article is its generalization.
On L 1 Space Formed by Real-Valued Partial Functions
This article contains some definitions and properties refering to function spaces formed by partial functions defined over a measurable space. We formalized a function space, the so-called L1 space and proved that the space turns out to be a normed space. The formalization of a real function space was given in [16]. The set of all function forms additive group. Here addition is defined by point-wise addition of two functions. However it is not true for partial functions. The set of partial functions...
On -fuzzy ideals in semirings. I
In this paper we extend the concept of an -fuzzy (characteristic) left (resp. right) ideal of a ring to a semiring , and we show that each level left (resp. right) ideal of an -fuzzy left (resp. right) ideal of is characteristic iff is -fuzzy characteristic.
On -fuzzy ideals in semirings. II
We study some properties of -fuzzy left (right) ideals of a semiring related to level left (right) ideals.
On L p Space Formed by Real-Valued Partial Functions
This article is the continuation of [31]. We define the set of Lp integrable functions - the set of all partial functions whose absolute value raised to the p-th power is integrable. We show that Lp integrable functions form the Lp space. We also prove Minkowski's inequality, Hölder's inequality and that Lp space is Banach space ([15], [27]).
On Lamport's comparison between linear and branching time temporal logic
On level by level equivalence and inequivalence between strong compactness and supercompactness
We prove two theorems, one concerning level by level inequivalence between strong compactness and supercompactness, and one concerning level by level equivalence between strong compactness and supercompactness. We first show that in a universe containing a supercompact cardinal but of restricted size, it is possible to control precisely the difference between the degree of strong compactness and supercompactness that any measurable cardinal exhibits. We then show that in an unrestricted size universe...