Similar Items: Domain Representable Spaces Defined by Strictly Positive Induction
- The recursion hierarchy for PCF is strict
- Positive Inductive-Recursive Definitions
- On the strictness of the quantifier structure hierarchy in first-order logic
- Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words
- Domain Representations Induced by Dyadic Subbases
- Inductive Definition and Domain Theoretic Properties of Fully Abstract