Similar Items: The recursion hierarchy for PCF is strict
- On the strictness of the quantifier structure hierarchy in first-order logic
- Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words
- Strict Hierarchy for Quantum Channel Certification to Unitary
- A coherent differential PCF
- On Berry's conjectures about the stable order in PCF
- Domain Representable Spaces Defined by Strictly Positive Induction