Retracts of numerations

DOI10.1016/0168-0072(89)90017-1zbMath0681.03026OpenAlexW1968762685MaRDI QIDQ1823236

Akira Kanda

Publication date: 1989

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(89)90017-1

zbMATH Keywords

acceptabilitycategory of retracts of a numerationprecompleteness

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Theory of numerations, effectively presented structures (03D45)

Cites Work

• The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
• Numeration Models of λβ‐Calculus
• Theorie der Numerierungen I
• Pairing Without Conventional Restraints
• Data Types as Lattices
• Acceptable Numerations of Function Spaces

This page was built for publication: Retracts of numerations