Conjunctively polynomial-like Boolean functions.

Gonda, J.

Displaying similar documents to “Conjunctively polynomial-like Boolean functions.”

Stability of the 4-2 Binary Addition Circuit Cells. Part I

Katsumi Wasaki (2008)

Formalized Mathematics

Similarity:

To evaluate our formal verification method on a real-size calculation circuit, in this article, we continue to formalize the concept of the 4-2 Binary Addition Cell primitives (FTAs) to define the structures of calculation units for a very fast multiplication algorithm for VLSI implementation [11]. We define the circuit structure of four-types FTAs, TYPE-0 to TYPE-3, using the series constructions of the Generalized Full Adder Circuits (GFAs) that generalized adder to have for each positive...

Cellularity of free products of Boolean algebras (or topologies)

Saharon Shelah (2000)

Fundamenta Mathematicae

Similarity:

The aim this paper is to present an answer to Problem 1 of Monk [10], [11]. We do this by proving in particular that if μ is a strong limit singular cardinal, $θ = {(2^{c f (μ)})}^{+}$ and $2^{μ} = μ^{+}$ then there are Boolean algebras $𝔹_{1}, 𝔹_{2}$ such that $c (𝔹_{1}) = μ, c (𝔹_{2}) < θ b u t c (𝔹_{1} * 𝔹_{2}) = μ^{+}$ . Further we improve this result, deal with the method and the necessity of the assumptions. In particular we prove that if $𝔹$ is a ccc Boolean algebra and $μ^{ℶ_{ω}} \leq λ = c f (λ) \leq 2^{μ}$ then $𝔹$ satisfies the λ-Knaster condition (using the “revised GCH theorem”).

A basis of the conjunctively polynomial-like Boolean functions.

Gonda, J. (2009)

Acta Mathematica Academiae Paedagogicae Nyí regyháziensis. New Series [electronic only]

Similarity:

Prenormality of ideals and completeness of their quotient algebras

A. Morawiec, B. Węglorz (1993)

Colloquium Mathematicae

Similarity:

It is well known that if a nontrivial ideal ℑ on κ is normal, its quotient Boolean algebra P(κ)/ℑ is $κ^{+}$ -complete. It is also known that such completeness of the quotient does not characterize normality, since P(κ)/ℑ turns out to be $κ^{+}$ -complete whenever ℑ is prenormal, i.e. whenever there exists a minimal ℑ-measurable function in $^{κ} κ$ . Recently, it has been established by Zrotowski (see [Z1], [CWZ] and [Z2]) that for non-Mahlo κ, not only is the above condition sufficient but also necessary...

Non-trivial derivations on commutative regular algebras.

A. F. Ber, Vladimir I. Chilin, Fyodor A. Sukochev (2006)

Extracta Mathematicae

Similarity:

Necessary and sufficient conditions are given for a (complete) commutative algebra that is regular in the sense of von Neumann to have a non-zero derivation. In particular, it is shown that there exist non-zero derivations on the algebra L(M) of all measurable operators affiliated with a commutative von Neumann algebra M, whose Boolean algebra of projections is not atomic. Such derivations are not continuous with respect to measure convergence. In the classical setting of the algebra...

Complete description for $m$ -equivalence types of superatomic $I$ -algebras.

Pyrkin, S.G. (2000)

Sibirskij Matematicheskij Zhurnal

Similarity:

The smallest common extension of a sequence of models of ZFC

Lev Bukovský, Jaroslav Skřivánek (1994)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In this note, we show that the model obtained by finite support iteration of a sequence of generic extensions of models of ZFC of length $ω$ is sometimes the smallest common extension of this sequence and very often it is not.

Perfect colorings of the 12-cube that attain the bound on correlation immunity.

Fon-Der-Flaass, D.G. (2007)

Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]

Similarity:

On independence of the relations of epimorphy and embeddability on the variety of all lattices.

Pinus, A.G., Mordvinov, Ya.L. (2002)

Sibirskij Matematicheskij Zhurnal

Similarity:

A forcing construction of thin-tall Boolean algebras

Juan Martínez (1999)

Fundamenta Mathematicae

Similarity:

It was proved by Juhász and Weiss that for every ordinal α with $0 < α < ω_{2}$ 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 $0 < α < κ^{+ +}$ , 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...