Displaying similar documents to “Generalized free products”

Maximal free sequences in a Boolean algebra

J. D. Monk (2011)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We study free sequences and related notions on Boolean algebras. A free sequence on a BA A is a sequence 〈 a ξ : ξ < α 〉 of elements of A , with α an ordinal, such that for all F , G ∈ [ α ] < ω with F < G we have ∏ ξ ∈ F a ξ · ∏ ξ ∈ G - a ξ ≠ 0 . A free sequence of length α exists iff the Stone space Ult ( A ) has a free sequence of length α in the topological sense. A free sequence is maximal iff it cannot be extended at the end to a longer free sequence. The main notions studied here are the spectrum function 𝔣 sp ( A ) = { | α | : A has an infinite maximal free sequence of length α } and the associated min-max function 𝔣 ( A ) = min ( 𝔣 sp ( A ) ) . Among...

Ideal independence, free sequences, and the ultrafilter number

Kevin Selker (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We make use of a forcing technique for extending Boolean algebras. The same type of forcing was employed in Baumgartner J.E., Komjáth P., Boolean algebras in which every chain and antichain is countable, Fund. Math. 111 (1981), 125–133, Koszmider P., Forcing minimal extensions of Boolean algebras, Trans. Amer. Math. Soc. 351 (1999), no. 8, 3073–3117, and elsewhere. Using and modifying a lemma of Koszmider, and using CH, we obtain an atomless BA, A such that 𝔣 ( A ) = s mm ( A ) < 𝔲 ( A ) , answering questions raised...

On BPI Restricted to Boolean Algebras of Size Continuum

Eric Hall, Kyriakos Keremedis (2013)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

(i) The statement P(ω) = “every partition of ℝ has size ≤ |ℝ|” is equivalent to the proposition R(ω) = “for every subspace Y of the Tychonoff product 2 ( ω ) the restriction |Y = Y ∩ B: B ∈ of the standard clopen base of 2 ( ω ) to Y has size ≤ |(ω)|”. (ii) In ZF, P(ω) does not imply “every partition of (ω) has a choice set”. (iii) Under P(ω) the following two statements are equivalent: (a) For every Boolean algebra of size ≤ |ℝ| every filter can be extended to an ultrafilter. (b) Every Boolean...

On graphs G for which both g and G̅ are claw-free

Shinya Fujita (2005)

Discussiones Mathematicae Graph Theory

Similarity:

Let G be a graph with |V(G)| ≥ 10. We prove that if both G and G̅ are claw-free, then minΔ(G), Δ(G̅) ≤ 2. As a generalization of this result in the case where |V(G)| is sufficiently large, we also prove that if both G and G̅ are K 1 , t -free, then minΔ(G),Δ(G̅) ≤ r(t- 1,t)-1 where r(t-1,t) is the Ramsey number.

Multiplicative free square of the free Poisson measure and examples of free symmetrization

Melanie Hinz, Wojciech Młotkowski (2010)

Colloquium Mathematicae

Similarity:

We compute the moments and free cumulants of the measure ρ t : = π t ⊠ π t , where π t denotes the free Poisson law with parameter t > 0. We also compute free cumulants of the symmetrization of ρ t . Finally, we introduce the free symmetrization of a probability measure on ℝ and provide some examples.

Orthomodular lattices that are horizontal sums of Boolean algebras

Ivan Chajda, Helmut Länger (2020)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

The paper deals with orthomodular lattices which are so-called horizontal sums of Boolean algebras. It is elementary that every such orthomodular lattice is simple and its blocks are just these Boolean algebras. Hence, the commutativity relation plays a key role and enables us to classify these orthomodular lattices. Moreover, this relation is closely related to the binary commutator which is a term function. Using the class ℋ of horizontal sums of Boolean algebras, we establish an identity...

Minimal generics from subvarieties of the clone extension of the variety of Boolean algebras

Jerzy Płonka (2008)

Colloquium Mathematicae

Similarity:

Let τ be a type of algebras without nullary fundamental operation symbols. We call an identity φ ≈ ψ of type τ clone compatible if φ and ψ are the same variable or the sets of fundamental operation symbols in φ and ψ are nonempty and identical. For a variety of type τ we denote by c the variety of type τ defined by all clone compatible identities from Id(). We call c the clone extension of . In this paper we describe algebras and minimal generics of all subvarieties of c , where is the...

The lattice of subvarieties of the biregularization of the variety of Boolean algebras

Jerzy Płonka (2001)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

Let τ: F → N be a type of algebras, where F is a set of fundamental operation symbols and N is the set of all positive integers. An identity φ ≈ ψ is called biregular if it has the same variables in each of it sides and it has the same fundamental operation symbols in each of it sides. For a variety V of type τ we denote by V b the biregularization of V, i.e. the variety of type τ defined by all biregular identities from Id(V). Let B be the variety of Boolean algebras of type τ b : + , · , ´ → N , where...

Generalised irredundance in graphs: Nordhaus-Gaddum bounds

Ernest J. Cockayne, Stephen Finbow (2004)

Discussiones Mathematicae Graph Theory

Similarity:

For each vertex s of the vertex subset S of a simple graph G, we define Boolean variables p = p(s,S), q = q(s,S) and r = r(s,S) which measure existence of three kinds of S-private neighbours (S-pns) of s. A 3-variable Boolean function f = f(p,q,r) may be considered as a compound existence property of S-pns. The subset S is called an f-set of G if f = 1 for all s ∈ S and the class of f-sets of G is denoted by Ω f ( G ) . Only 64 Boolean functions f can produce different classes Ω f ( G ) , special cases...

On K -Boolean Rings

W. B. Vasantha Kandasamy (1992)

Publications du Département de mathématiques (Lyon)

Similarity: