Domain Representable Spaces Defined by Strictly Positive Induction

Petter Kristian Køber

Recursive domain equations have natural solutions. In particular there are domains defined by strictly positive induction. The class of countably based domains gives a computabilit…