A Countable Three-Generated Orthomodular Lattice with No $\sigma$-Complete Embedding 8TPP7WC7K3

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
4DPMYPS8FY	statement	lemma 5.1	arxiv
Projection stability and compatibility	statement	lemma 3.3	arxiv
Main result	statement	theorem 1.1	arxiv
9G2Q48YJCC	statement	lemma 6.1	arxiv
D4TGRM969E	statement	lemma 3.1	arxiv
G1B333P5TN	statement	lemma 5.4	arxiv
Adjunction and existing suprema	statement	lemma 3.2	arxiv
Finite closure of a commutant	statement	lemma 3.4	arxiv
XDQT8S6C2A	statement	lemma 5.3	arxiv
Orbit obstruction	statement	theorem 4.1	arxiv