In any variety of bounded integral residuated lattice-ordered commutative monoids the class of its semisimple members is closed under isomorphic images, subalgebras and products, but it is not closed under homomorphic images, and so it is not a variety. In this paper we study varieties of bounded residuated lattices whose semisimple members form a variety, and we give an equational presentation for them. We also study locally representable varieties whose semisimple members form a variety. Finally, we analyze (...) the relationship with the property “to have radical term”, especially for k-radical varieties, and for the hierarchy of varieties k>0 defined in Cignoli and Torrens. (shrink)

We show that the properties of [relative] semisimplicity and congruence 3-permutability of a [quasi]variety with equationally definable [relative] principal congruences (EDP[R]C) can be characterized syntactically. We prove that a quasivariety with EDPRC is relatively semisimple if and only if it satisfies a finite set of quasi-identities that is effectively constructible from any conjunction of equations defining relative principal congruences in the quasivariety. This in turn allows us to obtain an ‘axiomatization’ of relatively filtral quasivarieties. We also show that a (...) variety is 3-permutable and has EDPC if and only if there is a single pair of quaternary terms satisfying two simple equations, and whose equality defines principal congruences in the variety. Finally, we combine both results to obtain a neat characterization of semisimple, 3-permutable varieties with EDPC, which is applied to solve a problem posed by Blok and Pigozzi in the third paper of their series on varieties with EDPC. (shrink)

We prove several results about groups of finite Morley rank without unipotent p-torsion: p-torsion always occurs inside tori, Sylow p-subgroups are conjugate, and p is not the minimal prime divisor of our approximation to the "Weyl group". These results are quickly finding extensive applications within the classification project.

We prove that all semisimple varieties of FL ew-algebras are discriminator varieties. A characterisation of discriminator and EDPC varieties of FL ew-algebras follows. It matches exactly a natural classification of logics over FL ew proposed by H. Ono.

In this paper we show that a variety of modal algebras of finite type is semisimple iff it is discriminator iff it is both weakly transitive and cyclic. This fact has been claimed already in [4] (based on joint work by the two authors) but the proof was fatally flawed.

In this paper, we show that all semisimple varieties of bounded weak-commutative residuated lattices with an S4-like modal operator are discriminator varieties. We also give a characterization of discriminator and EDPC varieties of bounded weak-commutative residuated lattices with an S4-like modal operator follows.

This paper studies the structure of semisimple rings using techniques of reverse mathematics, where a ring is left semisimple if the left regular module is a finite direct sum of simple submodules. The structure theorem of left semisimple rings, also called Wedderburn-Artin Theorem, is a famous theorem in noncommutative algebra, says that a ring is left semisimple if and only if it is isomorphic to a finite direct product of matrix rings over division rings. We provide (...) a proof for the theorem in $$\mathrm RCA_{0}$$, showing the structure theorem for computable semisimple rings. The decomposition of semisimple rings as finite direct products of matrix rings over division rings is unique. Based on an effective proof of the Jordan-Hölder Theorem for modules with composition series, we also provide an effective proof for the uniqueness of the matrix decomposition of semisimple rings in $$\mathrm RCA_{0}$$. (shrink)

This paper studies various equivalent characterizations of left semisimple rings from the standpoint of reverse mathematics. We first show that \ is equivalent to the statement that any left module over a left semisimple ring is semisimple over \. We then study characterizations of left semisimple rings in terms of projective modules as well as injective modules, and obtain the following results: \ is equivalent to the statement that any left module over a left semisimple (...) ring is projective over \; \ is equivalent to the statement that any left module over a left semisimple ring is injective over \; \ proves the statement that if every cyclic left R-module is projective, then R is a left semisimple ring; \ proves the statement that if every cyclic left R-module is injective, then R is a left semisimple ring. (shrink)

We initiate a study of two general concepts of semisimplicity for MV-algebras by replacing the standard MV-algebra with an arbitrary MV-chain. These generalised notions are called -semisimple MV-algebras and -semisimple MV-algebras. We obtain several of their characterisations and explore in more-depth the case of perfect MV-chains.

We start from Marra–Spada duality between semisimple MV-algebras and Tychonoff spaces, and we consider the particular cases when the \-skeleta of the MV-algebras are restricted in some way. In particular we consider antiskeletal MV-algebras, that is, the ones whose \-skeleton is trivial.

