Miguel A. Campercholi

Available identifiers

zbMath Open campercholi.miguel-aMaRDI QIDQ539982

List of research outcomes

Publication	Date of Publication	Type
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
Quasivarieties and congruence permutability of Łukasiewicz implication algebras	2012-03-09	Paper
Algebraic functions	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
https://portal.mardi4nfdi.de/entity/Q3617924	2009-03-31	Paper
Congruence permutable MS-algebras	2007-04-02	Paper
The subquasivariety lattice of a discriminator variety	2001-11-01	Paper
Two algorithms to decide Quantifier-free Definability in Finite Algebraic Structures	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Miguel A. Campercholi