Login / Signup

Preserving levels of projective determinacy by tree forcings.

Fabiana CastiblancoPhilipp Schlicht
Published in: Ann. Pure Appl. Log. (2021)
Keyphrases
  • tree structure
  • tree models
  • genetic algorithm
  • b tree
  • graph structure
  • high levels
  • reconstruction from multiple views
  • database systems
  • nearest neighbor
  • conjunctive queries
  • levels of abstraction
  • binary tree