Similar Items: Uniqueness of directed complete posets based on Scott closed set lattices
- Faster Existential FO Model Checking on Posets
- Topological Scott Convergence Theorem
- First Order Theories of Some Lattices of Open Sets
- The Sierpinski Object in the Scott Realizability Topos
- Algorithmic Randomness and Capacity of Closed Sets
- Closed Sets and Operators thereon: Representations, Computability and Complexity