Implicative algebras II: completeness w.r.t. Set-based triposes
Logic
2020-11-19 v1
Abstract
We prove that all Set-based triposes are implicative triposes.
Cite
@article{arxiv.2011.09085,
title = {Implicative algebras II: completeness w.r.t. Set-based triposes},
author = {Alexandre Miquel},
journal= {arXiv preprint arXiv:2011.09085},
year = {2020}
}
Comments
14 pages