The following pages link to I. M. Hodkinson (Q912841):
Displayed 24 items.
- A Construction of Many Uncountable Rings Using SFP Domains and Aronszajn Trees (Q4287034) (← links)
- (Q4289282) (← links)
- (Q4329275) (← links)
- Step by step – Building representations in algebraic logic (Q4338323) (← links)
- Complete representations in algebraic logic (Q4372908) (← links)
- Relation algebra reducts of cylindric algebras and an application to proof theory (Q4532609) (← links)
- (Q4636043) (← links)
- Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures (Q4650305) (← links)
- (Q4661993) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
- An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers (Q4713419) (← links)
- Provability with Finitely Many Variables (Q4779634) (← links)
- Undecidability of Algebras of Binary Relations (Q5015973) (← links)
- STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES (Q5117595) (← links)
- (Q5141782) (← links)
- (Q5149062) (← links)
- Tangled Closure Algebras (Q5368923) (← links)
- On canonicity and completions of weakly representable relation algebras (Q5388728) (← links)
- Canonical varieties with no canonical axiomatisation (Q5461397) (← links)
- On the Priorean temporal logic with 'around now' over the real line (Q5498868) (← links)
- Simple completeness proofs for some spatial logics of the real line (Q5737990) (← links)
- Relation algebras from cylindric algebras. I (Q5956889) (← links)
- Relation algebras from cylindric algebras. II (Q5956890) (← links)
- Canonicity in power and modal logics of finite achronal width (Q6406042) (← links)