Definable set (original) (raw)
In mathematical logic, a definable set is an n-ary relation on the domain of a structure whose elements satisfy some formula in the first-order language of that structure. A set can be defined with or without parameters, which are elements of the domain that can be referenced in the formula defining the relation.
| Property | Value |
|---|---|
| dbo:abstract | In mathematical logic, a definable set is an n-ary relation on the domain of a structure whose elements satisfy some formula in the first-order language of that structure. A set can be defined with or without parameters, which are elements of the domain that can be referenced in the formula defining the relation. (en) En mathématiques, un ensemble définissable dans une structure donnée d'ensemble de base M est un sous-ensemble de Mm (m entier naturel) pour lequel on peut trouver une formule du langage de la structure, avec éventuellement pour paramètres des éléments de M, de façon que les éléments sont exactement ceux qui satisfont cette formule. (fr) 모형 이론에서 정의 가능 집합(定義可能集合, 영어: definable set)은 어떤 주어진 언어의 모형 속의, 어떤 술어를 만족시키는 원소들로 구성된 부분 집합이다. (ko) Na lógica matemática, um conjunto definível é uma relação n-ária sobre o domínio de uma estrutura cujos elementos são precisamente aqueles elementos que satisfaçam alguma fórmula na língua dessa estrutura. Um conjunto pode ser definido com ou sem parâmetros, que são elementos do domínio que podem ser referenciados na fórmula que define a relação. (pt) Na lógica matemática, um conjunto definido é uma relação n-ária sobre o domínio de uma estrutura cujos elementos são precisamente aqueles elementos que satisfaçam alguma fórmula na língua dessa estrutura. Um conjunto pode ser definido com ou sem parâmetros, que são elementos do domínio que podem ser referenciados na fórmula que define a relação. (pt) |
| dbo:wikiPageID | 5569486 (xsd:integer) |
| dbo:wikiPageLength | 7332 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1060367813 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Quantifier_elimination dbc:Logic dbr:Relation_(mathematics) dbr:Descriptive_set_theory dbr:Computability_theory dbr:Analytical_hierarchy dbr:Mathematical_logic dbr:Arithmetical_hierarchy dbr:Arithmetical_set dbr:Empty_set dbr:Structure_(mathematical_logic) dbr:Automorphism dbr:Field_(mathematics) dbr:First-order_language dbr:Free_variable dbc:Mathematical_logic dbc:Model_theory dbr:Theory_(mathematical_logic) dbr:Integer dbr:Natural_number dbr:Real_number dbr:Second-order_logic dbr:Set_(mathematics) dbr:Singleton_(mathematics) dbr:Extension_by_definitions dbr:Subset dbr:Elementary_substructure dbr:Tarski–Vaught_test dbr:Formula_(mathematical_logic) dbr:O-minimality dbr:Semi-algebraic_sets |
| dbp:wikiPageUsesTemplate | dbt:Authority_control |
| dct:subject | dbc:Logic dbc:Mathematical_logic dbc:Model_theory |
| gold:hypernym | dbr:Relation |
| rdf:type | owl:Thing dbo:Agent |
| rdfs:comment | In mathematical logic, a definable set is an n-ary relation on the domain of a structure whose elements satisfy some formula in the first-order language of that structure. A set can be defined with or without parameters, which are elements of the domain that can be referenced in the formula defining the relation. (en) En mathématiques, un ensemble définissable dans une structure donnée d'ensemble de base M est un sous-ensemble de Mm (m entier naturel) pour lequel on peut trouver une formule du langage de la structure, avec éventuellement pour paramètres des éléments de M, de façon que les éléments sont exactement ceux qui satisfont cette formule. (fr) 모형 이론에서 정의 가능 집합(定義可能集合, 영어: definable set)은 어떤 주어진 언어의 모형 속의, 어떤 술어를 만족시키는 원소들로 구성된 부분 집합이다. (ko) Na lógica matemática, um conjunto definível é uma relação n-ária sobre o domínio de uma estrutura cujos elementos são precisamente aqueles elementos que satisfaçam alguma fórmula na língua dessa estrutura. Um conjunto pode ser definido com ou sem parâmetros, que são elementos do domínio que podem ser referenciados na fórmula que define a relação. (pt) Na lógica matemática, um conjunto definido é uma relação n-ária sobre o domínio de uma estrutura cujos elementos são precisamente aqueles elementos que satisfaçam alguma fórmula na língua dessa estrutura. Um conjunto pode ser definido com ou sem parâmetros, que são elementos do domínio que podem ser referenciados na fórmula que define a relação. (pt) |
| rdfs:label | Definable set (en) Ensemble définissable (fr) 정의 가능 집합 (ko) Conjuntos definidos (pt) Conjunto definível (pt) |
| owl:sameAs | freebase:Definable set wikidata:Definable set wikidata:Definable set dbpedia-fr:Definable set dbpedia-he:Definable set dbpedia-ko:Definable set dbpedia-pt:Definable set dbpedia-pt:Definable set https://global.dbpedia.org/id/2Pvrx |
| prov:wasDerivedFrom | wikipedia-en:Definable_set?oldid=1060367813&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Definable_set |
| is dbo:wikiPageDisambiguates of | dbr:Definable |
| is dbo:wikiPageRedirects of | dbr:Definable_sets |
| is dbo:wikiPageWikiLink of | dbr:Model_theory dbr:Morley_rank dbr:Definition dbr:Von_Neumann–Bernays–Gödel_set_theory dbr:Definable dbr:Index_of_logic_articles dbr:Integer_sequence dbr:Interpretation_(model_theory) dbr:List_of_mathematical_logic_topics dbr:O-minimal_theory dbr:Computability_theory dbr:Glossary_of_set_theory dbr:Definable_sets dbr:Real_closed_ring dbr:Axiom_of_choice dbr:Nonfirstorderizability dbr:Wilkie's_theorem |
| is foaf:primaryTopic of | wikipedia-en:Definable_set |