Fisher [10] and Baur [6] showed independently in the seventies that if T is a complete first-order theory extending the theory of modules, then the class of models of T with pure embeddings is stable. In [25, 2.12], it is asked if the same is true for any abstract elementary class $(K, \leq _p)$ such that K is a class of modules and $\leq _p$ is the pure submodule relation. In this paper we give some instances where this is true:Theorem.Assume (...) R is an associative ring with unity. Let $(K, \leq _p)$ be an AEC such that $K \subseteq R\text {-Mod}$ and K is closed under finite direct sums, then: •If K is closed under pure-injective envelopes, then $\mathbf {K}$ is $\lambda $ -stable for every $\lambda \geq \operatorname {LS}(\mathbf {K})$ such that $\lambda ^{|R| + \aleph _0}= \lambda $.•If K is closed under pure submodules and pure epimorphic images, then $\mathbf {K}$ is $\lambda $ -stable for every $\lambda $ such that $\lambda ^{|R| + \aleph _0}= \lambda $.•Assume R is Von Neumann regular. If $\mathbf {K}$ is closed under submodules and has arbitrarily large models, then $\mathbf {K}$ is $\lambda $ -stable for every $\lambda $ such that $\lambda ^{|R| + \aleph _0}= \lambda $.As an application of these results we give new characterizations of noetherian rings, pure-semisimple rings, Dedekind domains, and fields via superstability. Moreover, we show how these results can be used to show a link between being good in the stability hierarchy and being good in the axiomatizability hierarchy.Another application is the existence of universal models with respect to pure embeddings in several classes of modules. Among them, the class of flat modules and the class of $\mathfrak {s}$ -torsion modules. (shrink)

We introduce and study the model-theoretic notions of absolute connectedness and type-absolute connectedness for groups. We prove that groups of rational points of split semisimple linear groups (that is, Chevalley groups) over arbitrary infinite fields are absolutely connected and characterize connected Lie groups which are type-absolutely connected. We prove that the class of type-absolutely connected group is exactly the class of discretely topologized groups with the trivial Bohr compactification, that is, the class of minimally almost periodic groups.

We exhibit infinitely many semisimple varieties of semilinear De Morgan monoids (and likewise relevant algebras) that are not tabular, but which have only tabular proper subvarieties. Thus, the extension of relevance logic by the axiom $$(p\rightarrow q)\vee (q\rightarrow p)$$ ( p → q ) ∨ ( q → p ) has infinitely many pretabular axiomatic extensions, regardless of the presence or absence of Ackermann constants.

This paper deals with the varieties of monadic Heyting algebras, algebraic models of intuitionistic modal logic MIPC. We investigate semisimple, locally finite, finitely approximated and splitting varieties of monadic Heyting algebras as well as varieties with the disjunction and the existence properties. The investigation of monadic Heyting algebras clarifies the correspondence between intuitionistic modal logics over MIPC and superintuitionistic predicate logics and provides us with the solutions of several problems raised by Ono [35].

We offer a proof of the duality theorem for finitely presented MV-algebras and rational polyhedra, a folklore and yet fundamental result. Our approach develops first a general dual adjunction between MV-algebras and subspaces of Tychonoff cubes, endowed with the transformations that are definable in the language of MV-algebras. We then show that this dual adjunction restricts to a duality between semisimple MV-algebras and closed subspaces of Tychonoff cubes. The duality theorem for finitely presented objects is obtained by a further (...) specialisation. Our treatment is aimed at showing exactly which parts of the basic theory of MV-algebras are needed in order to establish these results, with an eye towards future generalisations. (shrink)

A quasivariety of algebras has the joint embedding property (JEP) if and only if it is generated by a single algebra A. It is structurally complete if and only if the free ℵ0‐generated algebra in can serve as A. A consequence of this demand, called ‘passive structural completeness’ (PSC), is that the nontrivial members of all satisfy the same existential positive sentences. We prove that if is PSC then it still has the JEP, and if it has the JEP and (...) its nontrivial members lack trivial subalgebras, then its relatively simple members all belong to the universal class generated by one of them. Under these conditions, if is relatively semisimple then it is generated by one ‐simple algebra. We also prove that a quasivariety of finite type, with a finite nontrivial member, is PSC if and only if its nontrivial members have a common retract. The theory is then applied to the variety of De Morgan monoids, where we isolate the sub(quasi)varieties that are PSC and those that have the JEP, while throwing fresh light on those that are structurally complete. The results illuminate the extension lattices of intuitionistic and relevance logics. (shrink)

