Login / Signup

A preservation theorem for theories without the tree property of the first kind.

Jan DobrowolskiHyeung-Joon Kim
Published in: Math. Log. Q. (2017)
Keyphrases
  • tree structure
  • index structure
  • theoretical framework
  • r tree
  • database
  • real time
  • databases
  • data mining
  • social networks
  • information systems
  • logic programming
  • b tree
  • formal models
  • fixed point theorem