3 citations · 9 across the 10 of their papers we have counts for
12 papers
A short survey on observability
Walter Ferrer Santos
The exploration of the notion of observability exhibits transparently the rich interplay between algebraic and geometric ideas in \emph{geometric invariant theory}. The concept of…
Quasi-compact group schemes, Hopf sheaves, and their representations
Alvaro Rittatore, Pedro Luis del Angel, Walter Ferrer Santos
We explore the notion of representation of an affine extension of an abelian variety -- such an extension is a faithfully flat affine morphism of -group schemes ,…
The category of implicative algebras and realizability
Walter Ferrer, Octavio Malherbe
In this paper we continue with the algebraic study of Krivine's realizability, refining some of the authors' previous constructions by introducing two categories, with objects the…
Realizability in OCAs and AKSs
Walter Ferrer Santos, Mauricio Guillermo, Octavio Malherbe
In the context of the associated to an we introduce a closure operator and two associated maps that replace the closure and the maps defined in \c…
Ordered combinatory algebras and realizability
Walter Ferrer Santos, Jonas Frey, Mauricio Guillermo +2
We consider different classes of combinatory structures related to Krivine realizability. We show, in the precise sense that they give rise to the same class of triposes, that they…
A Report on Realizability
Walter Ferrer Santos, Mauricio Guillermo, Octavio Malherbe
Besides recalling the basic definitions of Realizability Lattices, Abstract Krivine Structures, Ordered Combinatory Algebras and Tripos and reviewing its relationships, we propose…