for Journals by Title or ISSN
for Articles by Keywords
help
  Subjects -> MATHEMATICS (Total: 864 journals)
    - APPLIED MATHEMATICS (68 journals)
    - GEOMETRY AND TOPOLOGY (19 journals)
    - MATHEMATICS (643 journals)
    - MATHEMATICS (GENERAL) (40 journals)
    - NUMERICAL ANALYSIS (19 journals)
    - PROBABILITIES AND MATH STATISTICS (75 journals)

MATHEMATICS (643 journals)                  1 2 3 4 | Last

Showing 1 - 200 of 538 Journals sorted alphabetically
Abakós     Open Access   (Followers: 3)
Abhandlungen aus dem Mathematischen Seminar der Universitat Hamburg     Hybrid Journal   (Followers: 2)
Academic Voices : A Multidisciplinary Journal     Open Access   (Followers: 2)
Accounting Perspectives     Full-text available via subscription   (Followers: 6)
ACM Transactions on Algorithms (TALG)     Hybrid Journal   (Followers: 16)
ACM Transactions on Computational Logic (TOCL)     Hybrid Journal   (Followers: 4)
ACM Transactions on Mathematical Software (TOMS)     Hybrid Journal   (Followers: 6)
ACS Applied Materials & Interfaces     Full-text available via subscription   (Followers: 21)
Acta Applicandae Mathematicae     Hybrid Journal   (Followers: 1)
Acta Mathematica     Hybrid Journal   (Followers: 10)
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: 5)
Acta Mathematica Vietnamica     Hybrid Journal  
Acta Mathematicae Applicatae Sinica, English Series     Hybrid Journal  
Advanced Science Letters     Full-text available via subscription   (Followers: 4)
Advances in Applied Clifford Algebras     Hybrid Journal   (Followers: 3)
Advances in Calculus of Variations     Hybrid Journal   (Followers: 2)
Advances in Catalysis     Full-text available via subscription   (Followers: 5)
Advances in Complex Systems     Hybrid Journal   (Followers: 7)
Advances in Computational Mathematics     Hybrid Journal   (Followers: 15)
Advances in Decision Sciences     Open Access   (Followers: 4)
Advances in Difference Equations     Open Access   (Followers: 1)
Advances in Fixed Point Theory     Open Access   (Followers: 5)
Advances in Geosciences (ADGEO)     Open Access   (Followers: 9)
Advances in Linear Algebra & Matrix Theory     Open Access   (Followers: 1)
Advances in Materials Sciences     Open Access   (Followers: 15)
Advances in Mathematical Physics     Open Access   (Followers: 6)
Advances in Mathematics     Full-text available via subscription   (Followers: 10)
Advances in Numerical Analysis     Open Access   (Followers: 3)
Advances in Operations Research     Open Access   (Followers: 11)
Advances in Porous Media     Full-text available via subscription   (Followers: 4)
Advances in Pure and Applied Mathematics     Hybrid Journal   (Followers: 5)
Advances in Pure Mathematics     Open Access   (Followers: 4)
Advances in Science and Research (ASR)     Open Access   (Followers: 6)
Aequationes Mathematicae     Hybrid Journal   (Followers: 2)
African Journal of Educational Studies in Mathematics and Sciences     Full-text available via subscription   (Followers: 5)
African Journal of Mathematics and Computer Science Research     Open Access   (Followers: 4)
Afrika Matematika     Hybrid Journal   (Followers: 1)
Air, Soil & Water Research     Open Access   (Followers: 7)
AKSIOMA Journal of Mathematics Education     Open Access   (Followers: 1)
Algebra and Logic     Hybrid Journal   (Followers: 2)
Algebra Colloquium     Hybrid Journal   (Followers: 4)
Algebra Universalis     Hybrid Journal   (Followers: 2)
Algorithmic Operations Research     Full-text available via subscription   (Followers: 5)
Algorithms     Open Access   (Followers: 9)
Algorithms Research     Open Access  
American Journal of Biostatistics     Open Access   (Followers: 9)
American Journal of Computational and Applied Mathematics     Open Access   (Followers: 3)
American Journal of Mathematical Analysis     Open Access  
American Journal of Mathematics     Full-text available via subscription   (Followers: 7)
American Journal of Operations Research     Open Access   (Followers: 5)
American Mathematical Monthly     Full-text available via subscription   (Followers: 6)
An International Journal of Optimization and Control: Theories & Applications     Open Access   (Followers: 7)
Analele Universitatii Ovidius Constanta - Seria Matematica     Open Access   (Followers: 1)
Analysis     Hybrid Journal   (Followers: 2)
Analysis and Applications     Hybrid Journal   (Followers: 1)
Analysis and Mathematical Physics     Hybrid Journal   (Followers: 4)
Analysis Mathematica     Full-text available via subscription  
Annales Mathematicae Silesianae     Open Access  
Annales mathématiques du Québec     Hybrid Journal   (Followers: 4)
Annales UMCS, 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: 8)
Annals of Discrete Mathematics     Full-text available via subscription   (Followers: 6)
Annals of Mathematics     Full-text available via subscription  
Annals of Mathematics and Artificial Intelligence     Hybrid Journal   (Followers: 6)
Annals of Pure and Applied Logic     Open Access   (Followers: 2)
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  
Annuaire du Collège de France     Open Access   (Followers: 5)
Applicable Algebra in Engineering, Communication and Computing     Hybrid Journal   (Followers: 2)
Applications of Mathematics     Hybrid Journal   (Followers: 1)
Applied Categorical Structures     Hybrid Journal   (Followers: 2)
Applied Computational Intelligence and Soft Computing     Open Access   (Followers: 12)
Applied Mathematics     Open Access   (Followers: 3)
Applied Mathematics     Open Access   (Followers: 4)
Applied Mathematics & Optimization     Hybrid Journal   (Followers: 4)
Applied Mathematics - A Journal of Chinese Universities     Hybrid Journal  
Applied Mathematics Letters     Full-text available via subscription   (Followers: 1)
Applied Mathematics Research eXpress     Hybrid Journal   (Followers: 1)
Applied Numerical Analysis & Computational Mathematics     Hybrid Journal   (Followers: 5)
Applied Numerical Mathematics     Hybrid Journal   (Followers: 5)
Applied Spatial Analysis and Policy     Hybrid Journal   (Followers: 4)
Arab Journal of Mathematical Sciences     Open Access   (Followers: 2)
Arabian Journal of Mathematics     Open Access   (Followers: 2)
Archive for Mathematical Logic     Hybrid Journal   (Followers: 1)
Archive of Applied Mechanics     Hybrid Journal   (Followers: 4)
Archive of Numerical Software     Open Access  
Archives of Computational Methods in Engineering     Hybrid Journal   (Followers: 4)
Arkiv för Matematik     Hybrid Journal   (Followers: 1)
Arnold Mathematical Journal     Hybrid Journal   (Followers: 1)
Artificial Satellites : The Journal of Space Research Centre of Polish Academy of Sciences     Open Access   (Followers: 17)
Asia-Pacific Journal of Operational Research     Hybrid Journal   (Followers: 3)
Asian Journal of Algebra     Open Access   (Followers: 1)
Asian Journal of Current Engineering & Maths     Open Access  
Asian-European Journal of Mathematics     Hybrid Journal   (Followers: 2)
Australian Mathematics Teacher, The     Full-text available via subscription   (Followers: 6)
Australian Primary Mathematics Classroom     Full-text available via subscription   (Followers: 1)
Australian Senior Mathematics Journal     Full-text available via subscription   (Followers: 1)
Automatic Documentation and Mathematical Linguistics     Hybrid Journal   (Followers: 5)
Axioms     Open Access  
Baltic International Yearbook of Cognition, Logic and Communication     Open Access  
Basin Research     Hybrid Journal   (Followers: 3)
BIBECHANA     Open Access  
BIT Numerical Mathematics     Hybrid Journal  
BoEM - Boletim online de Educação Matemática     Open Access  
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: 1)
British Journal of Mathematical and Statistical Psychology     Full-text available via subscription   (Followers: 19)
Bruno Pini Mathematical Analysis Seminar     Open Access  
Buletinul Academiei de Stiinte a Republicii Moldova. Matematica     Open Access   (Followers: 5)
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: 1)
Bulletin of Mathematical Sciences     Open Access   (Followers: 2)
Bulletin of the Brazilian Mathematical Society, New Series     Hybrid Journal  
Bulletin of the London Mathematical Society     Hybrid Journal   (Followers: 3)
Bulletin of the Malaysian Mathematical Sciences Society     Hybrid Journal  
Calculus of Variations and Partial Differential Equations     Hybrid Journal  
Canadian Journal of Science, Mathematics and Technology Education     Hybrid Journal   (Followers: 18)
Carpathian Mathematical Publications     Open Access   (Followers: 1)
Catalysis in Industry     Hybrid Journal   (Followers: 1)
CAUCHY     Open Access   (Followers: 1)
CEAS Space Journal     Hybrid Journal  
CHANCE     Hybrid Journal   (Followers: 5)
Chaos, Solitons & Fractals     Hybrid Journal   (Followers: 3)
ChemSusChem     Hybrid Journal   (Followers: 7)
Chinese Annals of Mathematics, Series B     Hybrid Journal  
Chinese Journal of Catalysis     Full-text available via subscription   (Followers: 2)
Chinese Journal of Mathematics     Open Access  
Clean Air Journal     Full-text available via subscription   (Followers: 2)
Cogent Mathematics     Open Access   (Followers: 2)
Cognitive Computation     Hybrid Journal   (Followers: 4)
Collectanea Mathematica     Hybrid Journal  
College Mathematics Journal     Full-text available via subscription   (Followers: 1)
COMBINATORICA     Hybrid Journal  
Combustion Theory and Modelling     Hybrid Journal   (Followers: 13)
Commentarii Mathematici Helvetici     Hybrid Journal   (Followers: 1)
Communications in Contemporary Mathematics     Hybrid Journal  
Communications in Mathematical Physics     Hybrid Journal   (Followers: 1)
Communications On Pure & Applied Mathematics     Hybrid Journal   (Followers: 3)
Complex Analysis and its Synergies     Open Access   (Followers: 2)
Complex Variables and Elliptic Equations: An International Journal     Hybrid Journal  
Complexus     Full-text available via subscription  
Composite Materials Series     Full-text available via subscription   (Followers: 9)
Comptes Rendus Mathematique     Full-text available via subscription   (Followers: 1)
Computational and Applied Mathematics     Hybrid Journal   (Followers: 2)
Computational and Mathematical Methods in Medicine     Open Access   (Followers: 2)
Computational and Mathematical Organization Theory     Hybrid Journal   (Followers: 2)
Computational Complexity     Hybrid Journal   (Followers: 4)
Computational Mathematics and Modeling     Hybrid Journal   (Followers: 8)
Computational Mechanics     Hybrid Journal   (Followers: 4)
Computational Methods and Function Theory     Hybrid Journal  
Computational Optimization and Applications     Hybrid Journal   (Followers: 7)
Computers & Mathematics with Applications     Full-text available via subscription   (Followers: 5)
Concrete Operators     Open Access   (Followers: 4)
Confluentes Mathematici     Hybrid Journal  
COSMOS     Hybrid Journal  
Cryptography and Communications     Hybrid Journal   (Followers: 12)
Cuadernos de Investigación y Formación en Educación Matemática     Open Access  
Cubo. A Mathematical Journal     Open Access  
Czechoslovak Mathematical Journal     Hybrid Journal   (Followers: 1)
Demographic Research     Open Access   (Followers: 11)
Demonstratio Mathematica     Open Access  
Dependence Modeling     Open Access  
Design Journal : An International Journal for All Aspects of Design     Hybrid Journal   (Followers: 28)
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: 2)
Discrete Mathematics     Hybrid Journal   (Followers: 7)
Discrete Mathematics & Theoretical Computer Science     Open Access  
Discrete Mathematics, Algorithms and Applications     Hybrid Journal   (Followers: 2)
Discussiones Mathematicae Graph Theory     Open Access   (Followers: 1)
Doklady Mathematics     Hybrid Journal  
Duke Mathematical Journal     Full-text available via subscription   (Followers: 1)
Edited Series on Advances in Nonlinear Science and Complexity     Full-text available via subscription  
Electronic Journal of Graph Theory and Applications     Open Access   (Followers: 2)
Electronic Notes in Discrete Mathematics     Full-text available via subscription   (Followers: 2)
Elemente der Mathematik     Full-text available via subscription   (Followers: 3)
Energy for Sustainable Development     Hybrid Journal   (Followers: 9)
Enseñanza de las Ciencias : Revista de Investigación y Experiencias Didácticas     Open Access  
Ensino da Matemática em Debate     Open Access  
Entropy     Open Access   (Followers: 4)
ESAIM: Control Optimisation and Calculus of Variations     Full-text available via subscription   (Followers: 1)
European Journal of Combinatorics     Full-text available via subscription   (Followers: 4)
European Journal of Mathematics     Hybrid Journal   (Followers: 1)
European Scientific Journal     Open Access   (Followers: 2)
Experimental Mathematics     Hybrid Journal   (Followers: 3)
Expositiones Mathematicae     Hybrid Journal   (Followers: 2)
Facta Universitatis, Series : Mathematics and Informatics     Open Access  
Fasciculi Mathematici     Open Access  
Finite Fields and Their Applications     Full-text available via subscription   (Followers: 4)
Fixed Point Theory and Applications     Open Access   (Followers: 1)
Formalized Mathematics     Open Access   (Followers: 2)

        1 2 3 4 | Last

