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

partial applicative structureslogic of partial termscombinatorial completenessPartial combinatory algebras

Mathematics Subject Classification ID

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

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

(16)

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

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)