Subjects -> MATHEMATICS (Total: 1118 journals)
    - APPLIED MATHEMATICS (92 journals)
    - GEOMETRY AND TOPOLOGY (23 journals)
    - MATHEMATICS (819 journals)
    - MATHEMATICS (GENERAL) (45 journals)
    - NUMERICAL ANALYSIS (26 journals)
    - PROBABILITIES AND MATH STATISTICS (113 journals)

MATHEMATICS (819 journals)                  1 2 3 4 5 | Last

Showing 1 - 200 of 538 Journals sorted alphabetically
Abakós     Open Access   (Followers: 5)
Abhandlungen aus dem Mathematischen Seminar der Universitat Hamburg     Hybrid Journal   (Followers: 3)
Accounting Perspectives     Full-text available via subscription   (Followers: 9)
ACM Transactions on Algorithms (TALG)     Hybrid Journal   (Followers: 17)
ACM Transactions on Computational Logic (TOCL)     Hybrid Journal   (Followers: 5)
ACM Transactions on Mathematical Software (TOMS)     Hybrid Journal   (Followers: 9)
ACS Applied Materials & Interfaces     Hybrid Journal   (Followers: 44)
Acta Applicandae Mathematicae     Hybrid Journal   (Followers: 2)
Acta Mathematica     Hybrid Journal   (Followers: 11)
Acta Mathematica Hungarica     Hybrid Journal   (Followers: 2)
Acta Mathematica Scientia     Full-text available via subscription   (Followers: 5)
Acta Mathematica Sinica, English Series     Hybrid Journal   (Followers: 6)
Acta Mathematica Vietnamica     Hybrid Journal  
Acta Mathematicae Applicatae Sinica, English Series     Hybrid Journal  
Advanced Science Letters     Full-text available via subscription   (Followers: 13)
Advances in Applied Clifford Algebras     Hybrid Journal   (Followers: 6)
Advances in Catalysis     Full-text available via subscription   (Followers: 8)
Advances in Complex Systems     Hybrid Journal   (Followers: 12)
Advances in Computational Mathematics     Hybrid Journal   (Followers: 23)
Advances in Decision Sciences     Open Access   (Followers: 4)
Advances in Difference Equations     Open Access   (Followers: 5)
Advances in Fixed Point Theory     Open Access   (Followers: 9)
Advances in Geosciences (ADGEO)     Open Access   (Followers: 22)
Advances in Linear Algebra & Matrix Theory     Open Access   (Followers: 10)
Advances in Materials Science     Open Access   (Followers: 22)
Advances in Mathematical Physics     Open Access   (Followers: 10)
Advances in Mathematics     Full-text available via subscription   (Followers: 22)
Advances in Numerical Analysis     Open Access   (Followers: 8)
Advances in Operations Research     Open Access   (Followers: 14)
Advances in Operator Theory     Hybrid Journal   (Followers: 4)
Advances in Porous Media     Full-text available via subscription   (Followers: 6)
Advances in Pure Mathematics     Open Access   (Followers: 11)
Advances in Science and Research (ASR)     Open Access   (Followers: 8)
Aequationes Mathematicae     Hybrid Journal   (Followers: 2)
African Journal of Educational Studies in Mathematics and Sciences     Full-text available via subscription   (Followers: 12)
African Journal of Mathematics and Computer Science Research     Open Access   (Followers: 7)
Afrika Matematika     Hybrid Journal   (Followers: 3)
Air, Soil & Water Research     Open Access   (Followers: 13)
AKSIOMA Journal of Mathematics Education     Open Access   (Followers: 4)
AKSIOMATIK : Jurnal Penelitian Pendidikan dan Pembelajaran Matematika     Open Access   (Followers: 1)
Al-Jabar : Jurnal Pendidikan Matematika     Open Access   (Followers: 1)
Al-Qadisiyah Journal for Computer Science and Mathematics     Open Access   (Followers: 1)
AL-Rafidain Journal of Computer Sciences and Mathematics     Open Access   (Followers: 6)
Algebra and Logic     Hybrid Journal   (Followers: 8)
Algebra Colloquium     Hybrid Journal   (Followers: 4)
Algebra Universalis     Hybrid Journal   (Followers: 2)
Algorithmic Operations Research     Open Access   (Followers: 5)
Algorithms     Open Access   (Followers: 14)
Algorithms Research     Open Access   (Followers: 2)
American Journal of Computational and Applied Mathematics     Open Access   (Followers: 10)
American Journal of Mathematical Analysis     Open Access   (Followers: 2)
American Journal of Mathematical and Management Sciences     Hybrid Journal   (Followers: 1)
American Journal of Mathematics     Full-text available via subscription   (Followers: 9)
American Journal of Operations Research     Open Access   (Followers: 8)
American Mathematical Monthly     Full-text available via subscription   (Followers: 7)
An International Journal of Optimization and Control: Theories & Applications     Open Access   (Followers: 13)
Analele Universitatii Ovidius Constanta - Seria Matematica     Open Access  
Analysis and Applications     Hybrid Journal   (Followers: 2)
Analysis and Mathematical Physics     Hybrid Journal   (Followers: 10)
Analysis Mathematica     Full-text available via subscription  
Anargya : Jurnal Ilmiah Pendidikan Matematika     Open Access   (Followers: 8)
Annales Mathematicae Silesianae     Open Access   (Followers: 2)
Annales mathématiques du Québec     Hybrid Journal   (Followers: 4)
Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica     Open Access   (Followers: 1)
Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica     Open Access  
Annali di Matematica Pura ed Applicata     Hybrid Journal   (Followers: 1)
Annals of Combinatorics     Hybrid Journal   (Followers: 3)
Annals of Data Science     Hybrid Journal   (Followers: 17)
Annals of Discrete Mathematics     Full-text available via subscription   (Followers: 8)
Annals of Functional Analysis     Hybrid Journal   (Followers: 4)
Annals of Mathematics     Full-text available via subscription   (Followers: 4)
Annals of Mathematics and Artificial Intelligence     Hybrid Journal   (Followers: 16)
Annals of PDE     Hybrid Journal  
Annals of Pure and Applied Logic     Open Access   (Followers: 6)
Annals of the Alexandru Ioan Cuza University - Mathematics     Open Access  
Annals of the Institute of Statistical Mathematics     Hybrid Journal   (Followers: 1)
Annals of West University of Timisoara - Mathematics     Open Access   (Followers: 1)
Annals of West University of Timisoara - Mathematics and Computer Science     Open Access   (Followers: 2)
Annuaire du Collège de France     Open Access   (Followers: 6)
ANZIAM Journal     Open Access   (Followers: 2)
Applicable Algebra in Engineering, Communication and Computing     Hybrid Journal   (Followers: 3)
Applications of Mathematics     Hybrid Journal   (Followers: 3)
Applied Categorical Structures     Hybrid Journal   (Followers: 4)
Applied Computational Intelligence and Soft Computing     Open Access   (Followers: 16)
Applied Mathematics     Open Access   (Followers: 10)
Applied Mathematics     Open Access   (Followers: 6)
Applied Mathematics & Optimization     Hybrid Journal   (Followers: 13)
Applied Mathematics - A Journal of Chinese Universities     Hybrid Journal   (Followers: 2)
Applied Mathematics and Nonlinear Sciences     Open Access   (Followers: 1)
Applied Mathematics Letters     Full-text available via subscription   (Followers: 3)
Applied Mathematics Research eXpress     Hybrid Journal   (Followers: 2)
Applied Network Science     Open Access   (Followers: 3)
Applied Numerical Mathematics     Hybrid Journal   (Followers: 6)
Applied Spatial Analysis and Policy     Hybrid Journal   (Followers: 6)
Arab Journal of Mathematical Sciences     Open Access   (Followers: 4)
Arabian Journal of Mathematics     Open Access   (Followers: 2)
Archive for Mathematical Logic     Hybrid Journal   (Followers: 4)
Archive of Applied Mechanics     Hybrid Journal   (Followers: 6)
Archive of Numerical Software     Open Access  
Archives of Computational Methods in Engineering     Hybrid Journal   (Followers: 6)
Arkiv för Matematik     Hybrid Journal   (Followers: 1)
Armenian Journal of Mathematics     Open Access   (Followers: 1)
Arnold Mathematical Journal     Hybrid Journal   (Followers: 1)
Artificial Satellites     Open Access   (Followers: 24)
Asia-Pacific Journal of Operational Research     Hybrid Journal   (Followers: 3)
Asian Journal of Algebra     Open Access   (Followers: 1)
Asian Research Journal of Mathematics     Open Access  
Asian-European Journal of Mathematics     Hybrid Journal   (Followers: 4)
Australian Mathematics Teacher, The     Full-text available via subscription   (Followers: 7)
Australian Primary Mathematics Classroom     Full-text available via subscription   (Followers: 7)
Australian Senior Mathematics Journal     Full-text available via subscription   (Followers: 2)
Automatic Documentation and Mathematical Linguistics     Hybrid Journal   (Followers: 5)
Axioms     Open Access   (Followers: 1)
Baltic International Yearbook of Cognition, Logic and Communication     Open Access   (Followers: 2)
Banach Journal of Mathematical Analysis     Hybrid Journal   (Followers: 1)
Basin Research     Hybrid Journal   (Followers: 6)
BIBECHANA     Open Access   (Followers: 2)
Biomath     Open Access  
BIT Numerical Mathematics     Hybrid Journal   (Followers: 1)
Boletim Cearense de Educação e História da Matemática     Open Access  
Boletim de Educação Matemática     Open Access  
Boletín de la Sociedad Matemática Mexicana     Hybrid Journal  
Bollettino dell'Unione Matematica Italiana     Full-text available via subscription   (Followers: 3)
British Journal for the History of Mathematics     Hybrid Journal  
British Journal of Mathematical and Statistical Psychology     Full-text available via subscription   (Followers: 20)
Bruno Pini Mathematical Analysis Seminar     Open Access  
Buletinul Academiei de Stiinte a Republicii Moldova. Matematica     Open Access   (Followers: 15)
Bulletin des Sciences Mathamatiques     Full-text available via subscription   (Followers: 4)
Bulletin of Dnipropetrovsk University. Series : Communications in Mathematical Modeling and Differential Equations Theory     Open Access   (Followers: 3)
Bulletin of Mathematical Sciences     Open Access   (Followers: 1)
Bulletin of Symbolic Logic     Full-text available via subscription   (Followers: 3)
Bulletin of Taras Shevchenko National University of Kyiv. Series: Physics and Mathematics     Open Access  
Bulletin of the Australian Mathematical Society     Full-text available via subscription   (Followers: 2)
Bulletin of the Brazilian Mathematical Society, New Series     Hybrid Journal  
Bulletin of the Iranian Mathematical Society     Hybrid Journal  
Bulletin of the London Mathematical Society     Hybrid Journal   (Followers: 3)
Bulletin of the Malaysian Mathematical Sciences Society     Hybrid Journal  
Cadernos do IME : Série Matemática     Open Access   (Followers: 2)
Calculus of Variations and Partial Differential Equations     Hybrid Journal  
Canadian Journal of Mathematics / Journal canadien de mathématiques     Hybrid Journal  
Canadian Journal of Science, Mathematics and Technology Education     Hybrid Journal   (Followers: 23)
Canadian Mathematical Bulletin     Hybrid Journal  
Carpathian Mathematical Publications     Open Access   (Followers: 1)
Catalysis in Industry     Hybrid Journal   (Followers: 1)
CEAS Space Journal     Hybrid Journal   (Followers: 6)
CHANCE     Hybrid Journal   (Followers: 5)
Chaos, Solitons & Fractals     Hybrid Journal   (Followers: 3)
Chaos, Solitons & Fractals : X     Open Access   (Followers: 1)
ChemSusChem     Hybrid Journal   (Followers: 8)
Chinese Annals of Mathematics, Series B     Hybrid Journal  
Chinese Journal of Catalysis     Full-text available via subscription   (Followers: 3)
Chinese Journal of Mathematics     Open Access  
Ciencia     Open Access   (Followers: 1)
CODEE Journal     Open Access   (Followers: 2)
Cogent Mathematics     Open Access   (Followers: 2)
Cognitive Computation     Hybrid Journal   (Followers: 3)
Collectanea Mathematica     Hybrid Journal  
College Mathematics Journal     Hybrid Journal   (Followers: 4)
COMBINATORICA     Hybrid Journal  
Combinatorics, Probability and Computing     Hybrid Journal   (Followers: 4)
Combustion Theory and Modelling     Hybrid Journal   (Followers: 18)
Commentarii Mathematici Helvetici     Hybrid Journal  
Communications in Advanced Mathematical Sciences     Open Access  
Communications in Combinatorics and Optimization     Open Access  
Communications in Contemporary Mathematics     Hybrid Journal  
Communications in Mathematical Physics     Hybrid Journal   (Followers: 4)
Communications On Pure & Applied Mathematics     Hybrid Journal   (Followers: 5)
Complex Analysis and its Synergies     Open Access   (Followers: 3)
Complex Variables and Elliptic Equations: An International Journal     Hybrid Journal  
Composite Materials Series     Full-text available via subscription   (Followers: 11)
Compositio Mathematica     Full-text available via subscription  
Comptes Rendus : Mathematique     Open Access  
Computational and Applied Mathematics     Hybrid Journal   (Followers: 4)
Computational and Mathematical Methods     Hybrid Journal  
Computational and Mathematical Methods in Medicine     Open Access   (Followers: 3)
Computational and Mathematical Organization Theory     Hybrid Journal   (Followers: 1)
Computational Complexity     Hybrid Journal   (Followers: 4)
Computational Mathematics and Modeling     Hybrid Journal   (Followers: 9)
Computational Mechanics     Hybrid Journal   (Followers: 10)
Computational Methods and Function Theory     Hybrid Journal  
Computational Optimization and Applications     Hybrid Journal   (Followers: 11)
Computers & Mathematics with Applications     Full-text available via subscription   (Followers: 11)
Confluentes Mathematici     Hybrid Journal  
Constructive Mathematical Analysis     Open Access   (Followers: 1)
Contributions to Discrete Mathematics     Open Access   (Followers: 1)
Contributions to Game Theory and Management     Open Access  
COSMOS     Hybrid Journal   (Followers: 1)
Cryptography and Communications     Hybrid Journal   (Followers: 14)
Cuadernos de Investigación y Formación en Educación Matemática     Open Access  
Cubo. A Mathematical Journal     Open Access  
Current Research in Biostatistics     Open Access   (Followers: 8)
Czechoslovak Mathematical Journal     Hybrid Journal   (Followers: 1)
Daya Matematis : Jurnal Inovasi Pendidikan Matematika     Open Access   (Followers: 1)
Demographic Research     Open Access   (Followers: 16)
Design Journal : An International Journal for All Aspects of Design     Hybrid Journal   (Followers: 35)
Desimal : Jurnal Matematika     Open Access   (Followers: 3)
Developments in Clay Science     Full-text available via subscription   (Followers: 1)
Developments in Mineral Processing     Full-text available via subscription   (Followers: 3)
Dhaka University Journal of Science     Open Access  
Differential Equations and Dynamical Systems     Hybrid Journal   (Followers: 4)

        1 2 3 4 5 | Last

