Now showing items 1-1 of 1
(Master thesis / Masteroppgave, 2009)
In this thesis we will apply forcing to domain theory. When a Scott domain represents a function space, each function will be a filter in the basis of the domain. By using the partially ordered basis as the forcing ...