19 citations · 120 across the 58 of their papers we have counts for
Showing 2011Show all
3 papers · 1 filter
math.LO2011★ 4 cited
Pseudofinite and pseudocompact metric structures
Isaac Goldbring, Vinicius Cifu Lopes
We initiate the study of pseudofiniteness in continuous logic. We introduce a related concept, namely that of pseudocompactness, and investigate the relationship between the two co…
math.LO2011
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…
math.LO2011★ 1 cited
An approximate logic for measures
Isaac Goldbring, Henry Towsner
We present a logical framework for formalizing connections between finitary combinatorics and measure theory or ergodic theory that have appeared various places throughout the lite…