| dbo:abstract |
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. (en) 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. (fr) |
| dbo:wikiPageID |
12923821 (xsd:integer) |
| dbo:wikiPageLength |
1890 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1087610159 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Mathematical_logic dbr:Wilfrid_Hodges dbr:First-order_logic dbr:Formula dbc:Theorems_in_the_foundations_of_mathematics dbc:Mathematical_logic dbr:Evert_Willem_Beth dbr:Reduct dbr:Definability_(disambiguation) dbr:Theory_(logic) |
| dbp:wikiPageUsesTemplate |
dbt:Mathlogic-stub |
| dcterms:subject |
dbc:Theorems_in_the_foundations_of_mathematics dbc:Mathematical_logic |
| gold:hypernym |
dbr:Result |
| rdfs:comment |
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. (en) 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. (fr) |
| rdfs:label |
Beth definability (en) Théorème de définissabilité de Beth (fr) |
| owl:sameAs |
freebase:Beth definability wikidata:Beth definability dbpedia-fr:Beth definability https://global.dbpedia.org/id/4Xrnm |
| prov:wasDerivedFrom |
wikipedia-en:Beth_definability?oldid=1087610159&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Beth_definability |
| is dbo:wikiPageWikiLink of |
dbr:Institutional_model_theory dbr:Robinson's_joint_consistency_theorem dbr:Glossary_of_set_theory dbr:Larisa_Maksimova dbr:Lars_Svenonius dbr:Evert_Willem_Beth |
| is foaf:primaryTopic of |
wikipedia-en:Beth_definability |