-definability of free algebras

DOI10.1016/0168-0072(91)90019-IMaRDI QIDQ803116zbMATH OpenOpenAlexFDO

Authors Marek Zaionc

Publication date 1991

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(91)90019-i

zbMATH Keywords

\(\lambda \) -language over a simple type structurefree algebrasrepresentabilitysecond-order typestyped lambda-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Free algebras (08B20)

Recommendations

• scientific article; zbMATH DE number 2079020
• scientific article; zbMATH DE number 475247
• scientific article; zbMATH DE number 17832
• A characterization of lambda definable tree operations
• scientific article; zbMATH DE number 2185720

Cites work

• A characterization of lambda definable tree operations
• Automatic synthesis of typed -programs on term algebras
• Definierbare Funktionen imλ-Kalkül mit Typen
• scientific article; zbMATH DE number 3935004 (Why is no real title available?)
• scientific article; zbMATH DE number 4099256 (Why is no real title available?)
• scientific article; zbMATH DE number 176211 (Why is no real title available?)
• scientific article; zbMATH DE number 3485758 (Why is no real title available?)
• scientific article; zbMATH DE number 475247 (Why is no real title available?)
• scientific article; zbMATH DE number 3280068 (Why is no real title available?)
• Intuitionistic propositional logic is polynomial-space complete
• On the existence of closed terms in the typed lambda calculus II: Transformations of unification problems
• The lambda calculus, its syntax and semantics
• Word operation definable in the typed -calculus

Cited in

(21)

• On \(L_{\infty{}\kappa{}}\)-free Boolean algebras
• Infiniteness of \(\text{proof}(\alpha)\) is polynomial-space complete
• Complete interpretations of \(\Omega\)-languages and free algebras of \(\Omega\)-elements
• Ordinals and ordinal functions representable in the simply typed lambda calculus
• Functions over free algebras definable in the simply typed lambda calculus
• Saturated free algebras and almost indiscernible theories
• scientific article; zbMATH DE number 5919926 (Why is no real title available?)
• scientific article; zbMATH DE number 2185720 (Why is no real title available?)
• scientific article; zbMATH DE number 956483 (Why is no real title available?)
• scientific article; zbMATH DE number 17832 (Why is no real title available?)
• scientific article; zbMATH DE number 176211 (Why is no real title available?)
• scientific article; zbMATH DE number 475247 (Why is no real title available?)
• INTERDEFINABILITY OF LAMBEKIAN FUNCTORS
• The \((\lambda ,\kappa )\)-Freese-Nation property for Boolean algebras and compacta
• scientific article; zbMATH DE number 2079020 (Why is no real title available?)
• Quantifier Free Definability on Infinite Algebras
• Letterplace
• Lambda-representable functions over term algebras
• Implicit computation complexity in higher-order programming languages
• A characterization of lambda definable tree operations
• Towards the range property for the lambda theory \(\mathcal H\)

This page was built for publication: \(\lambda\)-definability of free algebras

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