M. Campercholi

activity

20152020

most citedEpic substructures and primitive positive functions

1 citations · 1 across the 3 of their papers we have counts for

collaborators

Showing math.LOShow all

3 papers · 1 filter

math.LO2020

Algebraic expansions of logics and algebras and a case study of Abelian l-groups and perfect MV-algebras

Miguel Campercholi, Diego Castaño, José Patricio Díaz Varela +1

An algebraically expandable (AE) class is a class of algebraic structures axiomatizable by sentences of the form $\forall\exists! \land p = q$ . For a logic $L$ algebraized by a qu…

math.LO2016★ 1 cited

Epic substructures and primitive positive functions

Miguel Campercholi

For $A \leq B$ first order structures in a class $K$ , say that $A$ is an epic substructure of $B$ in $K$ if for every $\mathbf…

math.LO2015

Semantical conditions for the definability of functions and relations

Miguel Campercholi, Diego Vaggione

Let $L \subseteq L^{'}$ be first order languages, let $R \in L^{'} - L$ be a relation symbol, and let be a class of…