Noninterpretability of Infinite Linear Orders.

Wilfrid Hodges André Nies

Published in: Logic Colloquium (1995)

Keyphrases

linear systems
real time
databases
multiresolution
data sets
case study
multiscale
linear programming
linear model
simple linear
infinite dimensional