Cover Image

Characterizing Finitely Based Abelian Mal'cev Algebras

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Muro, Mateo
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A choice-free proof of Mal'cev's theorem on quasivarieties
by: Shen, Guozhen
Published: (2025)

SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks
by: Marković, Petar, et al.
Published: (2026)

Mal'cev clones over a three-element set up to minor-equivalence
by: Fioravanti, Stefano, et al.
Published: (2025)

Filtered Boolean powers of finite simple non-abelian Mal'cev algebras
by: Mayr, Peter, et al.
Published: (2024)

Free Algebras in Mal'cev-Type Subvarieties of Associative Algebras
by: Sartayev, B., et al.
Published: (2025)

On polynomial completeness properties of finite Mal'cev algebras
by: Rossi, Bernardo
Published: (2023)

Polynomial interpolation of partial functions in finite algebras with a Mal'cev term
by: Aichinger, Erhard, et al.
Published: (2026)

Completeness of Finitely Weighted Kleene Algebra With Tests
by: Sedlár, Igor
Published: (2024)

Subvarieties of pointed Abelian l-groups
by: Jankovec, Filip
Published: (2025)

Completeness of Relational Algebra via Cylindric Algebra
by: Laštovička, Jan
Published: (2026)

Proof complexity of Mal'tsev CSP
by: Gaysin, Azza
Published: (2025)

Deciding Equations in the Time Warp Algebra
by: van Gool, Sam, et al.
Published: (2023)

Rings and Boolean Algebras as Algebraic Theories
by: De Faveri, Arturo
Published: (2025)

Topological Dualities for Modal Algebras
by: Collinson, Matthew
Published: (2026)

Stably Embedded Pairs of Ordered Abelian Groups
by: Hils, Martin, et al.
Published: (2023)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
by: Almeida, Rodrigo Nicolau
Published: (2023)

Conjunctive Table Algebras
by: Kötters, Jens, et al.
Published: (2024)

The Algebras of Lewis's Counterfactuals
by: Rosella, Giuliano, et al.
Published: (2024)

Nonembeddings of Combinatory Algebras
by: Lutz, Patrick, et al.
Published: (2026)

VC-Density in Divisible Oriented Abelian Groups and Their Pairs
by: Nayir, Ebru, et al.
Published: (2026)

Cardinality and Representation of Stone Relation Algebras
by: Furusawa, Hitoshi, et al.
Published: (2023)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
by: Kim, Curie, et al.
Published: (2026)

On a Generalization of Heyting Algebras I
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2024)

On a Generalization of Heyting Algebras II
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2024)

A Model Companion for Abelian Lattice-Ordered Groups with a Valuation
by: Stokes-Waters, John
Published: (2026)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

A Proof Theory for Profinite Modal Algebras
by: De Berardinis, Matteo, et al.
Published: (2025)

A new categorial equivalence for Stone Algebras
by: Calomino, Ismael, et al.
Published: (2025)

Embedded Finite Models Beyond Restricted Quantifier Collapse
by: Benedikt, Michael, et al.
Published: (2023)

Union of Finitely Generated Congruences on Ground Term Algebra
by: Vágvölgyi, Sándor
Published: (2024)

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
by: Jana, Purbita, et al.
Published: (2025)

Uniform Preorders and Partial Combinatory Algebras
by: Frey, Jonas
Published: (2024)

Morita Rigidity for Kleene Algebras
by: Serafin, Luke
Published: (2025)

Continuous Algebras with Hypotheses
by: Mulder, Lukas, et al.
Published: (2026)

The Algebra of Iterative Constructions
by: Batz, Kevin, et al.
Published: (2026)

The Algebra of Parity Games
by: Piedeleu, Robin
Published: (2025)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
by: Wißmann, Thorsten, et al.
Published: (2024)

Characterizing Sets of Theories That Can Be Disjointly Combined
by: Przybocki, Benjamin, et al.
Published: (2025)

Strongly Dependent Ordered Abelian Groups and Henselian Fields
by: Halevi, Yatir, et al.
Published: (2017)

Quantifier Elimination and Invariant Theory: Applications to Quaternions, Octonions, and Other Algebras
by: Illmer, Maximilian
Published: (2026)