On combinatory algebras and their expansions (Q760416): Difference between revisions

The paper studies expansions of combinatory algebras (which are structures in general not rich enough to interpret the untyped lambda- calculus because the weak extensionality rule \(\xi\) need not be valid in all combinatory algebras) into lambda-models. For Scott's \(P\omega\)-model a new proof of the uniqueness of the expansion is shown, and under an additional condition of stability also the uniqueness of K and S in this model. Concerning general lambda-models, a general result on expansions of interiors of a class of lambda-models is proved.