Source author record

Leonardo Manuel Cabrer

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.RA math.CO math.DS math.GR

Catalog footprint

Research overview

6works

5topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2015arXiv

Admissibility via Natural Dualities

It is shown that admissible clauses and quasi-identities of quasivarieties generated by a single finite algebra, or equivalently, the quasiequational and universal theories of their free algebras on countably infinitely many generators, may be characterized using natural dualities. In particular, axiomatizations are obtained for the admissible clauses and quasi-identities of bounded distributive lattices, Stone algebras, Kleene algebras and lattices, and De Morgan algebras and lattices.

preprint2015arXiv

Classifying $\mathsf{GL}(n,\mathbb Z)$ -orbits of points and rational subspaces

We first show that the subgroup of the abelian real group $\mathbb{R}$ generated by the coordinates of a point in $x = (x_1,\dots,x_n)\in\mathbb{R}^n$ completely classifies the $\mathsf{GL}(n,\mathbb Z)$ -orbit of $x$ . This yields a short proof of J.S.Dani's theorem: the $\mathsf{GL}(n,\mathbb Z)$ -orbit of $x\in\mathbb{R}^n$ is dense iff $x_i/x_j\in \mathbb{R} \setminus \mathbb Q$ for some $i,j=1,\dots,n$ . We then classify $\mathsf{GL}(n,\mathbb Z)$ -orbits of rational affine subspaces $F$ of $\mathbb{R}^n$ . We prove that the dimension of $F$ together with the volume of a special parallelotope associated to $F$ yields a complete classifier of the $\mathsf{GL}(n,\mathbb Z)$ -orbit of $F$ .

preprint2014arXiv

Interval MV-algebras and generalizations

For any MV-algebra $A$ we equip the set $I(A)$ of intervals in $A$ with pointwise Łukasiewicz negation $\neg x=\{\neg α\mid α\in x\}$ , (truncated) Minkowski sum, $x\oplus y=\{α\oplus β\mid α\in x,\,\,β\in y\}$ , pointwise Łukasiewicz conjunction $x\odot y=\neg(\neg x\oplus \neg y)$ , the operators $Δx=[\min x,\min x]$ , $\nabla x=[\max x,\max x]$ , and distinguished constants $0=[0,0],\,\, 1=[1,1],\,\,\, \mathsf{i} = A$ . We list a few equations satisfied by the algebra $\mathcal I(A)=(I(A),0,1,\mathsf{i},\neg,Δ,\nabla,\oplus,\odot)$ , call IMV-algebra every model ofthese equations, and show that, conversely, every IMV-algebra is isomorphic to the IMV-algebra $\mathcal I(B)$ of all intervals in some MV-algebra $B$ . We show that IMV-algebras are categorically equivalent to MV-algebras, and give a representation of free IMV-algebras. We construct Łukasiewicz interval logic, with its coNP-complete consequence relation, which we prove to be complete for $\mathcal I([0,1])$ -valuations. For any class $\mathsf{Q}$ of partially ordered algebras with operations that are monotone or antimonotone in each variable, we consider the generalization $\mathcal I_{\mathsf{Q}}$ of the MV-algebraic functor $\mathcal I$ , and give necessary and sufficient conditions for $\mathcal I_{\mathsf{Q}}$ to be a categorical equivalence. These conditions are satisfied, e.g., by all subquasivarieties of residuated lattices.

preprint2014arXiv

Rational Simplicial geometry and projective unital lattice-ordered abelian groups

A unital $\ell$ -group is an abelian group equipped with a translation invariant lattice-order and with a distinguished strong unit, i.e. an element whose positive integer multiples eventually dominate every element of $G$ .If $X$ is a compact subset of $R^n$ , the set $M(X)$ of real-valued piecewise linear maps with integer coefficients, whose addition and lattice operations defined pointwise and whose distinguished element is the constant map $1$ , is a unital $\ell$ -group. In this paper we provide a geometric decription of finitely generated (regular) projective unital $\ell$ -groups. We prove that a finitely unital $\ell$ -group is projective if and only if it is isomorphic to $M(P)$ for some polyhedron $P$ which is rational, contractible, contains an integer point, and satisfies an elementary arithmetical-topological property.

preprint2014arXiv

Severi-Bouligand tangents, Frenet frames and Riesz spaces

It was recently proved that a compact set $X\subseteq \mathbb R^2$ has an outgoing Severi-Bouligand tangent vector $u\not=0$ at $x\in X$ iff some principal ideal of the Riesz space $\mathcal R(X)$ of piecewise linear functions on $X$ is not an intersection of maximal ideals. "Outgoing" means $X\cap [x,x+u]=\{x\}$ . Suppose now $X\subseteq \mathbb{R}^n$ and some principal ideal of $\mathcal R(X)$ is not an intersection of maximal ideals. We prove that this is equivalent to saying that $X$ contains a sequence $\{x_i\}$ whose Frenet $k$ -frame $(u_1,\ldots,u_k)$ is an outgoing Severi-Bouligand tangent of $X$ . When the $\{x_i\}$ are taken as sample points of a smooth curve $γ,$ the Frenet $k$ -frames of $\{x_i\}$ and of $γ$ coincide. The computation of Frenet frames via sample sequences does not require the knowledge of any higher-order derivative of $γ$ .

preprint2012arXiv

Simplicial geometry of unital lattice-ordered abelian groups

By an $\ell$ -group $G$ we mean a lattice-ordered abelian group. This paper is concerned with the category $\FP$ of finitely presented {\it unital} $\ell$ -groups, those $\ell$ -groups having a distinguished order-unit $u$ . Using the duality between $\FP$ the category of rational polyhedra, we will provide (i) a construction of finite limits and co-limits in $\FP$; (ii) a Cantor-Bernstein-Schröder theorem for finitely presented unital $\ell$ -groups; (iii) a geometrical characterization of finitely generated subalgebras of free objects of $\FP$.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Leonardo Manuel Cabrer

Research overview

Is this your work?

6 publications

Admissibility via Natural Dualities

Classifying $\mathsf{GL}(n,\mathbb Z)$ -orbits of points and rational subspaces

Interval MV-algebras and generalizations

Rational Simplicial geometry and projective unital lattice-ordered abelian groups

Severi-Bouligand tangents, Frenet frames and Riesz spaces

Simplicial geometry of unital lattice-ordered abelian groups

See the researcher in context

Building this map preview

Leonardo Manuel Cabrer

Research overview

Is this your work?

6 publications

Admissibility via Natural Dualities

Classifying GL(n,Z)\mathsf{GL}(n,\mathbb Z)GL(n,Z)-orbits of points and rational subspaces

Interval MV-algebras and generalizations

Rational Simplicial geometry and projective unital lattice-ordered abelian groups

Severi-Bouligand tangents, Frenet frames and Riesz spaces

Simplicial geometry of unital lattice-ordered abelian groups

See the researcher in context

Building this map preview

Classifying $\mathsf{GL}(n,\mathbb Z)$ -orbits of points and rational subspaces