The McKinsey-Tarski Theorem for Locally Compact Ordered Spaces.

Guram Bezhanishvili Nick Bezhanishvili Joel Lucero-Bryan Jan van Mill

Published in: Bull. Symb. Log. (2021)

Keyphrases

von neumann
expert systems
ordered sets
databases
decision making
image processing
interactive theorem proving
information retrieval
artificial intelligence
information systems
lower bound
information technology
rough sets
partially ordered