A definable Henselian valuation with high quantifier complexity.

Immanuel Halupczok Franziska Jahnke

Published in: Math. Log. Q. (2015)

Keyphrases

computational complexity
case study
databases
real world
information retrieval
search engine
multiscale
lower bound
expressive power
decision problems
lower complexity