Cover Image

An addendum to "The theory of implicit operations"

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Carai, Luca, Kurtzhals, Miriam, Moraschini, Tommaso
Format:	Preprint
Published:	2025
Subjects:	Rings and Algebras Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The theory of implicit operations
by: Carai, Luca, et al.
Published: (2025)

A categorical description of simple Beth companions
by: Carai, Luca, et al.
Published: (2026)

Implicit operations in varieties of commutative monoids
by: Carai, Luca, et al.
Published: (2026)

A completion of reduced commutative rings
by: Carai, Luca, et al.
Published: (2026)

Congruence permutability in quasivarieties
by: Carai, Luca, et al.
Published: (2025)

Bounded depth in Hilbert algebras
by: Carai, Luca, et al.
Published: (2026)

Trees and spectra of Heyting algebras
by: Fornasiere, Damiano, et al.
Published: (2024)

Epimorphisms between finitely generated algebras
by: Carai, Luca, et al.
Published: (2024)

On the universal theory of the free pseudocomplemented distributive lattice
by: Carai, Luca, et al.
Published: (2024)

Some applications of finite BL-algebras
by: Flaut, Cristina, et al.
Published: (2025)

Taylor expansions over generalised power series
by: Bagayoko, Vincent, et al.
Published: (2025)

A Module-theoretic Introduction to Abstract Elementary Classes
by: Boney, Will
Published: (2025)

Bass modules and embeddings into free modules
by: Pillay, Anand, et al.
Published: (2025)

Constructive Quantifier Elimination with a Focus on Matrix Rings
by: Illmer, Maximilian, et al.
Published: (2025)

Cylindric quasi-implication algebras
by: McDonald, Joseph
Published: (2025)

Quasicomplemented distributive nearlattices
by: Calomino, Ismael
Published: (2025)

Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
by: Alpay, Natanael, et al.
Published: (2022)

Sharply 2-transitive groups of finite Morley rank
by: Altinel, Tuna, et al.
Published: (2018)

Dual Ploščica spaces of ortholattices
by: Craig, Andrew, et al.
Published: (2026)

Almost free modules, perfect decomposition and Enochs's conjecture
by: Cortés-Izurdiaga, Manuel, et al.
Published: (2024)

Automorphisms and derivations on algebras endowed with formal infinite sums
by: Bagayoko, Vincent, et al.
Published: (2024)

When Darwin met Ianus: dichotomies of expressivity
by: Brunar, Johanna, et al.
Published: (2025)

Local structure of idempotent algebras I
by: Bulatov, Andrei A.
Published: (2020)

Arbitrary models of the complete first-order theories of FDZ-rings
by: Sohrabi, Mahmood
Published: (2026)

On the structure of approximate rings
by: Krupiński, Krzysztof, et al.
Published: (2026)

Ring theory in o-minimal structures
by: Conversano, Annalisa
Published: (2025)

Coalgebraic models of Omega-groups
by: Bevilacqua, Maria
Published: (2025)

Approximation properties of torsion classes
by: Cox, Sean, et al.
Published: (2024)

Spectrahedral Shadows and Completely Positive Maps on Real Closed Fields
by: Bodirsky, Manuel, et al.
Published: (2022)

Vopěnka's Principle, Maximum Deconstructibility, and singly-generated torsion classes
by: Cox, Sean
Published: (2024)

Formalizing Gröbner Basis Theory in Lean
by: Guo, Junyu, et al.
Published: (2026)

A simplified proof of the CSP Dichotomy Conjecture and XY-symmetric operations
by: Zhuk, Dmitriy
Published: (2024)

Network Satisfaction Problems Solved by k-Consistency
by: Bodirsky, Manuel, et al.
Published: (2023)

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
by: Bolan, Matthew, et al.
Published: (2025)

Totally Disconnected (non-metric) Gelfand Duality
by: Rodríguez, Sebastián, et al.
Published: (2025)

The universal logic of repeated experiments
by: Grillo, Sergio Daniel
Published: (2025)

Semi-abelian by Design: Johnstone Algebras Unifying Implication and Division
by: Forsman, David
Published: (2025)

A canonical Makanin-Razborov diagram and a pseudo topology for sets of tuples in free groups, semigroups, associative algebras and Lie algebras I
by: Sela, Z.
Published: (2025)

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms
by: Bodirsky, Manuel, et al.
Published: (2025)

A formal Lie correspondence
by: Bagayoko, Vincent
Published: (2026)