Similar Items: First Order Theories of Some Lattices of Open Sets
- Predicative theories of continuous lattices
- Undecidable First-Order Theories of Affine Geometries
- Uniqueness of directed complete posets based on Scott closed set lattices
- The First-Order Theory of Ground Tree Rewrite Graphs
- Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
- An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I)