Beth definability
http://dbpedia.org/resource/Beth_definability
In mathematical logic, Beth definability is a result that connects implicit definability of a property to its explicit definability. Specifically Beth definability states that the two senses of definability are equivalent. First-order logic has the Beth definability property.
rdf:langString
En logique mathématique, le théorème de définissabilité de Beth (d'après Evert Willem Beth) établit que deux notions de définissabilité sont équivalentes : il s'agit des notions d'être implicitement ou explicitement définissable dans une théorie du premier ordre.
rdf:langString
rdf:langString
Beth definability
rdf:langString
Théorème de définissabilité de Beth
xsd:integer
12923821
xsd:integer
1087610159
rdf:langString
In mathematical logic, Beth definability is a result that connects implicit definability of a property to its explicit definability. Specifically Beth definability states that the two senses of definability are equivalent. First-order logic has the Beth definability property.
rdf:langString
En logique mathématique, le théorème de définissabilité de Beth (d'après Evert Willem Beth) établit que deux notions de définissabilité sont équivalentes : il s'agit des notions d'être implicitement ou explicitement définissable dans une théorie du premier ordre.
xsd:nonNegativeInteger
1890