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

DOI10.1002/malq.201110061zbMath1246.03062arXiv1107.3783OpenAlexW2071884262MaRDI QIDQ2888633

Isaac Goldbring

Publication date: 1 June 2012

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1107.3783

zbMATH Keywords

Hilbert spacesHerbrand's theoremcontinuous logicdefinable functions

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Applications of model theory (03C98)

Related Items (2)

Definable operators on Hilbert spaces ⋮ Definable closure in randomizations

Cites Work

• Definable functions in Urysohn's metric space
• Definable operators on Hilbert spaces
• Hilbert spaces with generic groups of automorphisms
• Generic separable metric structures
• Model theory.
• Complete Coinductive Theories. I
• Modular functionals and perturbations of Nakano spaces
• Complete theories with only universal and existential axioms
• ABSOLUTELY UBIQUITOUS STRUCTURES AND N₀-CATEGORICAL GROUPS
• Some logical metatheorems with applications in functional analysis
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

This page was built for publication: An approximate Herbrand’s theorem and definable functions in metric structures