Realizability in OCAs and AKSs
Logic
2015-12-25 v1
Abstract
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 \cite{kn:ocar}. We were motivated by the search of a full adjunction to the original implication map. We show that all the constructions from s to triposes developped in \cite{kn:ocar} can be also implemented in the new situation.
Cite
@article{arxiv.1512.07879,
title = {Realizability in OCAs and AKSs},
author = {Walter Ferrer Santos and Mauricio Guillermo and Octavio Malherbe},
journal= {arXiv preprint arXiv:1512.07879},
year = {2015}
}