It is well known that MTL satisfies the finite embeddability property. Thus MTL is complete w. r. t. the class of all finite MTL-chains. In order to reach a deeper understanding of the structure of this class, we consider the extensions of MTL by adding the generalized contraction since each finite MTL-chain satisfies a form of this generalized contraction. Simultaneously, we also consider extensions of MTL by the generalized excluded middle laws introduced in [9] and the axiom of weak cancellation (...) defined in [31]. The algebraic counterpart of these logics is studied characterizing the subdirectly irreducible, the semisimple, and the simple algebras. Finally, some important algebraic and logical properties of the considered logics are discussed: local finiteness, finite embeddability property, finite model property, decidability, and standard completeness. (shrink)

Based on the hesitant fuzzy set theory which is introduced by Torra in the paper [12], the notions of Inf-hesitant fuzzy subalgebras, Inf-hesitant fuzzy ideals and Inf-hesitant fuzzy p-ideals in BCK/BCI-algebras are introduced, and their relations and properties are investigated. Characterizations of an Inf-hesitant fuzzy subalgebras, an Inf-hesitant fuzzy ideals and an Inf-hesitant fuzzy p-ideal are considered. Using the notion of BCK-parts, an Inf-hesitant fuzzy ideal is constructed. Conditions for an Inf-hesitant fuzzy ideal to be an Inf-hesitant fuzzy p-ideal are (...) discussed. Using the notion of Inf-hesitant fuzzy ideals, a characterization of a p-semisimple BCI-algebra is provided. Extension properties for an Inf-hesitant fuzzy p-ideal is established. (shrink)

This paper studies two dual notions in module theory—namely, radicals and socles—from the standpoint of reverse mathematics. We first consider radicals of Z-modules, where the radical of a Z-module M is defined as the intersection of pM={px:x∈M} with p taken from all primes. It shows that ACA0 is equivalent to the existence of radicals of Z-modules over RCA0. We then study socles of modules over commutative rings with identity. The socle of an R-module M is the largest semisimple submodule (...) of M. We show that the existence of socles of modules over a commutative ring with identity is equivalent to ACA0 over RCA0. Vector spaces are semisimple modules over fields. In general, semisimple modules possess nice properties of vector spaces. Lastly, we study characterizations of semisimple modules over commutative rings using techniques of reverse mathematics. (shrink)

The main theorem characterizes Mittag-Leffler modules as ‘positively atomic’ modules . This is applied to reduced products of Mittag-Leffler modules and pure-semisimple.

A symmetric residuated lattice is an algebra such that is a commutative integral bounded residuated lattice and the equations x=x and =xy are satisfied. The aim of the paper is to investigate the properties of the unary operation ε defined by the prescription εx=x→0. We give necessary and sufficient conditions for ε being an interior operator. Since these conditions are rather restrictive →0)=1 is satisfied) we consider when an iteration of ε is an interior operator. In particular we consider the (...) chain of varieties of symmetric residuated lattices such that the n iteration of ε is a boolean interior operator. For instance, we show that these varieties are semisimple. When n=1, we obtain the variety of symmetric stonean residuated lattices. We also characterize the subvarieties admitting representations as subdirect products of chains. These results generalize and in many cases also simplify, results existing in the literature. (shrink)

We define a characteristic and definable subgroup F*(G) of any group G of finite Morley rank that behaves very much like the generalized Fitting subgroup of a finite group. We also prove that semisimple subnormal subgroups of G are all definable and that there are finitely many of them.

In this paper we make an algebraic study of the variety of MV*-algebras introduced by C. C. Chang as an algebraic counterpart for a logic with positive and negative truth values.We build the algebraic theory of MV*-algebras within its own limits using a concept of ideal and of prime ideal that are very naturally related to the corresponding concepts in l-groups. The main results are a subdirect representation theorem, a completeness theorem, a study of simple and semisimple algebras, and (...) a characterization of the ideal of infinitesimals as an l-group. In the last section we develop a detailed proof a the one-dimensional theorem of McNaughton, that is, the free MV*-algebra in one generator is the algebra of McNaughton functions over [−1,1]. In contrast with the rest of the paper, this last result is based on work done for MV-algebras. (shrink)

