Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces.
Karim KhanakiPublished in: Math. Log. Q. (2020)
Keyphrases
- topological properties
- model theoretic
- structural properties
- description logics
- proof theoretic
- decision procedures
- operational semantics
- deductive databases
- network properties
- probabilistic reasoning
- small world and scale free
- default reasoning
- database
- theorem proving
- probabilistic model
- expert systems
- artificial intelligence