Forcing Constructions and Countable Borel Equivalence Relations.
Su GaoSteve JacksonEdward KrohneBrandon SewardPublished in: J. Symb. Log. (2022)
Keyphrases
- equivalence relation
- rough set theory
- rough sets
- markov decision processes
- stationary policies
- granular computing
- markov chain
- average cost
- rough set approximations
- partial order
- dynamic programming
- databases
- state space
- finite state
- numerical data
- binary relations
- stationary distribution
- situation calculus
- soft computing
- data model