Results 1 -
1 of
1
Axioms and (Counter)examples in Synthetic Domain Theory
- Annals of Pure and Applied Logic
, 1998
"... 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 p ..."
Abstract
-
Cited by 8 (7 self)
- Add to MetaCart
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