Similar Journals
Journal Cover
Algebra Universalis
Journal Prestige (SJR): 0.583
Citation Impact (citeScore): 1
Number of Followers: 2  
 
  Hybrid Journal Hybrid journal (It can contain Open Access articles)
ISSN (Print) 1420-8911 - ISSN (Online) 0002-5240
Published by Springer-Verlag Homepage  [2658 journals]
  • On regularity and injectivity of the ring of real-continuous functions on
           a topoframe

    • Free pre-print version: Loading...

      Abstract: A frame is a complete lattice in which the meet distributes over arbitrary joins. Let \(\tau \) be a subframe of a frame L such that every element of \(\tau \) has a complement in L, then \((L, \tau )\) , briefly \(L_{ \tau }\) , is said to be a topoframe. Let \({\mathcal {R}}L_\tau \) be the ring of real-continuous functions on a topoframe \(L_{ \tau }\) . We define P-topoframes and show that \(L_{\tau }\) is a P-topoframe if and only if \({\mathcal {R}}L_{\tau }\) is a regular ring if and only if it is a \(\aleph _0\) -self-injective ring. We define extremally disconnected topoframes and show that \(L_{\tau }\) is an extremally disconnected topoframe if and only if \(\tau \) is an extremally disconnected frame. For a completely regular topoframe \(L_\tau \) , it is shown that \(L_\tau \) is an extremally disconnected topoframe if and only if \({\mathcal {R}}L_\tau \) is a Baer ring if and only if it is a CS-ring. Finally, we prove that a completely regular topoframe \(L_\tau \) is an extremally disconnected P-topoframe if and only if \({\mathcal {R}}L_\tau \) is a self-injective ring.
      PubDate: 2021-09-30
       
  • Dualities for subresiduated lattices

    • Free pre-print version: Loading...

      Abstract: A subresiduated lattice is a pair (A, D), where A is a bounded distributive lattice, D is a bounded sublattice of A and for every \(a,b\in A\) there is \(c\in D\) such that for all \(d\in D\) , \(d\wedge a\le b\) if and only if \(d\le c\) . This c is denoted by \(a\rightarrow b\) . This pair can be regarded as an algebra \(\left<A,\wedge ,\vee ,\rightarrow ,0,1\right>\) of type (2, 2, 2, 0, 0) where \(D=\{a\in A\mid 1\rightarrow a=a\}\) . The class of subresiduated lattices is a variety which properly contains to the variety of Heyting algebras. In this paper we present dual equivalences for the algebraic category of subresiduated lattices. More precisely, we develop a spectral style duality and a bitopological style duality for this algebraic category. Finally we study the connections of these results with a known Priestley style duality for the algebraic category of subresiduated lattices.
      PubDate: 2021-09-28
       
  • Perfect extensions of de Morgan algebras

    • Free pre-print version: Loading...

      Abstract: An algebra \(\mathbf{A}\) is called a perfect extension of its subalgebra  \(\mathbf{B}\) if every congruence of \(\mathbf{B}\) has a unique extension to \(\mathbf{A}\) . This terminology was used by Blyth and Varlet [1994]. In the case of lattices, this concept was described by Grätzer and Wehrung [1999] by saying that \(\mathbf{A}\) is a congruence-preserving extension of \(\mathbf{B}\) . Not many investigations of this concept have been carried out so far. The present authors in another recent study faced the question of when a de Morgan algebra \(\mathbf{M}\) is perfect extension of its Boolean subalgebra \(B(\mathbf{M})\) , the so-called skeleton of \(\mathbf{M}\) . In this note a full solution to this interesting problem is given. The theory of natural dualities in the sense of Davey and Werner [1983] and Clark and Davey [1998], as well as Boolean product representations, are used as the main tools to obtain the solution.
      PubDate: 2021-09-18
       
  • On the representation of measures over bounded lattices

    • Free pre-print version: Loading...

      Abstract: In this paper we investigate measures over bounded lattices, extending and giving a unifying treatment to previous works. In particular, we prove that the measures of an arbitrary bounded lattice can be represented as measures over a suitably chosen Boolean lattice. Using techniques from algebraic geometry, we also prove that given a bounded lattice X there exists a scheme \(\mathcal {X}\) such that a measure over X is the same as a (scheme-theoretic) measure over \(\mathcal {X}\) . We also define the measurability of a lattice, and describe measures over finite lattices.
      PubDate: 2021-09-16
       
  • The structure of finite commutative idempotent involutive residuated
           lattices

    • Free pre-print version: Loading...

      Abstract: We characterize commutative idempotent involutive residuated lattices as disjoint unions of Boolean algebras arranged over a distributive lattice. We use this description to introduce a new construction, called gluing, that allows us to build new members of this variety from other ones. In particular, all finite members can be constructed in this way from Boolean algebras. Finally, we apply our construction to prove that the fusion reduct of any finite member is a distributive semilattice, and to show that this variety is not locally finite.
      PubDate: 2021-09-16
       
  • Algebras from congruences

    • Free pre-print version: Loading...

      Abstract: We present a functorial construction which, starting from a congruence \(\alpha \) of finite index in an algebra \(\mathbf {A}\) , yields a new algebra \(\mathbf {C}\) with the following properties: the congruence lattice of \(\mathbf {C}\) is isomorphic to the interval of congruences between 0 and \(\alpha \) on \(\mathbf {A}\) , this isomorphism preserves higher commutators and TCT types, and \(\mathbf {C}\) inherits all idempotent Maltsev conditions from \(\mathbf {A}\) . As applications of this construction, we first show that supernilpotence is decidable for congruences of finite algebras in varieties that omit type \(\mathbf {1}\) . Secondly, we prove that the subpower membership problem for finite algebras with a cube term can be effectively reduced to membership questions in subdirect products of subdirectly irreducible algebras with central monoliths. As a consequence, we obtain a polynomial time algorithm for the subpower membership problem for finite algebras with a cube term in which the monolith of every subdirectly irreducible section has a supernilpotent centralizer.
      PubDate: 2021-09-07
       
  • On a new construction of pseudocomplemented semilattices

    • Free pre-print version: Loading...

      Abstract: In the theory of semigroups there exists a construction of some semilattices from a special family of semigroups. It is the so-called ‘strong semilattice of semigroups’. Modifying this idea we can present a new construction method for arbitrary pseudocomplemented semilattice (= PCS) L using ‘full triples’. This construction centers around the classical Glivenko-Frink congruence \(\Gamma (L)\) . This fact plays an important role. Namely, PCS L is a disjoint union of all congruence classes of \(\Gamma (L)\) (or of GF-blocks for short). In order to get a ‘full triple’ of L, the so-called ‘associate’ full triple of L, we need the Boolean algebra of closed elements B(L), the whole family of GF-blocks \(\{\,\Gamma _a\mid a\in B(L)\,\}\) and a suitable semilattice homomorphism \(\varphi _{a,b}:\Gamma _a\rightarrow \Gamma _b\) for any \(a\ge b\) in B(L). There is also a definition of an ‘abstract’ full triple, which we use by a construction of a PCS. The notion of a full triple is an extension of the ‘classical’ triple, which do work only with just one GF-block D(L) satisfying \(1\in D(L)\) . It is known that there exist PCS’s which cannot be constructed by using a classical triple method. In addition, we explore in some detail the homomorphisms and the subalgebras of PCS’s.
      PubDate: 2021-09-06
       
  • The lattice of monomial clones on finite fields

    • Free pre-print version: Loading...

      Abstract: We investigate the lattice of clones that are generated by a set of functions that are induced on a finite field \({\mathbb {F}}\) by monomials. We study the atoms and coatoms of this lattice and investigate whether this lattice contains infinite ascending chains, or infinite descending chains, or infinite antichains.We give a connection between the lattice of these clones and semi-affine algebras. Furthermore, we show that the sublattice of idempotent clones of this lattice is finite and every idempotent monomial clone is principal.
      PubDate: 2021-08-31
       
  • Big lattices of hereditary and natural classes of linear modular lattices

    • Free pre-print version: Loading...

      Abstract: The collection of hereditary classes of modules over an arbitrary ring R is a pseudocomplemented complete big lattice. The elements of its skeleton are precisely the natural classes of R-modules. In this paper we extend some results about hereditary classes in R-Mod to the category \(\mathcal {L}_\mathcal {M}\) of linear modular lattices, which has as objects all modular complete lattices and as morphisms all linear morphisms. We also define natural classes in the full subcategory \(\mathcal {L}_{{\mathcal {M}}_{c}}\) of upper semicontinuous modular complete lattices and show that the collection of these classes is the skeleton of the big lattice of hereditary classes in \(\mathcal {L}_{{\mathcal {M}}_{c}}\) and is a boolean big lattice.
      PubDate: 2021-08-24
       
  • Conjunctive join-semilattices

    • Free pre-print version: Loading...

      Abstract: A join-semilattice L with top is said to be conjunctive if every principal ideal is an intersection of maximal ideals. (This is equivalent to a first-order condition in the language of semilattices.) In this paper, we explore the consequences of the conjunctivity hypothesis for L, and we define and study a related property, called “ideal conjunctivity,” which is applicable to join-semilattices without top. Results include the following: (a) Every conjunctive join-semilattice is isomorphic to a join-closed subbase for a compact \(T_1\) -topology on \(\mathop {\mathrm {max}}L\) , the set of maximal ideals of L, and under weak hypotheses this representation is functorial. (b) Every Wallman base for a topological space is conjunctive; we give an example of a conjunctive annular base that is not Wallman. (c) The free distributive lattice over a conjunctive join-semilattice L is a subsemilattice of the power set of \(\mathop {\mathrm {max}}L\) . (d) For an arbitrary join-semilattice L: if every u-maximal ideal is prime (i.e., the complement is a filter) for every \(u\in L\) , then L satisfies Katriňák’s distributivity axiom. (This appears to be new, though the converse is well known.) If L is conjunctive, all the 1-maximal ideals of L are prime if and only if L satisfies a weak distributivity axiom due to Varlet. We include a number of applications.
      PubDate: 2021-08-24
       
  • Topologies of pointwise convergence in the first order languages and in
           affine spaces

    • Free pre-print version: Loading...

      Abstract: The Galois correspondence \({{\mathbf {G}}}\) between sets of logical formulas of the first order language \(\mathbf{L}\) over a signature L and type definable sets over an \(\mathbf{L}\) -structure A on the set \({{\mathbf {A}}}\) is extensively studied in the literature. The Stone topology is successfully applied in model theory. We investigate basic properties of the pointwise convergence topologies in languages \(\mathbf{L_n}(A)\) , that consist of first order formulas with n free variables, and in affine spaces \({{\mathbf {A}}}^n\) over A, and compare these topologies with Stone topology and Zariski topology. In particular, we show, that Zariski topology is strongly weaker than the pointwise convergence topology and the pointwise convergence topology coincides with the Stone topology on a subset U of the first order language \(\mathbf{L}(A)\) if and only if U is finite modulo logic equivalence of formulas.
      PubDate: 2021-08-05
       
  • Coextensive varieties via central elements

    • Free pre-print version: Loading...

      Abstract: In this paper we use the theory of central elements in order to provide a characterization for coextensive varieties. In particular, if a variety is of finite type, congruence-permutable and its class of directly indecomposable members is universal, then the variety is coextensive if and only if it is a variety of shells.
      PubDate: 2021-08-05
       
  • Another problem of Jónsson and McKenzie from 1982: refinement properties
           for connected powers of posets

    • Free pre-print version: Loading...

      Abstract: It is proven in this note that if non-empty posets A, B, C, and D satisfy \(A^C\cong B^D\) where C, D, and \(A^C\) are finite and connected, then there exist posets E, X, Y, and Z such that \(A\cong E^X\) , \(B\cong E^Y\) , \(C\cong Y\times Z\) , and \(D\cong X\times Z\) . This solves a problem posed by Jónsson and McKenzie in 1982.
      PubDate: 2021-07-19
       
  • The complexity of homomorphism factorization

    • Free pre-print version: Loading...

      Abstract: We investigate the computational complexity of the problem of deciding if an algebra homomorphism can be factored through an intermediate algebra. Specifically, we fix an algebraic language, \(\mathcal L\) , and take as input an algebra homomorphism \(f:X\rightarrow Z\) between two finite \(\mathcal L\) -algebras X and Z, along with an intermediate finite \(\mathcal L\) -algebra Y. The decision problem asks whether there are homomorphisms \(g:X\rightarrow Y\) and \(h:Y\rightarrow Z\) such that \(f=hg\) . We show that this problem is NP-complete for most languages.
      PubDate: 2021-07-12
       
  • Constructing illoyal algebra-valued models of set theory

    • Free pre-print version: Loading...

      Abstract: An algebra-valued model of set theory is called loyal to its algebra if the model and its algebra have the same propositional logic; it is called faithful if all elements of the algebra are truth values of a sentence of the language of set theory in the model. We observe that non-trivial automorphisms of the algebra result in models that are not faithful and apply this to construct three classes of illoyal models: tail stretches, transposition twists, and maximal twists.
      PubDate: 2021-06-25
       
  • Equivalence à la Mundici for commutative lattice-ordered monoids

    • Free pre-print version: Loading...

      Abstract: We provide a generalization of Mundici’s equivalence between unital Abelian lattice-ordered groups and MV-algebras: the category of unital commutative lattice-ordered monoids is equivalent to the category of MV-monoidal algebras. Roughly speaking, unital commutative lattice-ordered monoids are unital Abelian lattice-ordered groups without the unary operation \(x \mapsto -x\) . The primitive operations are \(+\) , \(\vee \) , \(\wedge \) , 0, 1, \(-1\) . A prime example of these structures is \(\mathbb {R}\) , with the obvious interpretation of the operations. Analogously, MV-monoidal algebras are MV-algebras without the negation \(x \mapsto \lnot x\) . The primitive operations are \(\oplus \) , \(\odot \) , \(\vee \) , \(\wedge \) , 0, 1. A motivating example of MV-monoidal algebra is the negation-free reduct of the standard MV-algebra \([0, 1]\subseteq \mathbb {R}\) . We obtain the original Mundici’s equivalence as a corollary of our main result.
      PubDate: 2021-06-25
       
  • Equational theories of upper triangular tropical matrix semigroups

    • Free pre-print version: Loading...

      Abstract: Let \(\mathbb {S}\) be the commutative and idempotent semiring with additive identity \(\mathbf {0}\) and multiplicative identity \(\mathbf {1}\) . The tropical semiring \(\mathbb {T}\) and the Boolean semiring \(\mathbb {B}\) are common important examples of such semirings. Let \(UT_{n}(\mathbb {S})\) be the semigroup of all \(n\times n\) upper triangular matrices over \(\mathbb {S}\) , both \(UT^{\pm }_n(\mathbb {S})\) and \(UT^{+}_n(\mathbb {S})\) be subsemigroups of \(UT_n(\mathbb {S})\) with \(\mathbf {0}\) and/or \(\mathbf {1}\) on the main diagonal, and \(\mathbf {1}\) on the main diagonal respectively. It is known that \(UT_{2}(\mathbb {T})\) is non-finitely based and \(UT^{\pm }_{2}(\mathbb {S})\) is finitely based. Combining these results, the finite basis problems for \(UT_{n}(\mathbb {T})\) and \(UT^{\pm }_{n}(\mathbb {S})\) with \(n=2, 3\) both as semigroups and involution semigroups under the skew transposition are solved. It is well known that the semigroups \(UT^{+}_n(\mathbb {S})\) and \(UT^{+}_n(\mathbb {B})\) are equationally equivalent. In this paper, we show that the involution semigroups \(UT^{+}_n(\mathbb {S})\) and \(UT^{+}_n(\mathbb {B})\) under the skew transposition are not equationally equivalent. Nevertheless, the finite basis problems for involution semigroups \(UT_n^{+}(\mathbb {S})\) and \(UT_n^{+}(\mathbb {B})\) share the same solution, that is, the involution semigroup \(UT_n^{+}(\mathbb {S})\) is finitely based if and only if \(n=2\) .
      PubDate: 2021-06-19
       
  • Homomorphic images of affine quandles

    • Free pre-print version: Loading...

      Abstract: We are interested in abstract conditions that characterize homomorphic images of affine quandles. Our main result is a two-fold characterization of this class: one by a property of the displacement group, the other one by a property of the corresponding affine mesh. As a consequence, we obtain efficient algorithms for recognizing homomorphic images of affine quandles, including an efficient explicit construction of the covering affine quandle.
      PubDate: 2021-06-14
       
  • Semiring identities of the Brandt monoid

    • Free pre-print version: Loading...

      Abstract: The 6-element Brandt monoid \(B_2^1\) admits a unique addition under which it becomes an additively idempotent semiring. We show that this addition is a term operation of \(B_2^1\) as an inverse semigroup. As a consequence, we exhibit an easy proof that the semiring identities of \(B_2^1\) are not finitely based.
      PubDate: 2021-06-05
       
  • On the cardinality of non-isomorphic intermediate rings of C(X)

    • Free pre-print version: Loading...

      Abstract: Let \(\sum (X)\) be the collection of subrings of C(X) containing \(C^{*}(X)\) , where X is a Tychonoff space. For any \(A(X)\in \sum (X)\) there is associated a subset \(\upsilon _{A}(X)\) of \(\beta X\) which is an A-analogue of the Hewitt real compactification \(\upsilon X\) of X. For any \(A(X)\in \sum (X)\) , let [A(X)] be the class of all \(B(X)\in \sum (X)\) such that \(\upsilon _{A}(X)=\upsilon _{B}(X)\) . We show that for first countable non compact real compact space X, [A(X)] contains at least \(2^{c}\) many different subalgebras no two of which are isomorphic in Theorem 3.8.
      PubDate: 2021-05-24
       
 
JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762
 


Your IP address: 3.236.51.151
 
Home (Search)
API
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-