On the existence of extensional partial combinatory algebras

DOI10.2307/2274368zbMATH Open0645.03010OpenAlexW4255763910MaRDI QIDQ3787976FDOQ3787976

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

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

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)

Cited In (16)

• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• Collapsing partial combinatory algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Limiting partial combinatory algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• The complexity of completions in partial combinatory algebra
• Theory and Applications of Models of Computation
• A notion of a computational step for partial combinatory algebras
• Ordinal analysis of partial combinatory algebras
• Extensions of Scott's graph model and Kleene's second algebra
• Partial combinatory algebras of functions
• Computability in partial combinatory algebras
• Extending partial combinatory algebras
• Embeddings between 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)