Pages that link to "Item:Q4340926"
From MaRDI portal
The following pages link to Strong representability of fork algebras, a set theoretic foundation (Q4340926):
Displaying 10 items.
- Weakly higher order cylindric algebras and finite axiomatization of the representables (Q1005971) (← links)
- A short proof of representability of fork algebras (Q1389659) (← links)
- Representability of pairing relation algebras depends on your ontology (Q2708315) (← links)
- Omitting types for algebraizable extensions of first order logic (Q3647239) (← links)
- (Q4250071) (← links)
- (Q4345012) (← links)
- Representability and program construction within fork algebras (Q4383701) (← links)
- A completeness theorem for higher order logics (Q4508267) (← links)
- (Q4870570) (← links)
- Solovay-type characterizations for forcing-algebras (Q4934042) (← links)