tanmlanabilir

Tanmlanabilir is a term that appears in Turkish-language texts and is typically regarded as a variant spelling of tanımlanabilir, meaning definable or capable of being defined. The form likely arises from a typographical omission of the dotless i (ı) and the Turkish diacritics in the stem tanımlamak and the suffix -nabilir. In standard Turkish, tanımlanabilir is used to describe objects, properties, or sets that can be specified by a definition or a formula.

In mathematical logic and formal semantics, definability is a formal notion. A subset of a structure is definable if there exists a formula that selects exactly that set. For example, in a model of arithmetic, the set of even numbers is definable by the formula ∃y (x = 2*y). More generally, definability can be parameter-free or parameterized by constants from the structure, giving rise to concepts such as definable sets, definable elements, and definable types. The Turkish term tanımlanabilirlik corresponds to definability, and tanımlanabilir to definable.

Because tanmlanabilir is not the standard orthography, most Turkish-language references spell tanımlanabilir. When encountered in non-accented text or data sources, it may be interpreted as a misspelling rather than a separate term. See also definability, definable set, model theory, Turkish mathematical terminology.