definability

Proving that the predicate "x is constructible" is absolute requires formalizing the notion of definability, which in turn requires formalizing the notion of satisfaction.

Kurt Gödel Kennedy, Juliette 2007

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.

Paradoxes and Contemporary Logic Cantini, Andrea 2007

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:

Alfred Tarski Gómez-Torrente, Mario 2006

The fourth kind of definability is a pair of notions, implicit definability and explicit definability of a particular relation in a theory.

Model Theory Hodges, Wilfrid 2009

With the above code, we can list the longest of the well-mixed transposals. antiparticles paternalistic conservatoire overreactions aristotelian retaliations obscurantist subtractions definability identifiably arthroscopes crapshooters colonialists oscillations enumerations mountaineers importunates permutations counterspies persecutions capillarity piratically animadverts maidservant calendering greenlandic grandnieces reascending coordinates decorations peripatetic precipitate crenelation intolerance arthroscope crapshooter peristaltic triplicates excitations intoxicates

Wolfram Blog : Word Play with Mathematica 2008

As Craig noted at the time, his interpolation theorem gives a neat proof of Evert Beth's definability theorem, which runs as follows.

First-order Model Theory Hodges, Wilfrid 2009

This seems to be at variance with older results about the non-definability of theoretical terms, but a closer inspection removes the apparent contradiction.

Structuralism in Physics Schmidt, Heinz-Juergen 2008

To demonstrate the sense in which definability is understood here we consider the example of

Combinatory Logic Bimbó, Katalin 2008

S (KS) K is in nf, however, to be in nf is not a requirement for definability.

Combinatory Logic Bimbó, Katalin 2008

The true Americans who were there with us last night represented the whole patchwork of ethnicities, ages, economic status and education that give texture and definability to the unique country we are.

John Hubers: (Watch) In Grant Park on Night History Was Made 2008