Part II Local Realizability Toposes and a Modal Logic for
by Unknown Authors
BibTeX
@MISC{_partii,
author = {},
title = {Part II Local Realizability Toposes and a Modal Logic for},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
5.1 Definition and Examples 5.1.1 Definition and Definability Results A tripos is a weak tripos with disjunction which has a (weak) generic object. Explicitly we define:
