- Definable Functions in Urysohn's Metric Space
2010/01/27 by Goldbring, Isaac · 1 citation
#03C40 #03C65 #FOS: Mathematics #General Topology (math.GN) #Logic (math.LO)
- Thorn-Forking in Continuous Logic
2009/11/18 by Clifton Ealy, Isaac Goldbring, Ealy, Clifton +1 · 1 citation
Computer Science · Mathematics · #03C45 #03C65 #Advanced Topology and Set Theory #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic, programming, and type systems
- A Model Existence Theorem for Infinitary Formulas in Metric Spaces
1998/02/24 by Carlos Ortiz, C. Ortiz, Ortiz, Carlos · 1 citation
Mathematics · #03C65 #46B08 #46B20 #Advanced Banach Space Theory #FOS: Mathematics #Fixed Point Theorems Analysis #Functional Analysis (math.FA) #Functional Equations Stability Results #Logic (math.LO) #math.FA #math.LO #msc:03C65 #msc:46B08 #msc:46B20