On the existence of extensional partial combinatory algebras

DOI10.2307/2274368MaRDI QIDQ3787976zbMATH OpenOpenAlexFDO

Authors Ingemarie Bethke

Publication date 1987

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

Full work available at URL https://doi.org/10.2307/2274368

zbMATH Keywords

combinatorial completenesslogic of partial termspartial applicative structuresPartial combinatory algebras

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Other algebras related to logic (03G25) Partial orders, general (06A06)

Recommendations

• Extending partial combinatory algebras
• Computability in partial combinatory algebras
• Collapsing partial combinatory algebras
• A sufficient condition for completability of partial combinatory algebras
• scientific article; zbMATH DE number 4004153

Cited in

(18)

• Finite type structures within combinatory algebras
• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• Extensions of Scott's graph model and Kleene's second algebra
• Limiting partial combinatory algebras
• scientific article; zbMATH DE number 4033040 (Why is no real title available?)
• scientific article; zbMATH DE number 176159 (Why is no real title available?)
• scientific article; zbMATH DE number 517041 (Why is no real title available?)
• A sufficient condition for completability of partial combinatory algebras
• Collapsing partial combinatory algebras
• Extending partial combinatory algebras
• scientific article; zbMATH DE number 1841833 (Why is no real title available?)
• A notion of a computational step for partial combinatory algebras
• Computability in partial combinatory algebras
• Ordinal analysis of partial combinatory algebras
• Theory and Applications of Models of Computation
• Embeddings between partial combinatory algebras
• Partial combinatory algebras of functions
• The complexity of completions in partial combinatory algebra

This page was built for publication: On the existence of extensional partial combinatory algebras

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