The range property fails for H

DOI10.2178/JSL.7704080MaRDI QIDQ4899168zbMATH OpenOpenAlexFDO

Authors Andrew Polonsky

Publication date 7 January 2013

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.jsl/1350315583

zbMATH Keywords

lambda-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Towards the range property for the lambda theory \(\mathcal H\)
• Constructive proofs of the range property in lambda calculus
• Solution to the range problem for combinatory logic
• λ-definable functionals andβη conversion
• About the range property for H

Cites work

• Constructive proofs of the range property in lambda calculus
• Towards the range property for the lambda theory \(\mathcal H\)

Cited in

(4)

• About the range property for H
• Solution to the range problem for combinatory logic
• Lambda theories allowing terms with a finite number of fixed points
• When the extension property does not hold

This page was built for publication: The range property fails for H

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4899168)