All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 19 of 19

Showing per page

Effect algebras and ring-like structures

Enrico G. Beltrametti, Maciej J. Maczyński (2003)

Discussiones Mathematicae - General Algebra and Applications

The dichotomic physical quantities, also called propositions, can be naturally associated to maps of the set of states into the real interval [0,1]. We show that the structure of effect algebra associated to such maps can be represented by quasiring structures, which are a generalization of Boolean rings, in such a way that the ring operation of addition can be non-associative and the ring multiplication non-distributive with respect to addition. By some natural assumption on the effect algebra,...

Efficient calculation of the Reed-Muller form by means of the Walsh transform

Piotr Porwik (2002)

International Journal of Applied Mathematics and Computer Science

The paper describes a spectral method for combinational logic synthesis using the Walsh transform and the Reed-Muller form. A new algorithm is presented that allows us to obtain the mixed polarity Reed-Muller expansion of Boolean functions. The most popular minimisation (sub-minimisation) criterion of the Reed-Muller form is obtained by the exhaustive search of all the polarity vectors. This paper presents a non-exhaustive method for Reed-Muller expansions. The new method allows us to build the...

Egoroff, σ, and convergence properties in some archimedean vector lattices

A. W. Hager, J. van Mill (2015)

Studia Mathematica

An archimedean vector lattice A might have the following properties: (1) the sigma property (σ): For each a ₙ n ∈ ℕ c o n A ⁺ there are λ ₙ n ∈ ℕ ⊆ ( 0 , ∞ ) and a ∈ A with λₙaₙ ≤ a for each n; (2) order convergence and relative uniform convergence are equivalent, denoted (OC ⇒ RUC): if aₙ ↓ 0 then aₙ → 0 r.u. The conjunction of these two is called strongly Egoroff. We consider vector lattices of the form D(X) (all extended real continuous functions on the compact space X) showing that (σ) and (OC ⇒ RUC) are equivalent, and equivalent...

Elementary equivalence of lattices of open sets definable in o-minimal expansions of real closed fields

Vincent Astier (2013)

Fundamenta Mathematicae

We prove that the boolean algebras of sets definable in elementarily equivalent o-minimal expansions of real closed fields are back-and-forth equivalent, and in particular elementarily equivalent, in the language of boolean algebras with new predicates indicating the dimension, Euler characteristic and open sets. We also show that the boolean algebra of semilinear subsets of [0,1]ⁿ definable in an o-minimal expansion of a real closed field is back-and-forth equivalent to the boolean algebra of definable...

Embeddings into 𝓟(ℕ)/fin and extension of automorphisms

A. Bella, A. Dow, K. P. Hart, M. Hrusak, J. van Mill, P. Ursino (2002)

Fundamenta Mathematicae

Given a Boolean algebra 𝔹 and an embedding e:𝔹 → 𝓟(ℕ)/fin we consider the possibility of extending each or some automorphism of 𝔹 to the whole 𝓟(ℕ)/fin. Among other things, we show, assuming CH, that for a wide class of Boolean algebras there are embeddings for which no non-trivial automorphism can be extended.

Equimorphy in varieties of distributive double p -algebras

Václav Koubek, Jiří Sichler (1998)

Czechoslovak Mathematical Journal

Any finitely generated regular variety 𝕍 of distributive double p -algebras is finitely determined, meaning that for some finite cardinal n ( 𝕍 ) , any subclass S ⊆ 𝕍 of algebras with isomorphic endomorphism monoids has fewer than n ( 𝕍 ) pairwise non-isomorphic members. This result follows from our structural characterization of those finitely generated almost regular varieties which are finitely determined. We conjecture that any finitely generated, finitely determined variety of distributive double p -algebras...

Essential Arity Gap of Boolean Functions

Shtrakov, Slavcho (2008)

Serdica Journal of Computing

In this paper we investigate the Boolean functions with maximum essential arity gap. Additionally we propose a simpler proof of an important theorem proved by M. Couceiro and E. Lehtonen in [3]. They use Zhegalkin’s polynomials as normal forms for Boolean functions and describe the functions with essential arity gap equals 2. We use to instead Full Conjunctive Normal Forms of these polynomials which allows us to simplify the proofs and to obtain several combinatorial results concerning the Boolean functions...

Existence of Periodic Solutions for Nonlinear Neutral Dynamic Equations with Functional Delay on a Time Scale

Abdelouaheb Ardjouni, Ahcène Djoudi (2013)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Let 𝕋 be a periodic time scale. The purpose of this paper is to use a modification of Krasnoselskii’s fixed point theorem due to Burton to prove the existence of periodic solutions on time scale of the nonlinear dynamic equation with variable delay x ▵ t = - a t h x σ t + c ( t ) x ▵ ˜ t - r t + G t , x t , x t - r t , t ∈ 𝕋 , where f ▵ is the ▵ -derivative on 𝕋 and f ▵ ˜ is the ▵ -derivative on ( i d - r ) ( 𝕋 ) . We invert the given equation to obtain an equivalent integral equation from which we define a fixed point mapping written as a sum of a large contraction and a compact map. We show...

Currently displaying 1 – 19 of 19

Page 1