Definability of types and VC density in differential topological fields.

Françoise Point

Published in: Arch. Math. Log. (2018)

Keyphrases

computer vision
fixed point
topological properties
website
multi agent
relational databases
expressive power
propositional logic
multiple types