Pages that link to "Item:Q3506327"

The following pages link to Weakly representable atom structures that are not strongly representable, with an application to first order logic (Q3506327):

Displaying 7 items.

• Weakly higher order cylindric algebras and finite axiomatization of the representables (Q1005971) (← links)
• Weakly representable but not representable relation algebras (Q1337158) (← links)
• A brief history of Tarskian algebraic logic with new perspectives and innovations (Q2193424) (← links)
• Strongly representable atom structures of relation algebras (Q2781354) (← links)
• Strongly representable atom structures of cylindric algebras (Q3399179) (← links)
• Relation algebras from cylindric and polyadic algebras (Q4353721) (← links)
• Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic (Q4995621) (← links)