The Marker-Steinhorn Theorem via Definable Linear Orders.

Published in: Notre Dame J. Formal Log. (2019)

Keyphrases

database systems
x ray
closed form
real time
genetic algorithm
computer vision
evolutionary algorithm
special case
first order logic
data exchange
linear systems
linear constraints