In this paper, we propose a novel technique for post-layout delay optimization. This technique identi es the Boolean space corresponding to late arriving transitions at the outputs of delay-critical subcircuits within the given circuit. There transitions are eliminated from the outputs by implementing the corresponding logic separately and merging them with the original circuit through some con...

In this paper we shall give a topological duality for Boolean algebras endowed with an n-ary monotonic operator (BAMOs). The dual spaces of BAMOs are structures of the form ⟨X,R, τ⟩, such that ⟨X, τ⟩ is a Boolean space, and R is a relation between X and finite sequences of non-empty closed subsets of X. By means of this duality we shall characterize the equivalence relations of the dual space o...

The concept of doubling, introduced around 1840 by Hamilton and Graves, associates with any quadratic algebra A over a field k of characterstic not 2 its double V(A) = A×A, with multiplication (w, x)(y, z) = (wy− z̄x, xȳ + zw). It yields an endofunctor on the category of all quadratic k-algebras which is faithful but not full. We study in which respect the division property of a quadratic k-alge...

This paper presents Stieltjes-type integration for operator-valued functions with respect to spectral families. The relation between RiemannStieltjes integrals associated with some classes of spectral families including, in particular, those that arise in the context of the Stone representation theorem for Banach spaces is established. The developed approach is applied to the structural analysi...

In this note we provide a topological description of the MacNeille completion of a Heyting algebra similar to the description of the MacNeille completion of a Boolean algebra in terms of regular open sets of its Stone space. We also show that the only varieties of Heyting algebras that are closed under MacNeille completions are the trivial variety, the variety of all Boolean algebras, and the v...

We give an example of a countable theory T such that for every cardinal λ ≥ א2 there is a fully indiscernible set A of power λ such that the principal types are dense over A, yet there is no atomic model of T over A. In particular, T (A) is a theory of size λ where the principal types are dense, yet T (A) has no atomic model. If a complete theory T has an atomic model then the principal types a...

A study is made of Boolean product representations of bounded lattices over the Stone space of their centres. Special emphasis is placed on relating topological properties such as clopen or regular open equalizers to their equivalent lattice theoretic counterparts. Results are also presented connecting various properties of a lattice with properties of its individual stalks. Mathematics Subject...

Let B(κ, λ) be the subalgebra of P(κ) generated by [κ]. It is shown that if B is any homomorphic image of B(κ, λ) then either |B| < 2 or |B| = |B|, moreover if X is the Stone space of B then either |X| ≤ 2 λ or |X| = |B| = |B|. This implies the existence of 0-dimensional compact T2 spaces whose cardinality and weight spectra omit lots of singular cardinals of “small” cofinality.

By analyzing how one obtains the Stone space of the reduced product of an indexed collection of Boolean algebras from the Stone spaces of those algebras, we derive a topological construction, the "reduced coproduct", which makes sense for indexed collections of arbitrary Tichonov spaces. When the filter in question is an ultrafilter, we show how the "ultracoproduct" can be obtained from the usu...