Journal Cover Algebra Universalis
  [SJR: 0.388]   [H-I: 22]   [2 followers]  Follow
    
   Hybrid Journal Hybrid journal (It can contain Open Access articles)
   ISSN (Print) 1420-8911 - ISSN (Online) 0002-5240
   Published by Springer-Verlag Homepage  [2335 journals]
  • Varieties with equationally definable factor congruences II
    • Authors: Mariana Badano; Diego J. Vaggione
      Abstract: We study four types of equational definability of factor congruences in varieties with \({\vec{0}}\) and \({\vec{1}}\) . The paper completes the work of a previous paper on left equational definability of factor congruences.
      PubDate: 2017-02-25
      DOI: 10.1007/s00012-017-0434-3
       
  • Kleene algebras with implication
    • Authors: José Luis Castiglioni; Sergio Arturo Celani; Hernán Javier San Martín
      Abstract: Inspired by an old construction due to J. Kalman that relates distributive lattices and centered Kleene algebras, in this paper we study an equivalence for certain categories whose objects are algebras with implication \({(H, \bigwedge, \bigvee, \rightarrow, 0,1)}\) which satisfy the following property for every \({a,b,c\, \in\, H}\) : if \({a \leq b \rightarrow c}\) , then \({a \bigwedge b \leq c}\) .
      PubDate: 2017-02-10
      DOI: 10.1007/s00012-017-0433-4
       
  • Relative subalgebras of MV-algebras
    • Authors: Lawrence Peter Belluce; Antonio Di Nola; Giacomo Lenzi
      Abstract: Given an MV-algebra A, with its natural partial ordering, we consider in A the intervals of the form [0, a], where \({a \in A}\) . These intervals have a natural structure of MV-algebras and will be called the relative subalgebras of A (in analogy with Boolean algebras). We investigate various properties of relative subalgebras and their relations with the original MV-algebra.
      PubDate: 2017-02-09
      DOI: 10.1007/s00012-017-0435-2
       
  • Free products of doppelsemigroups
    • Authors: Anatolii V. Zhuchok
      Abstract: In this paper, we consider doppelsemigroups, which are sets with two binary associative operations satisfying additional axioms. Commutative dimonoids in the sense of Loday are examples of doppelsemigroups and two interassociative semigroups give rise to a doppelsemigroup. The main result of this paper is the construction of the free product of doppelsemigroups. We also construct the free doppelsemigroup, the free commutative doppelsemigroup, the free n-nilpotent doppelsemigroup, and characterize the least commutative congruence and the least n-nilpotent congruence on a free doppelsemigroup.
      PubDate: 2017-02-09
      DOI: 10.1007/s00012-017-0431-6
       
  • Constellations and their relationship with categories
    • Authors: Victoria Gould; Tim Stokes
      Abstract: Constellations are partial algebras that are one-sided generalisations of categories. Indeed, we show that a category is exactly a constellation that also satisfies the left-right dual axioms. Constellations have previously appeared in the context of inductive constellations: the category of inductive constellations is known to be isomorphic to the category of left restriction semigroups. Here we consider constellations in full generality, giving many examples. We characterise those small constellations that are isomorphic to constellations of partial functions. We examine in detail the relationship between constellations and categories. In particular, we characterise those constellations that arise as (sub-)reducts of categories. We demonstrate that the notion of substructure can be captured within constellations but not within categories. We show that every constellation P gives rise to a category \({\mathcal{C}(P)}\) , its canonical extension, in a simplest possible way, and that P is a quotient of \({\mathcal{C}(P)}\) in a natural sense. We also show that many of the most common concrete categories may be constructed from simpler quotient constellations using this construction. We characterise the canonical congruences \({\delta}\) on a given category \({K}\) (those for which \({K \cong \mathcal{C}(K/\delta))}\) , and show that the category of constellations is equivalent to the category of \({\delta}\) -categories, that is, categories equipped with distinguished canonical congruence \({\delta}\) . The main observation of this paper is that category theory as it applies to the familiar concrete categories of modern mathematics (which come equipped with natural notions of substructures and indeed are \({\delta}\) -categories) may be subsumed by constellation theory.
      PubDate: 2017-02-09
      DOI: 10.1007/s00012-017-0432-5
       
  • A topological characterisation of endomorphism monoids of countable
           structures
    • Authors: Manuel Bodirsky; Friedrich Martin Schneider
      Abstract: A topological monoid is isomorphic to an endomorphism monoid of a countable structure if and only if it is separable and has a compatible complete ultrametric such that composition from the left is non-expansive. We also give a topological characterisation of those topological monoids that are isomorphic to endomorphism monoids of countable \({\omega}\) -categorical structures. Finally, we present analogous characterisations for polymorphism clones of countable structures and for polymorphism clones of countable \({\omega}\) -categorical structures.
      PubDate: 2017-02-06
      DOI: 10.1007/s00012-017-0427-2
       
  • Transformation monoids with finite monoidal intervals
    • Authors: Miklós Dormán
      Abstract: In this paper, we investigate transformation monoids that are built up from inverse transformation monoids constructed from finite lattices by adding all the unary constant transformations. We give a complete description for the corresponding monoidal intervals in the clone lattice.
      PubDate: 2017-02-03
      DOI: 10.1007/s00012-017-0425-4
       
  • Sasaki projections
    • Authors: Jeannine J. M. Gabriëls; Stephen M. Gagola; Mirko Navara
      Abstract: We collect, correct, and extend results on the properties of the Sasaki projection in orthomodular lattices. We bring arguments as to why this operation can extend tools for simplification of formulas and automated computing.
      PubDate: 2017-02-01
      DOI: 10.1007/s00012-017-0428-1
       
  • Canonical formulas for k -potent commutative, integral, residuated
           lattices
    • Authors: Nick Bezhanishvili; Nick Galatos; Luca Spada
      Abstract: Canonical formulas are a powerful tool for studying intuitionistic and modal logics. Indeed, they provide a uniform and semantic way of axiomatising all extensions of intuitionistic logic and all modal logics above K4. Although the method originally hinged on the relational semantics of those logics, recently it has been completely recast in algebraic terms. In this new perspective, canonical formulas are built from a finite subdirectly irreducible algebra by describing completely the behaviour of some operations and only partially the behaviour of some others. In this paper, we export the machinery of canonical formulas to substructural logics by introducing canonical formulas for k-potent, commutative, integral, residuated lattices (k-CIRL). We show that any subvariety of k-CIRL is axiomatised by canonical formulas. The paper ends with some applications and examples.
      PubDate: 2017-02-01
      DOI: 10.1007/s00012-017-0430-7
       
  • On implicator groupoids
    • Authors: Juan M. Cornejo; Hanamantagouda P. Sankappanavar
      Abstract: In a paper published in 2012, the second author extended the well-known fact that Boolean algebras can be defined using only implication and a constant, to De Morgan algebras—this result led him to introduce, and investigate (in the same paper), the variety \({\mathcal{I}}\) of algebras, there called implication zroupoids (I-zroupoids) and here called implicator groupoids ( \({\mathcal{I}}\) -groupoids), that generalize De Morgan algebras. The present paper is a continuation of the paper mentioned above and is devoted to investigating the structure of the lattice of subvarieties of \({\mathcal{I}}\) , and also to making further contributions to the theory of implicator groupoids. Several new subvarieties of \({\mathcal{I}}\) are introduced and their relationship with each other, and with the subvarieties of \({\mathcal{I}}\) which were already investigated in the paper mentioned above, are explored.
      PubDate: 2017-02-01
      DOI: 10.1007/s00012-017-0429-0
       
  • Key (critical) relations preserved by a weak near-unanimity function
    • Authors: Dmitriy N. Zhuk
      Abstract: In the paper, we introduce a notion of a key relation, which is similar to the notion of a critical relation introduced by Keith A. Kearnes and Ágnes Szendrei. All clones on finite sets can be defined by only key relations. In addition, there is a nice description of all key relations on 2 elements. These are exactly the relations that can be defined as a disjunction of linear equations. In the paper, we show that in general, key relations do not have such a nice description. Nevertheless, we obtain a nice characterization of all key relations preserved by a weak near-unanimity function. This characterization is presented in the paper.
      PubDate: 2017-01-31
      DOI: 10.1007/s00012-017-0426-3
       
  • Natural congruences and isomorphism theorems for directed complete
           partially ordered sets
    • Authors: Mojgan Mahmoudi; Halimeh Moghbeli; Konrad Pióro
      Abstract: Directed complete partially ordered sets (dcpos, for short) play an important role in domain theory. The aim of this paper is to characterise natural congruences of dcpos. We also show that the kernels of dcpo maps, that is, directed join-preserving maps between dcpos are not necessarily natural dcpo congruences. Then we characterise dcpo maps whose kernels are natural dcpo congruences. Finally, we prove the Decomposition and Isomorphism Theorems for dcpo maps.
      PubDate: 2017-01-18
      DOI: 10.1007/s00012-017-0424-5
       
  • Duality in non-abelian algebra III. Normal categories and 0-regular
           varieties
    • Authors: Zurab Janelidze; Thomas Weighill
      Abstract: Normal categories are pointed categorical counterparts of 0-regular varieties, i.e., varieties where each congruence is uniquely determined by the equivalence class of a fixed constant 0. In this paper, we give a new axiomatic approach to normal categories, which uses self-dual axioms on a functor defined using subobjects of objects in the category. We also show that a similar approach can be developed for 0-regular varieties, if we replace subobjects with subsets of algebras containing 0.
      PubDate: 2017-01-17
      DOI: 10.1007/s00012-017-0422-7
       
  • Stone MV-algebras and strongly complete MV-algebras
    • Authors: Jean B. Nganou
      Abstract: Characterizations of compact Hausdorff topological MV-algebras, Stone MV-algebras, and MV-algebras that are isomorphic to their profinite completions are established. It is proved that compact Hausdorff topological MV-algebras are products (both topological and algebraic) of copies [0, 1] with the interval topology and finite Łukasiewicz chains with the discrete topology. Going one step further, we also prove that Stone MV-algebras are products (both topological and algebraic) of finite Łukasiewicz chains with the discrete topology. Finally, it is proved that an MV-algebra is isomorphic to its profinite completion if and only if it is profinite and each of its maximal ideals of finite rank is principal.
      PubDate: 2017-01-17
      DOI: 10.1007/s00012-016-0421-0
       
  • Weak complemented and weak invertible elements in C -lattices
    • Authors: C. Jayaram
      Abstract: In this paper, we prove that an indecomposable M-lattice is either a principal element domain or a special principal element lattice. Next, we introduce weak complemented elements and characterize reduced M-lattices in terms of weak complemented elements. We also study weak invertible elements and locally weak invertible elements in C-lattices and characterize reduced Prüfer lattices, WI-lattices, reduced almost principal element lattices, and reduced principal element lattices in terms of locally weak invertible elements.
      PubDate: 2017-01-17
      DOI: 10.1007/s00012-017-0423-6
       
  • Maltsev families of varieties closed under join or Maltsev product
    • Authors: Ralph Freese; Ralph McKenzie
      Abstract: Maltsev families of varieties which are closed under join or Maltsev product are investigated. New Maltsev conditions for congruence semi-distributivity are given.
      PubDate: 2017-01-10
      DOI: 10.1007/s00012-016-0420-1
       
  • On the interval of strong partial clones of Boolean functions containing
           Pol({(0, 0), (0, 1), (1, 0)})
    • Authors: Miguel Couceiro; Lucien Haddad; Karsten Schölzel; Tamás Waldhauser
      Abstract: D. Lau raised the problem of determining the cardinality of the set of all partial clones of Boolean functions whose total part is a given Boolean clone. The key step in the solution of this problem, which was obtained recently by the authors, was to show that the sublattice of strong partial clones on \(\{0, 1\}\) that contain all total functions preserving the relation \({\rho_{0,2} = \{(0, 0), (0, 1), (1, 0)\}}\) is of continuum cardinality. In this paper, we represent relations derived from \({\rho_{0,2}}\) in terms of graphs, and we define a suitable closure operator on graphs such that the lattice of closed sets of graphs is isomorphic to the dual of this uncountable sublattice of strong partial clones. With the help of this duality, we provide a rough description of the structure of this lattice, and we also obtain a new proof for its uncountability.
      PubDate: 2017-01-06
      DOI: 10.1007/s00012-016-0418-8
       
  • Representing some families of monotone maps by principal lattice
           congruences
    • Authors: Gábor Czédli
      Abstract: For a lattice L with 0 and 1, let Princ(L) denote the set of principal congruences of L. Ordered by set inclusion, it is a bounded ordered set. In 2013, G. Grätzer proved that every bounded ordered set is representable as Princ(L); in fact, he constructed L as a lattice of length 5. For {0, 1}-sublattices \({A \subseteq B}\) of L, congruence generation defines a natural map Princ(A) \({\longrightarrow}\) Princ(B). In this way, every family of {0, 1}-sublattices of L yields a small category of bounded ordered sets as objects and certain 0-separating {0, 1}-preserving monotone maps as morphisms such that every hom-set consists of at most one morphism. We prove the converse: every small category of bounded ordered sets with these properties is representable by principal congruences of selfdual lattices of length 5 in the above sense. As a corollary, we can construct a selfdual lattice L in G. Grätzer's above-mentioned result.
      PubDate: 2017-01-03
      DOI: 10.1007/s00012-016-0419-7
       
  • Uncountable critical points for congruence lattices
    • Authors: Miroslav Ploščica
      Abstract: The critical point between two classes \({{\mathcal K}}\) and \({{\mathcal L}}\) of algebras is the cardinality of the smallest semilattice isomorphic to the semilattice of compact congruences of some algebra in \({{\mathcal K}}\) , but not in \({{\mathcal L}}\) . Our paper is devoted to the problem of determining the critical point between two finitely generated congruence-distributive varieties. For a homomorphism \({\varphi: S \rightarrow T}\) of \({(0, \vee)}\) -semilattices and an automorphism \({\tau}\) of T, we introduce the concept of a \({\tau}\) -symmetric lifting of \({\varphi}\) . We use it to prove a criterion which ensures that the critical point between two finitely generated congruence-distributive varieties is less or equal to \({\aleph_{1}}\) . We illustrate the criterion by constructing two new examples with the critical point exactly \({\aleph_{1}}\) .
      PubDate: 2016-10-08
      DOI: 10.1007/s00012-016-0411-2
       
  • On the sobriety of the inverse topology
    • Authors: Papiya Bhattacharjee; Themba Dube
      Abstract: An algebraic frame L with the finite intersection property (FIP) on compact elements is said to be polarised if every minimal prime element in it is complemented. In this note, we give a necessary and sufficient condition for the inverse topology on the set of minimal prime elements of such a frame to be sober. We also establish some sufficient conditions for sobriety when the polarisation condition is relaxed.
      PubDate: 2016-10-08
      DOI: 10.1007/s00012-016-0414-z
       
 
 
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
Fax: +00 44 (0)131 4513327
 
Home (Search)
Subjects A-Z
Publishers A-Z
Customise
APIs
Your IP address: 54.145.198.123
 
About JournalTOCs
API
Help
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-2016