Miguel Campercholi

From MaRDI portal
Person:539982

Available identifiers

zbMath Open campercholi.miguel-aMaRDI QIDQ539982

List of research outcomes





PublicationDate of PublicationType
Semisimplicity and congruence 3-permutability for quasivarieties with equationally definable principal congruences2024-06-26Paper
A short proof of the Baker–Pixley theorem for classes2024-01-04Paper
Two algorithms to decide Quantifier-free Definability in Finite Algebraic Structures2023-03-29Paper
ALGEBRAIC EXPANSIONS OF LOGICS2023-02-27Paper
Varieties with existentially definable factor congruences2022-05-10Paper
Every minimal dual discriminator variety is minimal as a quasivariety2021-05-06Paper
Deciding quantifier-free definability in finite algebraic structures2021-01-19Paper
The complexity of definability by open first-order formulas2021-01-08Paper
Algebraic expansions of logics and algebras and a case study of Abelian l-groups and perfect MV-algebras2020-06-16Paper
On structural completeness versus almost structural completeness problem: A discriminator varieties case study2019-01-08Paper
The lattice of congruences of a finite line frame2018-11-20Paper
Deciding open definability via subisomorphisms2018-10-18Paper
DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS2018-05-02Paper
Relative congruence formulas and decompositions in quasivarieties2017-12-21Paper
Semantical conditions for the definability of functions and relations2016-09-14Paper
Epic substructures and primitive positive functions2016-07-11Paper
Algebraic functions in Łukasiewicz implication algebras.2016-04-08Paper
Semantical conditions for the definability of functions and relations2014-06-06Paper
Implicit definition of the quaternary discriminator2012-11-27Paper
Algebraic functions2012-03-09Paper
Quasivarieties and congruence permutability of Łukasiewicz implication algebras2012-03-09Paper
Axiomatizability by \({\forall \exists!}\)-sentences2011-11-23Paper
An implicit function theorem for algebraically closed fields2011-06-01Paper
ALGEBRAICALLY EXPANDABLE CLASSES OF IMPLICATION ALGEBRAS2010-10-21Paper
Algebraically expandable classes2009-12-14Paper
An implicit function theorem for regular fuzzy logic functions2009-08-28Paper
A note on congruence systems of MS-algebras.2009-03-31Paper
Congruence permutable MS-algebras2007-04-02Paper
The subquasivariety lattice of a discriminator variety2001-11-01Paper

Research outcomes over time

This page was built for person: Miguel Campercholi