Maltsev conditions for general congruence meet-semidistributive algebras

Journal of Symbolic Logic 86 (4):1432-1451 (2021)
  Copy   BIBTEX

Abstract

Meet semidistributive varieties are in a sense the last of the most important classes in universal algebra for which it is unknown whether it can be characterized by a strong Maltsev condition. We present a new, relatively simple Maltsev condition characterizing the meet-semidistributive varieties, and provide a candidate for a strong Maltsev condition.

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2021.14

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,337

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Finite Basis Theorem For Residually Finite, Congruence Meet-semidistributive Varieties.Ross Willard - 2000 - Journal of Symbolic Logic 65 (1):187-200.
Deciding some Maltsev conditions in finite idempotent algebras.Alexandr Kazda & Matt Valeriote - 2020 - Journal of Symbolic Logic 85 (2):539-562.
The Poset of All Logics II: Leibniz Classes and Hierarchy.R. Jansana & T. Moraschini - 2023 - Journal of Symbolic Logic 88 (1):324-362.
Deciding active structural completeness.Michał M. Stronkowski - 2020 - Archive for Mathematical Logic 59 (1-2):149-165.
Open questions related to the problem of Birkhoff and Maltsev.M. E. Adams, K. V. Adaricheva, W. Dziobiak & A. V. Kravchenko - 2004 - Studia Logica 78 (1):357-378.
On the variety generated by involutive pocrims.James Raftery - 2007 - Reports on Mathematical Logic.
The Poset of All Logics I: Interpretations and Lattice Structure.R. Jansana & T. Moraschini - 2021 - Journal of Symbolic Logic 86 (3):935-964.
On a Generalization of Heyting Algebras I.Amirhossein Akbar Tabatabai, Majid Alizadeh & Masoud Memarzadeh - forthcoming - Studia Logica:1-45.
Equality Algebras.Sándor Jenei - 2012 - Studia Logica 100 (6):1201-1209.
A model theoretic approach to malcev conditions.John T. Baldwin & Joel Berman - 1977 - Journal of Symbolic Logic 42 (2):277-288.

Analytics

Added to PP
2021-02-02

Downloads
13 (#1,321,788)

6 months
8 (#583,676)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The Constraint Satisfaction Problem and Universal Algebra.Libor Barto - 2015 - Bulletin of Symbolic Logic 21 (3):319-337.

Add more references