The fixed point property in synthetic domain theory
Paul J. Taylor · 2002
An elementary axiomatization of synthetic domain theory is presented, and it is shown that it is sufficient to deduce the fixed point property and solve domain equations. The aim is to show that an important theorem can be derived from an abstract axiomatization, rather than from a particular model. Also, by providing a common framework in which both PER and classical models can be expressed, this work builds a bridge between the two.>