An approximate Herbrand's theorem and definable functions in metric structures

Isaac Goldbring

We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by af…