Sciweavers

55
Voted
CSL
2006
Springer
15 years 17 days ago
Universality Results for Models in Locally Boolean Domains
Abstract. In [6] J. Laird has shown that an infinitary sequential extenPCF has a fully abstract model in his category of locally boolean domains (introduced in [8]). In this paper ...
Tobias Löw, Thomas Streicher