In this paper we make an algebraic study of the variety of MV*-algebras introduced by C. C. Chang as an algebraic counterpart for a logic with positive and negative truth values.We build the algebraic theory of MV*-algebras within its own limits using a concept of ideal and of prime ideal that are very naturally related to the corresponding concepts in l-groups. The main results are a subdirect representation theorem, a completeness theorem, a study of simple and semisimple algebras, and (...) a characterization of the ideal of infinitesimals as an l-group. In the last section we develop a detailed proof a the one-dimensional theorem of McNaughton, that is, the free MV*-algebra in one generator is the algebra of McNaughton functions over [−1,1]. In contrast with the rest of the paper, this last result is based on work done for MV-algebras. (shrink)

Schur’s Lemma says that the endomorphism ring of a simple left R-module is a division ring. It plays a fundamental role to prove classical ring structure theorems like the Jacobson Density Theorem and the Wedderburn–Artin Theorem. We first define the endomorphism ring of simple left R-modules by their Π10\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi ^{0}_{1}$$\end{document} subsets and show that Schur’s Lemma is provable in RCA0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathrm RCA_{0}$$\end{document}. A ring (...) R is left primitive if there is a faithful simple left R-module and left semisimple if the left regular module RR\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$_{R}R$$\end{document} is semisimple. The Jacobson Density Theorem and the Wedderburn-Artin Theorem characterize left primitive ring and left semisimple ring, respectively. We then study such theorems from the standpoint of reverse mathematics. (shrink)

The object of this paper is to make a study of four systems of modal logic (S4, S5, and their intuitionistic analogues IM4 and IM5) with the techniques of the theory of abstract logics set up by Suszko, Bloom, Brown, Verdú and others. The abstract concepts corresponding to such systems are defined as generalizations of the logics naturally associated to their algebraic models (topological Boolean or Heyting algebras, general or semisimple). By considering new suitably defined connectives and by distinguishing (...) between having the rule of necessitation only for theorems or as a full inference rule (which amounts to dealing with all filters or with open filters of the algebras) we are able to reduce the study of a modal (abstract) logic L to that of two nonmodal logics L - and L + associated with L. We find that L is "of IM4 type" if and only if L - and L + are both intuitionistic and have the same theorems, and logics of type S4, IM5 or S5 are obtained from those of type IM4 simply by making classical L -, L + or both. We compare this situation with that found in recent approaches to intuitionistic modal logic using birelational models or using higher-level sequent-systems. The treatment of modal systems with abstract logics is rather new, and in our way to it we find several general constructions and results which can also be applied to other modal systems weaker than those we study in detail. (shrink)

In our paper, monadic modal pseudocomplemented De Morgan algebras are considered following Halmos’ studies on monadic Boolean algebras. Hence, their topological representation theory is used successfully. Lattice congruences of an mmpM is characterized and the variety of mmpMs is proven semisimple via topological representation. Furthermore and among other things, the poset of principal congruences is investigated and proven to be a Boolean algebra; therefore, every principal congruence is a Boolean congruence. All these conclusions contrast sharply with known results for (...) monadic De Morgan algebras. Finally, we show that the above results for mmpM are verified for monadic tetravalent modal algebras. (shrink)

We investigate some properties of two varieties of algebras arising from quantum computation - quasi-MV algebras and $\sqrt{^{\prime }}$ quasi-MV algebras - first introduced in \cite{Ledda et al. 2006}, \cite{Giuntini et al. 200+} and tightly connected with fuzzy logic. We establish the finite model property and the congruence extension property for both varieties; we characterize the quasi-MV reducts and subreducts of $\sqrt{^{\prime }}$ quasi-MV algebras; we give a representation of semisimple $\sqrt{^{\prime }}$ quasi-MV algebras in terms of algebras of (...) functions; finally, we describe the structure of free algebras with one generator in both varieties. (shrink)

