In ZF, i.e., the Zermelo-Fraenkel set theory minus the Axiom of Choice AC, we investigate the relationship between the Tychonoff product , where 2 is 2 = 0,1 with the discrete topology, and the Stone space S(X) of the Boolean algebra of all subsets of X, where X = ω,ℝ. We also study the possible placement of well-known topological statements which concern the cited spaces in the hierarchy of weak choice principles.
In this paper we introduce a special kind of ordered topological spaces, called Hilbert spaces. We prove that the category of Hilbert algebras with semi-homomorphisms is dually equivalent to the category of Hilbert spaces with certain relations. We restrict this result to give a duality for the category of Hilbert algebras with homomorphisms. We apply these results to prove that the lattice of the deductive systems of a Hilbert algebra and the lattice of open subsets of its dual Hilbert space, are...
Given a complete and atomic Boolean algebra B, there exists a family taugamma of triangular norms on B such that, under the partial ordering of triangular norms, taugamma is a Boolean algebra isomorphic to B, where gamma is the set of all atoms in B. In other words, as we have shown in this note, every complete and atomic Boolean algebra can be represented by its own triangular norms. What we have not shown in this paper is our belief that taugamma is not unique for B and that, for such a representation,...
In this paper we shall give a topological representation for Hilbert algebras that extend the topological representation given by A. Diego in [4]. For implicative semilattices this representation gives a full duality. We shall also consider the representation for Boolean ring.
Partitioner algebras are defined in [2] and are natural tools for studying the properties of maximal almost disjoint families of subsets of ω. In this paper we investigate which free algebras can be represented as partitioner algebras or as subalgebras of partitioner algebras. In so doing we answer a question raised in [2] by showing that the free algebra with generators is represented. It was shown in [2] that it is consistent that the free Boolean algebra of size continuum is not a subalgebra...
Ring-like operations are introduced in pseudocomplemented semilattices in such a way that in the case of Boolean pseudocomplemented semilattices one obtains the corresponding Boolean ring operations. Properties of these ring-like operations are derived and a characterization of Boolean pseudocomplemented semilattices in terms of these operations is given. Finally, ideals in the ring-like structures are defined and characterized.
Ring-like quantum structures generalizing Boolean rings and having the property that the terms corresponding to the two normal forms of the symmetric difference in Boolean algebras coincide are investigated. Subclasses of these structures are algebraically characterized and related to quantum logic. In particular, a physical interpretation of the proposed model following Mackey's approach to axiomatic quantum mechanics is given.
We shall prove that Sacks algebra is nowhere -distributive, which implies that Sacks forcing collapses to .