The following pages link to Steven Givant (Q800350):
Displayed 47 items.
- Item:Q800350 (redirect page) (← links)
- Model complete universal Horn classes (Q800351) (← links)
- A portrait of Alfred Tarski (Q809989) (← links)
- The calculus of relations as a foundation for mathematics (Q877838) (← links)
- Union decompositions and universal classes categorical in power (Q1139036) (← links)
- The number of non-isomorphic denumerable models of certain universal Horn classes (Q1170186) (← links)
- Possible cardinalities of irredundant bases for finite closure structures (Q1224111) (← links)
- Persistent properties and an application to algebras of logic (Q1272145) (← links)
- Unifying threads in Alfred Tarski's work (Q1286341) (← links)
- Notions of density that imply representability in algebraic logic (Q1295366) (← links)
- Universal theories categorical in power and \(\kappa\)-generated models (Q1337355) (← links)
- Relation algebras and groups (Q1652847) (← links)
- Coset relation algebras (Q1652860) (← links)
- Functionally dense relation algebras (Q1762473) (← links)
- A representation theorem for measurable relation algebras (Q1791048) (← links)
- (Q2894720) (← links)
- v*-ALGEBRAS, INDEPENDENCE ALGEBRAS AND LOGIC (Q3112588) (← links)
- NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS (Q3389497) (← links)
- Introduction to Boolean Algebras (Q3533040) (← links)
- Bibliography of Alfred Tarski (Q3764098) (← links)
- A representation theorem for universal horn classes categorical in power (Q3875903) (← links)
- (Q4011716) (← links)
- (Q4040000) (← links)
- Universal horn classes categorical or free in power (Q4184820) (← links)
- Universal classes of simple relation algebras (Q4262570) (← links)
- Tarski's System of Geometry (Q4262603) (← links)
- (Q4277620) (← links)
- The Structure of Relation Algebras Generated by Relativizations (Q4293503) (← links)
- The lattice of varieties of representable relation algebras (Q4302359) (← links)
- (Q4305489) (← links)
- Decision problems for equational theories of relation algebras (Q4338157) (← links)
- (Q4384471) (← links)
- Inequivalent representations of geometric relation algebras (Q4457734) (← links)
- (Q4516983) (← links)
- Groups and Algebras of Binary Relations (Q4532727) (← links)
- A representation theorem for measurable relation algebras with cyclic groups (Q4633775) (← links)
- THE VARIETY OF COSET RELATION ALGEBRAS (Q4647114) (← links)
- Perfect extensions and derived algebras (Q4858815) (← links)
- ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS (Q5361138) (← links)
- Advanced Topics in Relation Algebras (Q5364874) (← links)
- Introduction to Relation Algebras (Q5364875) (← links)
- Simple Relation Algebras (Q5364876) (← links)
- Duality Theories for Boolean Algebras with Operators (Q5419017) (← links)
- (Q5692428) (← links)
- The preservation of Sahlqvist equations in completions of Boolean algebras with operators (Q5932468) (← links)
- Relation algebras and groups (Q6299797) (← links)
- Coset relation algebras (Q6299819) (← links)