Miguel Campercholi

Available identifiers

zbMath Open campercholi.miguel-aMaRDI QIDQ539982

List of research outcomes

Publication	Date of Publication	Type
Semisimplicity and congruence 3-permutability for quasivarieties with equationally definable principal congruences	2024-06-26	Paper
A short proof of the Baker–Pixley theorem for classes	2024-01-04	Paper
Two algorithms to decide Quantifier-free Definability in Finite Algebraic Structures	2023-03-29	Paper
ALGEBRAIC EXPANSIONS OF LOGICS	2023-02-27	Paper
Varieties with existentially definable factor congruences	2022-05-10	Paper
Every minimal dual discriminator variety is minimal as a quasivariety	2021-05-06	Paper
Deciding quantifier-free definability in finite algebraic structures	2021-01-19	Paper
The complexity of definability by open first-order formulas	2021-01-08	Paper
Algebraic expansions of logics and algebras and a case study of Abelian l-groups and perfect MV-algebras	2020-06-16	Paper
On structural completeness versus almost structural completeness problem: A discriminator varieties case study	2019-01-08	Paper
The lattice of congruences of a finite line frame	2018-11-20	Paper
Deciding open definability via subisomorphisms	2018-10-18	Paper
DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS	2018-05-02	Paper
Relative congruence formulas and decompositions in quasivarieties	2017-12-21	Paper
Semantical conditions for the definability of functions and relations	2016-09-14	Paper
Epic substructures and primitive positive functions	2016-07-11	Paper
Algebraic functions in Łukasiewicz implication algebras.	2016-04-08	Paper
Semantical conditions for the definability of functions and relations	2014-06-06	Paper
Implicit definition of the quaternary discriminator	2012-11-27	Paper
Algebraic functions	2012-03-09	Paper
Quasivarieties and congruence permutability of Łukasiewicz implication algebras	2012-03-09	Paper
Axiomatizability by \({\forall \exists!}\)-sentences	2011-11-23	Paper
An implicit function theorem for algebraically closed fields	2011-06-01	Paper
ALGEBRAICALLY EXPANDABLE CLASSES OF IMPLICATION ALGEBRAS	2010-10-21	Paper
Algebraically expandable classes	2009-12-14	Paper
An implicit function theorem for regular fuzzy logic functions	2009-08-28	Paper
A note on congruence systems of MS-algebras.	2009-03-31	Paper
Congruence permutable MS-algebras	2007-04-02	Paper
The subquasivariety lattice of a discriminator variety	2001-11-01	Paper

Research outcomes over time

This page was built for person: Miguel Campercholi