Relative definability and models of Unary PCF

Antonio Bucciarelli (1) , Benjamin Leperchey (1) , Vincent Padovani (1)

1 PPS - Preuves, Programmes et Systèmes

We show that the poset of degrees of relative definability in the Scott model of Unary PCF is non trivial, and that, nevertheless, the hierarchy of order extensional models of the language is reduced to a bottom element (the fully abstract model) and a top one (the Scott model itself).

Domaines: Logique en informatique [cs.LO]

Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani. Relative definability and models of Unary PCF. Typed Lambda Calculi and Applications, 2003, Valencia, Spain. pp.75-89. ⟨hal-00149559⟩