for Journals by Title or ISSN
for Articles by Keywords
  Subjects -> MATHEMATICS (Total: 955 journals)
    - APPLIED MATHEMATICS (82 journals)
    - GEOMETRY AND TOPOLOGY (20 journals)
    - MATHEMATICS (706 journals)
    - MATHEMATICS (GENERAL) (43 journals)
    - NUMERICAL ANALYSIS (22 journals)

MATHEMATICS (706 journals)                  1 2 3 4 | Last

Showing 1 - 200 of 538 Journals sorted alphabetically
Abakós     Open Access   (Followers: 4)
Abhandlungen aus dem Mathematischen Seminar der Universitat Hamburg     Hybrid Journal   (Followers: 3)
Academic Voices : A Multidisciplinary Journal     Open Access   (Followers: 2)
Accounting Perspectives     Full-text available via subscription   (Followers: 7)
ACM Transactions on Algorithms (TALG)     Hybrid Journal   (Followers: 15)
ACM Transactions on Computational Logic (TOCL)     Hybrid Journal   (Followers: 3)
ACM Transactions on Mathematical Software (TOMS)     Hybrid Journal   (Followers: 6)
ACS Applied Materials & Interfaces     Full-text available via subscription   (Followers: 27)
Acta Applicandae Mathematicae     Hybrid Journal   (Followers: 1)
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: 9)
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: 6)
Advances in Computational Mathematics     Hybrid Journal   (Followers: 18)
Advances in Decision Sciences     Open Access   (Followers: 3)
Advances in Difference Equations     Open Access   (Followers: 3)
Advances in Fixed Point Theory     Open Access   (Followers: 5)
Advances in Geosciences (ADGEO)     Open Access   (Followers: 13)
Advances in Linear Algebra & Matrix Theory     Open Access   (Followers: 2)
Advances in Materials Sciences     Open Access   (Followers: 14)
Advances in Mathematical Physics     Open Access   (Followers: 3)
Advances in Mathematics     Full-text available via subscription   (Followers: 10)
Advances in Numerical Analysis     Open Access   (Followers: 4)
Advances in Operations Research     Open Access   (Followers: 12)
Advances in Porous Media     Full-text available via subscription   (Followers: 5)
Advances in Pure and Applied Mathematics     Hybrid Journal   (Followers: 6)
Advances in Pure Mathematics     Open Access   (Followers: 5)
Advances in Science and Research (ASR)     Open Access   (Followers: 4)
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: 11)
AKSIOMA Journal of Mathematics Education     Open Access   (Followers: 1)
Al-Jabar : Jurnal Pendidikan Matematika     Open Access  
Algebra and Logic     Hybrid Journal   (Followers: 5)
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: 11)
Algorithms Research     Open Access   (Followers: 1)
American Journal of Computational and Applied Mathematics     Open Access   (Followers: 5)
American Journal of Mathematical Analysis     Open Access  
American Journal of Mathematics     Full-text available via subscription   (Followers: 6)
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: 8)
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: 11)
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: 12)
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)
ANZIAM Journal     Open Access   (Followers: 1)
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: 11)
Applied Mathematics     Open Access   (Followers: 3)
Applied Mathematics     Open Access   (Followers: 6)
Applied Mathematics & Optimization     Hybrid Journal   (Followers: 6)
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 Network Science     Open Access   (Followers: 3)
Applied Numerical Mathematics     Hybrid Journal   (Followers: 5)
Applied Spatial Analysis and Policy     Hybrid Journal   (Followers: 4)
Arab Journal of Mathematical Sciences     Open Access   (Followers: 3)
Arabian Journal of Mathematics     Open Access   (Followers: 2)
Archive for Mathematical Logic     Hybrid Journal   (Followers: 2)
Archive of Applied Mechanics     Hybrid Journal   (Followers: 5)
Archive of Numerical Software     Open Access  
Archives of Computational Methods in Engineering     Hybrid Journal   (Followers: 5)
Arkiv för Matematik     Hybrid Journal   (Followers: 1)
Armenian Journal of Mathematics     Open Access  
Arnold Mathematical Journal     Hybrid Journal   (Followers: 1)
Artificial Satellites : The Journal of Space Research Centre of Polish Academy of Sciences     Open Access   (Followers: 20)
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: 4)
Australian Senior Mathematics Journal     Full-text available via subscription   (Followers: 1)
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: 1)
Basin Research     Hybrid Journal   (Followers: 5)
BIBECHANA     Open Access   (Followers: 2)
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: 21)
Bruno Pini Mathematical Analysis Seminar     Open Access  
Buletinul Academiei de Stiinte a Republicii Moldova. Matematica     Open Access   (Followers: 11)
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: 1)
Bulletin of Symbolic Logic     Full-text available via subscription   (Followers: 2)
Bulletin of the Australian Mathematical Society     Full-text available via subscription   (Followers: 1)
Bulletin of the Brazilian Mathematical Society, New Series     Hybrid Journal  
Bulletin of the London Mathematical Society     Hybrid Journal   (Followers: 4)
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)
CEAS Space Journal     Hybrid Journal   (Followers: 2)
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: 1)
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: 4)
COMBINATORICA     Hybrid Journal  
Combinatorics, Probability and Computing     Hybrid Journal   (Followers: 4)
Combustion Theory and Modelling     Hybrid Journal   (Followers: 14)
Commentarii Mathematici Helvetici     Hybrid Journal   (Followers: 1)
Communications in Combinatorics and Optimization     Open Access  
Communications in Contemporary Mathematics     Hybrid Journal  
Communications in Mathematical Physics     Hybrid Journal   (Followers: 2)
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: 8)
Compositio Mathematica     Full-text available via subscription   (Followers: 1)
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: 5)
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: 8)
Concrete Operators     Open Access   (Followers: 5)
Confluentes Mathematici     Hybrid Journal  
Contributions to Game Theory and Management     Open Access  
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  
Current Research in Biostatistics     Open Access   (Followers: 9)
Czechoslovak Mathematical Journal     Hybrid Journal   (Followers: 1)
Demographic Research     Open Access   (Followers: 10)
Demonstratio Mathematica     Open Access  
Dependence Modeling     Open Access  
Design Journal : An International Journal for All Aspects of Design     Hybrid Journal   (Followers: 29)
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: 3)
Differentsial'nye Uravneniya     Open Access  
Discrete Mathematics     Hybrid Journal   (Followers: 8)
Discrete Mathematics & Theoretical Computer Science     Open Access  
Discrete Mathematics, Algorithms and Applications     Hybrid Journal   (Followers: 2)
Discussiones Mathematicae - General Algebra and Applications     Open Access  
Discussiones Mathematicae Graph Theory     Open Access   (Followers: 1)
Diskretnaya Matematika     Full-text available via subscription  
Dnipropetrovsk University Mathematics Bulletin     Open Access  
Doklady Akademii Nauk     Open Access  
Doklady Mathematics     Hybrid Journal  
Duke Mathematical Journal     Full-text available via subscription   (Followers: 1)
Eco Matemático     Open Access  
Edited Series on Advances in Nonlinear Science and Complexity     Full-text available via subscription  
Electronic Journal of Differential Equations     Open Access  
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: 4)

        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  [2352 journals]
  • Thank you to retiring Executive Editors
    • Authors: Friedrich Wehrung
      Pages: 429 - 430
      PubDate: 2017-12-01
      DOI: 10.1007/s00012-017-0479-3
      Issue No: Vol. 78, No. 4 (2017)
  • Blocks and compatibility in $${{\rm d}_0}$$ d 0 -algebras
    • Authors: Marco Rosa; Paolo Vitolo
      Pages: 489 - 513
      Abstract: The structure of \({{\rm d}_0}\) -algebra is a generalization of a D-lattice. We extend to this structure the definitions of compatible elements and blocks, and investigate their properties.
      PubDate: 2017-12-01
      DOI: 10.1007/s00012-017-0469-5
      Issue No: Vol. 78, No. 4 (2017)
  • Fourier analysis of operations that preserve permutations
    • Authors: Arthur Knoebel
      Pages: 533 - 544
      Abstract: Fourier inversions of operations identify those with certain symmetries. A general method with invertible matrices over semirings sets up many different inversive schemes, such as disjunctive normal form, algebraic normal form and classical Fourier analysis. First, unary functions are inverted, and then, with tensor products, the same is done for operations of more than one argument. Classical Fourier analysis is applied to inverting operations on a set of k elements by replacing it by the set of \({k^{\rm th}}\) roots of unity. The Fourier transform of an operation preserving rotations of the roots has many coefficients that are zero, in fact, at most \({1/k}\) are non-zero. A related result holds for operations preserving reflections of the roots.
      PubDate: 2017-12-01
      DOI: 10.1007/s00012-017-0470-z
      Issue No: Vol. 78, No. 4 (2017)
  • On homomorphisms between products of median algebras
    • Authors: Miguel Couceiro; Stephan Foldes; Gerasimos C. Meletiou
      Pages: 545 - 553
      Abstract: Homomorphisms of products of median algebras are studied with particular attention to the case when the codomain is a tree. In particular, we show that all mappings from a product \({\mathbf{A_1} \times\ldots\times {\mathbf{A}_{n}}}\) of median algebras to a median algebra \({\mathbf{B}}\) are essentially unary whenever the codomain \({\mathbf{B}}\) is a tree. In view of this result, we also characterize trees as median algebras and semilattices by relaxing the defining conditions of conservative median algebras.
      PubDate: 2017-12-01
      DOI: 10.1007/s00012-017-0468-6
      Issue No: Vol. 78, No. 4 (2017)
  • The Birkhäuser-Grätzer Prize
    • Authors: G. Gratzer
      Pages: 249 - 250
      PubDate: 2017-11-01
      DOI: 10.1007/s00012-017-0459-7
      Issue No: Vol. 78, No. 3 (2017)
  • Affine representations of $${\ell}$$ ℓ -groups and MV-algebras
    • Authors: Antonio Boccuto; Antonio Di Nola; Gaetano Vitale
      Abstract: Affine representations for archimedean \({\ell}\) -groups and semisimple MV-algebras via embedding theorems are presented; they are simple to work with but powerful enough to express significant properties of our studied objects. Indeed, we focus on the space of particular homomorphisms between an archimedean \({\ell}\) -group (a semisimple MV-algebra, respectively) and a vector lattice (a Riesz MV-algebra, respectively), i.e., the set of the generalized states, providing a general framework.
      PubDate: 2017-11-08
      DOI: 10.1007/s00012-017-0477-5
  • Compatibility of book-spaces with certain identities
    • Authors: Walter Taylor
      Abstract: This paper is a brief study of the equations compatible with the (topological) n-book for all \({n \geq 2}\) . For each n, we exhibit an equation-set (an extension of lattice theory) that is identically satisfiable on the \({(n + 1)}\) -book, but not on the n-book.
      PubDate: 2017-11-07
      DOI: 10.1007/s00012-017-0478-4
  • Simpler Maltsev conditions for (weak) difference terms in locally finite
    • Authors: Keith A. Kearnes; Ágnes Szendrei; Ross Willard
      Abstract: This paper is motivated by a practical question: given a finite algebra A in a finite language, how can we best program a computer to decide whether the variety generated by A has a difference term, and how hard is it to find the difference term' To help address this question, we produce a simple Maltsev condition which characterizes difference terms in the class of locally finite varieties. We do the same for weak difference terms.
      PubDate: 2017-11-06
      DOI: 10.1007/s00012-017-0475-7
  • The three-cross theorem and the six-cross theorem of Pálfy and
    • Authors: Tim Penttila
      Abstract: In 1995, Pálfy and Szabó stated the theorem that a projective space satisfies the six-cross theorem if and only if it is Desarguesian. A mistake in their proof is corrected. Moreover, for projective planes, the three-cross theorem of Pálfy and Szabó is identified as the Reidemeister condition.
      PubDate: 2017-11-06
      DOI: 10.1007/s00012-017-0473-9
  • Cube term blockers without finiteness
    • Authors: Keith A. Kearnes; Ágnes Szendrei
      Abstract: We show that an idempotent variety has a d-dimensional cube term if and only if its free algebra on two generators has no d-ary compatible cross. We employ Hall’s Marriage Theorem to show that an idempotent variety \({\mathcal{V}}\) of finite signature whose fundamental operations have arities n 1, . . . , n k, has a d-dimensional cube term for some d if and only if it has one of dimension \({1 + \sum_{i=1}^{k} (n_{i} - 1)}\) . This upper bound on the dimension of a minimal-dimension cube term for \({\mathcal{V}}\) is shown to be sharp. We show that a pure cyclic term variety has a cube term if and only if it contains no 2- element semilattice. We prove that the Maltsev condition “existence of a cube term” is join prime in the lattice of idempotent Maltsev conditions.
      PubDate: 2017-11-06
      DOI: 10.1007/s00012-017-0476-6
  • Implicative subreducts of MV-algebras: free and weakly projective objects
    • Authors: Diego N. Castaño
      Abstract: In this article, we explore in some detail the free and weakly projective objects of the variety of Łukasiewicz implication algebras (the implicative subreducts of MV-algebras). We review the two already known descriptions of finitely generated free algebras, giving new insights into their structure and their connection, as well as providing new proofs of the characterizations. We give a representation theorem for weakly projective algebras as algebras of certain McNaughton functions restricted to rational polyhedra and prove that finitely generated weakly projective algebras coincide with finitely presented ones. We also prove that finite chains are the only totally ordered weakly projective examples in this variety.
      PubDate: 2017-11-06
      DOI: 10.1007/s00012-017-0474-8
  • Division closed partially ordered rings
    • Authors: Jingjing Ma; Warren Wm. McGovern
      Abstract: Fuchs called a partially-ordered integral domain, say D, division closed if it has the property that whenever a > 0 and ab > 0, then b > 0. He showed that if D is a lattice-ordered division closed field, then D is totally ordered. In fact, it is known that for a lattice-ordered division ring, the following three conditions are equivalent: a) squares are positive, b) the order is total, and c) the ring is division closed. In the present article, our aim is to study \({\ell}\) -rings that possibly possess zerodivisors and focus on a natural generalization of the property of being division closed, what we call regular division closed. Our investigations lead us to the concept of a positive separating element in an \({\ell}\) -ring, which is related to the well-known concept of a positive d-element.
      PubDate: 2017-10-23
      DOI: 10.1007/s00012-017-0467-7
  • Tensor products and relation quantales
    • Authors: Marcel Erné; Jorge Picado
      Abstract: A classical tensor product \({A \otimes B}\) of complete lattices A and B, consisting of all down-sets in \({A \times B}\) that are join-closed in either coordinate, is isomorphic to the complete lattice Gal(A,B) of Galois maps from A to B, turning arbitrary joins into meets. We introduce more general kinds of tensor products for closure spaces and for posets. They have the expected universal property for bimorphisms (separately continuous maps or maps preserving restricted joins in the two components) into complete lattices. The appropriate ingredient for quantale constructions is here distributivity at the bottom, a generalization of pseudocomplementedness. We show that the truncated tensor product of a complete lattice B with itself becomes a quantale with the closure of the relation product as multiplication iff B is pseudocomplemented, and that the tensor product has a unit element iff B is atomistic. The pseudocomplemented complete lattices form a semicategory in which the hom-set between two objects is their tensor product. The largest subcategory of that semicategory has as objects the atomic boolean complete lattices, which is equivalent to the category of sets and relations. More general results are obtained for closure spaces and posets.
      PubDate: 2017-10-22
      DOI: 10.1007/s00012-017-0472-x
  • Homomorphisms and principal congruences of bounded lattices. III. The
           Independence Theorem
    • Authors: G. Grätzer
      Abstract: A new result of G. Czédli states that for an ordered set P with at least two elements and a group G, there exists a bounded lattice L such that the ordered set of principal congruences of L is isomorphic to P and the automorphism group of L is isomorphic to G. I provide an alternative proof utilizing a result of mine with J. Sichler from the late 1990s.
      PubDate: 2017-10-17
      DOI: 10.1007/s00012-017-0462-z
  • A uniform Birkhoff theorem
    • Authors: Friedrich Martin Schneider
      Abstract: Birkhoff’s HSP theorem characterizes the classes of models of algebraic theories as those being closed with respect to homomorphic images, subalgebras, and products. In particular, it implies that an algebra B satisfies all equations that hold in an algebra A of the same signature if and only if B is a homomorphic image of a subalgebra of a (possibly infinite) direct power of A. The former statement is equivalent to the existence of a natural map sending term functions of the algebra A to those of B—the natural clone homomorphism. The study of continuity properties of natural clone homomorphisms has been initiated recently by Bodirsky and Pinsker for locally oligomorphic algebras. Revisiting the argument of Bodirsky and Pinsker, we show that for any algebra B in the variety generated by an algebra A, the induced natural clone homomorphism is uniformly continuous if and only if every finitely generated subalgebra of B is a homomorphic image of a subalgebra of a finite power of A. Based on this observation, we study the question as to when Cauchy continuity of natural clone homomorphisms implies uniform continuity. We introduce the class of almost locally finite algebras, which encompasses all locally oligomorphic as well as all locally finite algebras, and show that, in case A is almost locally finite, then the considered natural homomorphism is uniformly continuous if (and only if) it is Cauchy-continuous. In particular, this provides a locally finite counterpart of the result by Bodirsky and Pinsker. Along the way, we also discuss some peculiarities of oligomorphic permutation groups on uncountable sets.
      PubDate: 2017-10-17
      DOI: 10.1007/s00012-017-0460-1
  • The FEP for some varieties of fully distributive knotted residuated
    • Authors: Riquelmi Cardona; Nikolaos Galatos
      Abstract: We prove the finite embeddability property for a wide range of varieties of fully distributive residuated lattices and FL-algebras. Part of the axiomatization is assumed to be a knotted inequality and some appropriate generalization of commutativity. The construction is based on distributive residuated frames and extends to subvarieties axiomatized by any division-free equation.
      PubDate: 2017-10-17
      DOI: 10.1007/s00012-017-0466-8
  • On 3-generated lattices with a completely modular element among generators
    • Authors: Mikhail P. Shushpanov
      Abstract: We consider a lattice generated by three elements, one of which is completely modular. The free lattice with this property is proved to be finite. It is not modular and contains exactly 39 elements. We have also found a finite set of defining relations for the generating elements of this lattice.
      PubDate: 2017-10-17
      DOI: 10.1007/s00012-017-0463-y
  • Homomorphisms and principal congruences of bounded lattices. II. Sketching
           the proof for sublattices
    • Authors: G. Grätzer
      Abstract: A recent result of G. Czédli relates the ordered set of principal congruences of a bounded lattice L with the ordered set of principal congruences of a bounded sublattice K of L. In this note, I sketch a new proof.
      PubDate: 2017-10-17
      DOI: 10.1007/s00012-017-0461-0
  • Erratum to “1-affine completeness of compatible modules”
    • Authors: Gary L. Peterson
      Abstract: We correct a theorem in the original paper concerning when a composition series of a compatible nearring module is a 1-affine complete chain.
      PubDate: 2017-10-11
      DOI: 10.1007/s00012-017-0458-8
  • Distributive residuated frames and generalized bunched implication
    • Authors: Nikolaos Galatos; Peter Jipsen
      Abstract: We show that all extensions of the (non-associative) Gentzen system for distributive full Lambek calculus by simple structural rules have the cut elimination property. Also, extensions by such rules that do not increase complexity have the finite model property, hence many subvarieties of the variety of distributive residuated lattices have decidable equational theories. For some other extensions, we prove the finite embeddability property, which implies the decidability of the universal theory, and we show that our results also apply to generalized bunched implication algebras. Our analysis is conducted in the general setting of residuated frames.
      PubDate: 2017-10-09
      DOI: 10.1007/s00012-017-0456-x
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Tel: +00 44 (0)131 4513762
Fax: +00 44 (0)131 4513327
Home (Search)
Subjects A-Z
Publishers A-Z
Your IP address:
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-