Pages that link to "Item:Q803116"
From MaRDI portal
The following pages link to \(\lambda\)-definability of free algebras (Q803116):
Displaying 17 items.
- The \((\lambda ,\kappa )\)-Freese-Nation property for Boolean algebras and compacta (Q438812) (← links)
- A characterization of lambda definable tree operations (Q918191) (← links)
- Towards the range property for the lambda theory \(\mathcal H\) (Q930864) (← links)
- On \(L_{\infty{}\kappa{}}\)-free Boolean algebras (Q1184714) (← links)
- Infiniteness of \(\text{proof}(\alpha)\) is polynomial-space complete (Q1274981) (← links)
- Complete interpretations of \(\Omega\)-languages and free algebras of \(\Omega\)-elements (Q1280914) (← links)
- Ordinals and ordinal functions representable in the simply typed lambda calculus (Q1302304) (← links)
- Functions over free algebras definable in the simply typed lambda calculus (Q1314357) (← links)
- Saturated free algebras and almost indiscernible theories (Q2120438) (← links)
- (Q3015819) (← links)
- (Q3837740) (← links)
- How to define functionals on free structures in typed \(\lambda\) calculus (Q3975176) (← links)
- INTERDEFINABILITY OF LAMBEKIAN FUNCTORS (Q4295248) (← links)
- Quantifier Free Definability on Infinite Algebras (Q4635936) (← links)
- Letterplace (Q5145988) (← links)
- LAMBDA-REPRESENTABLE FUNCTIONS OVER TERM ALGEBRAS (Q5249246) (← links)
- Implicit computation complexity in higher-order programming languages (Q5875893) (← links)