Definition of "definability" []

• The quality of being definable. (noun)

Wiktionary.org : Text is available under the Creative Commons Attribution-ShareAlike License

• "Indeed, the new contradictions not only affected the conception of set and logical concepts, they also came to include the notion of definability and its relation with a fundamental issue: the structure of the mathematical continuum and in particular whether the continuum can be well-ordered and whether Cantor's Continuum Hypothesis (CH) holds."
• "Proving that the predicate "x is constructible" is absolute requires formalizing the notion of definability, which in turn requires formalizing the notion of satisfaction."
• "In the 1931 paper we find also, as was to be expected, the Tarskian concern with matters of precision and foundational rigor, and we find a revealing statement about the attitude of mathematicians toward the notion of definability, that could be extended to other semantical notions:"