We establish categorical dualities between varieties of isotropic median algebras and suitable categories of operational and relational topological structures. We follow a general duality theory of B.A. Davey and H. Werner. The duality results are used to describe free isotropic median algebras. If the number of free generators is less than five, the description is detailed.
We construct a totally ordered set Γ of positive infinite germs (i.e. germs of positive real-valued functions that tend to +∞), with order type being the lexicographic product ℵ1 × ℤ2. We show that Γ admits order preserving automorphisms of pairwise distinct growth rates.
Let be a field with a Krull valuation and value group , and let be the valuation ring. Theories about spaces of countable type and Hilbert-like spaces in [1] and spaces of continuous linear operators in [2] require that all absolutely convex subsets of the base field should be countably generated as -modules.By [1] Prop. 1.4.1, the field is metrizable if and only if the value group has a cofinal sequence. We prove that for any fixed cardinality , there exists a metrizable field ...
It was proved by Juhász and Weiss that for every ordinal α with there is a superatomic Boolean algebra of height α and width ω. We prove that if κ is an infinite cardinal such that and α is an ordinal such that , then there is a cardinal-preserving partial order that forces the existence of a superatomic Boolean algebra of height α and width κ. Furthermore, iterating this forcing through all , we obtain a notion of forcing that preserves cardinals and such that in the corresponding generic...
In this paper, we investigate Egoroff’s theorem with respect to monotone set function, and show that a necessary and sufficient condition that Egoroff’s theorem remain valid for monotone set function is that the monotone set function fulfill condition (E). Therefore Egoroff’s theorem for non-additive measure is formulated in full generality.
A fuzzy version of Tarski’s fixpoint Theorem for fuzzy monotone maps on nonempty fuzzy compete lattice is given.
Following the ideas of R. DeMarr, we establish a Galois connection between distance functions on a set and inequality relations on . Moreover, we also investigate a relationship between the functions of and .
The concept of a deductive system has been intensively studied in algebraic logic, per se and in connection with various types of filters. In this paper we introduce an axiomatization which shows how several resembling theorems that had been separately proved for various algebras of logic can be given unique proofs within this axiomatic framework. We thus recapture theorems already known in the literature, as well as new ones. As a by-product we introduce the class of pre-BCK algebras.
We present a groupoid which can be converted into a Boolean algebra with respect to term operations. Also conversely, every Boolean algebra can be reached in this way.
We prove that an orthomodular lattice can be considered as a groupoid with a distinguished element satisfying simple identities.