The following pages link to John Harding (Q172076):
Displayed 50 items.
- Categories with fuzzy sets and relations (Q277341) (← links)
- On the proof that compact Hausdorff Boolean algebras are powersets (Q304180) (← links)
- Compact Hausdorff Heyting algebras (Q334967) (← links)
- Daggers, kernels, Baer *-semigroups, and orthomodularity (Q358684) (← links)
- Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\) (Q358692) (← links)
- Modal logics of Stone spaces (Q438813) (← links)
- Projective bichains (Q451076) (← links)
- Varieties of Birkhoff systems. I (Q523145) (← links)
- Varieties of Birkhoff systems. II (Q523146) (← links)
- Subalgebras of orthomodular lattices (Q651424) (← links)
- Dynamics in the decompositions approach to quantum mechanics (Q682657) (← links)
- A link between quantum logic and categorical quantum mechanics (Q732298) (← links)
- (Q831311) (redirect page) (← links)
- Raney algebras and duality for \(T_0\)-spaces (Q831312) (← links)
- Lattices of convex normal functions (Q835105) (← links)
- On profinite completions and canonical extensions (Q861603) (← links)
- The logic of bundles (Q904514) (← links)
- \(\kappa\)-complete uniquely complemented lattices (Q943377) (← links)
- Convex normal functions revisited (Q969586) (← links)
- The modal logic of \({\beta(\mathbb{N})}\) (Q1016504) (← links)
- Hausdorff dimension of self-similar sets with overlaps (Q1042857) (← links)
- Boolean factors of orthomodular lattices (Q1109057) (← links)
- Orthomodular lattices whose MacNeille completions are not orthomodular (Q1182045) (← links)
- Irreducible orthomodular lattices which are simple (Q1208075) (← links)
- Amalgamation of ortholattices (Q1267546) (← links)
- Regularity in quantum logic (Q1302665) (← links)
- Completions of orthomodular lattices. II (Q1318352) (← links)
- Completions of orthomodular lattices (Q1325964) (← links)
- A bundle representation for continuous geometries (Q1366275) (← links)
- Every lattice with 1 and 0 is embeddable in the lattice of topologies of some set by an embedding which preserves the 1 and 0 (Q1570920) (← links)
- Epimorphisms in certain varieties of algebras (Q1590181) (← links)
- The convolution algebra (Q1652865) (← links)
- Modularity is not canonical (Q1721744) (← links)
- Obituary: Günter Bruns (Q1771250) (← links)
- Remarks on concrete orthomodular lattices (Q1771587) (← links)
- Functional monadic Heyting algebras. (Q1771932) (← links)
- The free orthomodular lattice on countably many generators is a subalgebra of the free orthomodular lattice on three generators. (Q1771944) (← links)
- Axioms of an experimental system (Q1805696) (← links)
- Boolean products of lattices (Q1815844) (← links)
- A Boolean topological orthomodular poset (Q1935009) (← links)
- MacNeille transferability and stable classes of Heyting algebras (Q1991585) (← links)
- Compact Hausdorff spaces with relations and Gleason spaces (Q2011383) (← links)
- Proximity frames and regularization. (Q2015817) (← links)
- Canonical extensions, free completely distributive lattices, and complete retracts (Q2057106) (← links)
- Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
- Lüders rule and conditional probability for commuting events (Q2086140) (← links)
- Completions of pseudo ordered sets (Q2141001) (← links)
- The variety generated by the truth value algebra of type-2 fuzzy sets (Q2270251) (← links)
- Boolean subalgebras of orthoalgebras (Q2279686) (← links)
- Modal operators on compact regular frames and de Vries algebras. (Q2350317) (← links)