搜索结果: 1-1 共查到“数理逻辑与数学基础 metric structures”相关记录1条 . 查询时间(0.2 秒)
An approximate Herbrand's theorem and definable functions in metric structures
Herbrand's theorem metric structures Logic
2011/9/15
Abstract: 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 affine funct...