Algebraic and logical geometries of universal algebras (a unified approach)

Pinus, A.
September 2012
Journal of Mathematical Sciences;Sep2012, Vol. 185 Issue 3, p473
Academic Journal
Using the congruences of free algebras as well as the concepts of a conditional term and an implicit operation, a unifying method for studying algebraic and logically definable subsets of universal algebras is suggested. An overview of the results of the author in this field of research is included.


Related Articles

  • Implicitly equivalent universal algebras. Pinus, A. // Siberian Mathematical Journal;Sep2012, Vol. 53 Issue 5, p862 

    The concept of implicit operation on pseudovarieties of semigroups goes back to Eilenberg and Schutzenberger [1]. The author in [2-5] generalized this concept to other classes of algebras and established a connection between these operations and positively conditional termal functions in the...

  • Soft intersection near-rings with its applications. Sezgin, Aslıhan; Atagün, Akın; Çağman, Naim // Neural Computing & Applications;Aug2012 Supplement, Vol. 21, p221 

    In this paper, we first define soft intersection near-ring (soft int near-ring) by using intersection operation of sets. This new notion can be regarded as a bridge among soft set theory, set theory and near-ring theory, since it shows how a soft set effects on a near-ring structure by means of...

  • Geometric and conditional geometric equivalences of algebras. Pinus, A. // Algebra & Logic;Jan2013, Vol. 51 Issue 6, p507 

    The basis for classifying universal algebras is conventionally formed by one or other type of equivalence relations between the algebras, such as isomorphism, elementary equivalence, equivalence of algebras in different logical languages, geometric equivalence, and so on. Of crucial importance...

  • The split algebras and noncompact Hopf maps. Hasebe, Kazuki // Journal of Mathematical Physics;May2010, Vol. 51 Issue 5, p053524 

    We develop a noncompact version of the Hopf maps based on the split algebras. The split algebras consist of three species: split-complex numbers, split quaternions, and split octonions. They correspond to three noncompact Hopf maps that represent topological maps between hyperboloids in...

  • An effective minimal encoding of uncountable sets. Kanovei, V.; Lyubetsky, V. // Siberian Mathematical Journal;Sep2011, Vol. 52 Issue 5, p854 

    We propose a method for encoding sets of the countable ordinals by generic reals which preserves cardinality and enjoys the property of minimality over the encoded set. For W ⊆ ω there is a cardinal-preserving generic extension L[ W][ x] of the class L[ W] by a generic real x such that...

  • On the implicit conditional operations defined on pseudouniversal classes. Pinus, A. G. // Journal of Mathematical Sciences;Jan2007, Vol. 140 Issue 2, p295 

    We study syntactical descriptions of implicit operations on pseudouniversal classes of finite algebras (closed under subalgebras) and the questions of axiomatizability of such classes.

  • Polynomial fusion rings of W-extended logarithmic minimal models. Rasmussen, Jørgen // Journal of Mathematical Physics;Apr2009, Vol. 50 Issue 4, p043512 

    The countably infinite number of Virasoro representations of the logarithmic minimal model LM(p,p′) can be reorganized into a finite number of W-representations with respect to the extended Virasoro algebra symmetry W. Using a lattice implementation of fusion, we recently determined the...

  • MIXED MEANS FOR CENTERED AND UNCENTERED AVERAGING OPERATORS OVER SPHERES AND RELATED RESULTS. Perić, I. // Banach Journal of Mathematical Analysis;2008, Vol. 2 Issue 2, p150 

    Mixed-mean inequalities for integral power means over centered and uncentered spheres are proved. There from we deduce the Hardy type inequalities for corresponding averaging operators. Moreover, we discuss estimates related to the spherical maximal functions.

  • Analyzing a generalized Loop subdivision scheme. Ginkel, I.; Umlauf, G. // Computing;Mar2007, Vol. 79 Issue 2-4, p353 

    In this paper a class of subdivision schemes generalizing the algorithm of Loop is presented. The stencils have the same support as those from the algorithm of Loop, but allow a variety of weights. By varying the weights a class of C 1 regular subdivision schemes is obtained. This class includes...


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics