Axioms and (Counter)examples in Synthetic Domain Theory (1998)
by
Jaap Van Oosten
,
Alex K. Simpson
| Venue: | Annals of Pure and Applied Logic |
| Citations: | 8 - 7 self |
BibTeX
@INPROCEEDINGS{Oosten98axiomsand,
author = {Jaap Van Oosten and Alex K. Simpson},
title = {Axioms and (Counter)examples in Synthetic Domain Theory},
booktitle = {Annals of Pure and Applied Logic},
year = {1998},
pages = {200--0}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper we adopt the most popular choice, the internal logic of an elementary topos (with nno), also chosen, e.g., in [23, 8, 26]. The principal benefits are that models of the logic (toposes) are ubiquitous, and the methods for constructing and analysing them are very well-established. For the purposes of the axiomatic part of this paper, we believe that it would also be