The rigidity of the real semisimple Lie algebra $${\mathfrak {so}}$$ so was first proved in a brief paper published by Fantappiè in 1954. The purpose of this note is to provide some historical context for this work and discuss why no further developments of this result were pursued by Italian mathematicians at the time.

The variety \ of implication zroupoids and a constant 0) was defined and investigated by Sankappanavar :21–50, 2012), as a generalization of De Morgan algebras. Also, in Sankappanavar :21–50, 2012), several subvarieties of \ were introduced, including the subvariety \, defined by the identity: \, which plays a crucial role in this paper. Some more new subvarieties of \ are studied in Cornejo and Sankappanavar that includes the subvariety \ of semilattices with a least element 0. An explicit description of (...) semisimple subvarieties of \ is given in Cornejo and Sankappanavar. It is a well known fact that there is a partial order ) induced by the operation ∧, both in the variety \ of semilattices with a least element and in the variety \ of De Morgan algebras. As both \ and \ are subvarieties of \ and the definition of partial order can be expressed in terms of the implication and the constant, it is but natural to ask whether the relation \ on \ is actually a partial order in some subvariety of \ that includes both \ and \. The purpose of the present paper is two-fold: Firstly, a complete answer is given to the above mentioned problem. Indeed, our first main theorem shows that the variety \ is a maximal subvariety of \ with respect to the property that the relation \ is a partial order on its members. In view of this result, one is then naturally led to consider the problem of determining the number of non-isomorphic algebras in \ that can be defined on an n-element chain -chains), n being a natural number. Secondly, we answer this problem in our second main theorem which says that, for each \, there are exactly n nonisomorphic \-chains of size n. (shrink)

The concept of classical r matrices is developed from a purely canonical standpoint. The final purpose of this work is to bring about a synthesis between recent developments in the theory of integrable systems and the general theory of quantization as a deformation of classical mechanics. The concept of quantization algebra is here dominant; in integrable systems this is the set of dynamical variables that appear in the Lax pair. The nature of this algebra, a solvable Lie algebra in such (...) models as the Sine-Gordon and Toda field theories but semisimple in the case of spin systems, provides a useful scheme for the classification of integrable models. A completely different classification is obtained by the nature of the r matrix employed; there are three kinds: rational, trigonometric, and elliptic. All cases are studied in detail, with numerous examples. Some of the problems connected with quantization are discussed. (shrink)

The requirement to present Dirac's Large Number Hypothesis in one system of units in which the resulting modifications to Einstein's theory are exhibited, led to the construction of generalizations of General Relativity based rigorously on the geometry of semisimple groups. The foundations of such a theory are discussed and some of their possible interpretations are presented.

The paper has two parts preceded by quite comprehensive preliminaries.In the first part it is shown that a subvariety of the variety ${\cal T}$ of all tense algebras is discriminator if and only if it is semisimple. The variety ${\cal T}$ turns out to be the join of an increasing chain of varieties ${\cal D}_n$, which are discriminator varieties. The argument carries over to all finite type varieties of boolean algebras with operators satisfying some term conditions. In the case (...) of tense algebras, the varieties ${\cal D}_n$ can be further characterised by certain natural conditions on Kripke frames.In the second part it is shown that the lattice of subvarieties of ${\cal D}_0$ has two atoms, the lattice of subvarieties of ${\cal D}_1$ has countably many atoms, and for $n>1$, the lattice of subvarieties of ${\cal D}_n$ has continuum atoms. The proof of the second of the above statements involves a rather detailed description of zero-generated simple algebras in ${\cal D}_1$.Almost all the arguments are cast in algebraic form, but both parts begin with an outline describing their contents from the dual point of view of tense logics. (shrink)

MV-algebras stand for the many-valued Łukasiewicz logic the same as Boolean algebras for the classical logic. States on MV-algebras were first mentioned [20] in probability theory and later also introduced in effort to capture a notion of `an average truth-value of proposition' [15] in Łukasiewicz many-valued logic. In the presented paper, an integral representation theorem for finitely-additive states on semisimple MV-algebra will be proven. Further, we shall prove extension theorems concerning states defined on sub-MV-algebras and normal partitions of unity (...) generalizing in this way the well-known Horn-Tarski theorem for Boolean algebras. (shrink)

We characterize rings over which every cotorsion module is pure injective in terms of certain descending chain conditions and the Ziegler spectrum, which renders the classes of von Neumann regular rings and of pure semisimple rings as two possible extremes. As preparation, descriptions of pure projective and Mittag–Leffler preenvelopes with respect to so-called definable subcategories and of pure generation for such are derived, which may be of interest on their own. Infinitary axiomatizations lead to coherence results previously known for (...) the special case of flat modules. Along with pseudoflat modules we introduce quasiflat modules, which arise naturally in the model-theoretic and the category-theoretic contexts. (shrink)

Given a variety we study the existence of a class such that S1 every A can be represented as a global subdirect product with factors in and S2 every non-trivial A is globally indecomposable. We show that the following varieties (and its subvarieties) have a class satisfying properties S1 and S2: p-algebras, distributive double p-algebras of a finite range, semisimple varieties of lattice expansions such that the simple members form a universal class (bounded distributive lattices, De Morgan algebras, etc) (...) and arithmetical varieties in which the finitely subdirectly irreducible algebras form a universal class (f-rings, vector groups, Wajsberg algebras, discriminator varieties, Heyting algebras, etc). As an application we obtain results analogous to that of Nachbin saying that if every chain of prime filters of a bounded distributive lattice has at most length 1, then the lattice is Boolean. (shrink)

In this paper we investigate the class of MV-algebras equipped with two quantifiers which commute as a natural generalization of diagonal-free two-dimensional cylindric algebras. In the 40s, Tarski first introduced cylindric algebras in order to provide an algebraic apparatus for the study of classical predicate calculus. The diagonal–free two-dimensional cylindric algebras are special cylindric algebras. The treatment here of MV-algebras is done in terms of implication and negation. This allows us to simplify some results due to Di Nola and Grigolia (...) :125–139, 2004) related to the characterization of a quantifier in terms of some special sub-algebra associated to it. On the other hand, we present a topological duality for this class of algebras and we apply it to characterize the congruences of one algebra via certain closed sets. Finally, we study the subvariety of this class generated by a chain of length n + 1. We prove that the subvariety is semisimple and we characterize their simple algebras. Using a special functional algebra, we determine all the simple finite algebras of this subvariety. (shrink)

The study of the theory of operators over modal pseudocomplemented De Morgan algebras was begun in papers [20] and [21]. In this paper, we introduce and study the class of modal pseudocomplemented De Morgan algebras enriched by a k-periodic automorphism -algebras). We denote by \ the automorphism where k is a positive integer. For \, the class coincides with the one studied in [20] where the automorphism works as a new unary operator which can be considered as a negation. In (...) the first place, we develop an algebraic study of the class of \-algebras; as consequence, we prove the class \-algebras is a semisimple variety and determine the generating algebras. After doing the algebraic study and using these properties, we built two families of sentential logics that we denote with \ and \ for every k. \ is a 1-assertional logic and \ is the degree-preserving logic both associated with the class of \-algebras. Working over these logics, we prove that \ is paraconsistent with respect to the de Morgan negation \, which is protoalgebraic and finitely equivalential but not algebraizable. In contrast, we prove that \ is algebraizable, sharing the same theorems with \, but not paraconsistent with respect to \. Furthermore, we show that \ and \ are paracomplete logics with respect to \ and \ and paraconsistent logics with respecto to \, for every k. (shrink)

The composition series of Verma modules and homomorphisms between Verma modules in the case of a complex semisimple Lie algebra were studied by Verma and by Bernstein, Gelfand and Gelfand. The author studies homomorphisms between the Verma modules in characteristic p.

§1. Introduction. Asymptotic cones of metric spaces were first invented by Gromov. They are metric spaces which capture the ‘large-scale structure’ of the underlying metric space. Later, van den Dries and Wilkie gave a more general construction of asymptotic cones using ultrapowers. Certain facts about asymptotic cones, like the completeness of the metric space, now follow rather easily from saturation properties of ultrapowers, and in this survey, we want to present two applications of the van den Dries-Wilkie approach. Using ultrapowers (...) we obtain an explicit description of the asymptotic cone of a semisimple Lie group. From this description, using semi-algebraic groups and non-standard methods, we can give a short proof of the Margulis Conjecture. In a second application, we use set theory to answer a question of Gromov.§2. Definitions. The intuitive idea behind Gromov's concept of an asymptotic cone was to look at a given metric space from an ‘infinite distance’, so that large-scale patterns should become visible. In his original definition this was done by gradually scaling down the metric by factors 1/nfornϵ ℕ. In the approach by van den Dries and Wilkie, this idea was captured by ultrapowers. Their construction is more general in the sense that the asymptotic cone exists for any metric space, whereas in Gromov's original definition, the asymptotic cone existed only for a rather restricted class of spaces. (shrink)

Extending the language of rings to include predicates for Jacobson radical relations, we show that the theory of regular rings defined by Carson, Lipshitz and Saracino is the model completion of the theory of semisimple rings. Removing the requirement on the Jacobson radical (reduced to {0}), we prove that the theory of rings with no nilpotents does not admit a model companion relative to this augmented language.

We investigate expansions of Heyting algebras in possession of a unary term describing the filters that correspond to congruences. Hasimoto proved that Heyting algebras equipped with finitely many normal operators have such a term, generalising a standard construction on finite-type boolean algebras with operators. We utilise Hasimoto’s technique, extending the existence condition to a larger class of EHAs and some classes of double-Heyting algebras. Such a term allows us to characterise varieties with equationally definable principal congruences using a single equation. (...) Moreover, in the presence of a dual pseudocomplement operation, discriminator varieties are characterised by a pair of equations. We also prove that a variety of dually pseudocomplemented EHAs with a normal filter term is semisimple if and only if it is a discriminator variety. This generalises two known results, one by Kowalski and Kracht for finite-type varieties of BAOs, and the other by the present author for dually pseudocomplemented Heyting algebras without additional operations. (shrink)

We investigate expansions of Heyting algebras in possession of a unary term describing the filters that correspond to congruences. Hasimoto proved that Heyting algebras equipped with finitely many normal operators have such a term, generalising a standard construction on finite-type boolean algebras with operators. We utilise Hasimoto’s technique, extending the existence condition to a larger class of EHAs and some classes of double-Heyting algebras. Such a term allows us to characterise varieties with equationally definable principal congruences using a single equation. (...) Moreover, in the presence of a dual pseudocomplement operation, discriminator varieties are characterised by a pair of equations. We also prove that a variety of dually pseudocomplemented EHAs with a normal filter term is semisimple if and only if it is a discriminator variety. This generalises two known results, one by Kowalski and Kracht for finite-type varieties of BAOs, and the other by the present author for dually pseudocomplemented Heyting algebras without additional operations. (shrink)

§1. Introduction. Asymptotic cones of metric spaces were first invented by Gromov. They are metric spaces which capture the ‘large-scale structure’ of the underlying metric space. Later, van den Dries and Wilkie gave a more general construction of asymptotic cones using ultrapowers. Certain facts about asymptotic cones, like the completeness of the metric space, now follow rather easily from saturation properties of ultrapowers, and in this survey, we want to present two applications of the van den Dries-Wilkie approach. Using ultrapowers (...) we obtain an explicit description of the asymptotic cone of a semisimple Lie group. From this description, using semi-algebraic groups and non-standard methods, we can give a short proof of the Margulis Conjecture. In a second application, we use set theory to answer a question of Gromov.§2. Definitions. The intuitive idea behind Gromov's concept of an asymptotic cone was to look at a given metric space from an ‘infinite distance’, so that large-scale patterns should become visible. In his original definition this was done by gradually scaling down the metric by factors 1/nfornϵ ℕ. In the approach by van den Dries and Wilkie, this idea was captured by ultrapowers. Their construction is more general in the sense that the asymptotic cone exists for any metric space, whereas in Gromov's original definition, the asymptotic cone existed only for a rather restricted class of spaces. (shrink)

In this paper we prove that the equational class generated by bounded BCK-algebras is the variety generated by the class of finite simple bounded BCK-algebras. To obtain these results we prove that every simple algebra in the equational class generated by bounded BCK-algebras is also a relatively simple bounded BCK-algebra. Moreover, we show that every simple bounded BCK-algebra can be embedded into a simple integral commutative bounded residuated lattice. We extend our main results to some richer subreducts of the class (...) of integral commutative bounded residuated lattices and to the involutive case. (shrink)