Type (model theory) (original) (raw)
In der Modelltheorie bezeichnet ein Typ eine Menge erst-stufiger Formeln in einer Sprache mit freien Variablen , die keinen Widerspruch implizieren. Anschaulich gesprochen legt ein Typ bestimmte Eigenschaften fest, die ein Element haben soll. Ein solches Element muss nicht unbedingt existieren, aber die Eigenschaften dürfen nicht im Widerspruch zueinander stehen, damit zumindest in einer größeren Struktur ein solches Element gefunden werden kann. Auch drückt ein Typ aus, welche Elemente sich nicht durch erst-stufige Formeln unterscheiden lassen.
| Property | Value |
|---|---|
| dbo:abstract | In der Modelltheorie bezeichnet ein Typ eine Menge erst-stufiger Formeln in einer Sprache mit freien Variablen , die keinen Widerspruch implizieren. Anschaulich gesprochen legt ein Typ bestimmte Eigenschaften fest, die ein Element haben soll. Ein solches Element muss nicht unbedingt existieren, aber die Eigenschaften dürfen nicht im Widerspruch zueinander stehen, damit zumindest in einer größeren Struktur ein solches Element gefunden werden kann. Auch drückt ein Typ aus, welche Elemente sich nicht durch erst-stufige Formeln unterscheiden lassen. (de) En théorie des modèles, un type est un ensemble de formules à une même variable libre, consistant avec une théorie donnée, c'est-à-dire tel qu'il existe un modèle de la théorie en question dont un élément satisfait chacune des formules du type. (fr) In model theory and related areas of mathematics, a type is an object that describes how a (real or possible) element or finite collection of elements in a mathematical structure might behave. More precisely, it is a set of first-order formulas in a language L with free variables x1, x2,…, xn that are true of a sequence of elements of an L-structure . Depending on the context, types can be complete or partial and they may use a fixed set of constants, A, from the structure . The question of which types represent actual elements of leads to the ideas of saturated models and omitting types. (en) Na teoria do modelo e áreas relacionadas da matemática, um tipo é um objeto que, falando livremente, descreve como um elemento (real ou possível) ou elementos em uma estrutura matemática podem se comportar. Mais precisamente, é um conjunto de fórmulas de primeira ordem em uma linguagem L com variáveis livres x1, x2, ..., xn que são verdadeiras de uma sequência de elementos de uma L-estrutura . Dependendo do contexto, os tipos podem ser completos ou parciais e podem utilizar um conjunto fixo de constantes, A, da estrutura . A questão de quais tipos representam elementos reais de nos leva às ideias de e tipos de omissão. (pt) 在模型論中，型是一階邏輯中的一個相容的公式集合。一個完備型是這類集合中的一個極大元素。 (zh) |
| dbo:wikiPageID | 3741564 (xsd:integer) |
| dbo:wikiPageLength | 13789 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1115778040 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Cambridge_University_Press dbr:Quantifier_elimination dbr:Model_theory dbr:Algebraically_closed_field dbr:Archimedean_property dbr:Compact_space dbr:Mathematics dbr:Elsevier dbr:Ordered_field dbr:Stone_space dbr:Compactness_theorem dbr:Structure_(mathematical_logic) dbr:Transcendental_extension dbr:Hausdorff_space dbr:Irreducible_polynomial dbr:Field_(mathematics) dbr:First-order_logic dbr:Formal_language dbr:Graduate_Texts_in_Mathematics dbr:Isolated_point dbr:Ultrafilter dbc:Concepts_in_logic dbc:Mathematical_logic dbc:Model_theory dbr:Characteristic_(algebra) dbr:Boolean_algebra_(structure) dbr:Boolean_ring dbr:Square_root_of_2 dbr:Maximal_consistent_set dbr:Infinitesimal dbr:Root_of_a_function dbr:Saturated_model dbr:Zariski_topology dbr:Ultraproduct dbr:Topological_space dbr:Totally_disconnected_space dbr:Elementary_extension dbr:Hyperreals dbr:Prime_spectrum |
| dbp:wikiPageUsesTemplate | dbt:Anchor dbt:Cite_book dbt:No_footnotes dbt:Reflist dbt:Mathematical_logic |
| dct:subject | dbc:Concepts_in_logic dbc:Mathematical_logic dbc:Model_theory |
| rdf:type | yago:WikicatConceptsInLogic yago:Abstraction100002137 yago:Cognition100023271 yago:Concept105835747 yago:Content105809192 yago:Idea105833840 yago:PsychologicalFeature100023100 |
| rdfs:comment | In der Modelltheorie bezeichnet ein Typ eine Menge erst-stufiger Formeln in einer Sprache mit freien Variablen , die keinen Widerspruch implizieren. Anschaulich gesprochen legt ein Typ bestimmte Eigenschaften fest, die ein Element haben soll. Ein solches Element muss nicht unbedingt existieren, aber die Eigenschaften dürfen nicht im Widerspruch zueinander stehen, damit zumindest in einer größeren Struktur ein solches Element gefunden werden kann. Auch drückt ein Typ aus, welche Elemente sich nicht durch erst-stufige Formeln unterscheiden lassen. (de) En théorie des modèles, un type est un ensemble de formules à une même variable libre, consistant avec une théorie donnée, c'est-à-dire tel qu'il existe un modèle de la théorie en question dont un élément satisfait chacune des formules du type. (fr) In model theory and related areas of mathematics, a type is an object that describes how a (real or possible) element or finite collection of elements in a mathematical structure might behave. More precisely, it is a set of first-order formulas in a language L with free variables x1, x2,…, xn that are true of a sequence of elements of an L-structure . Depending on the context, types can be complete or partial and they may use a fixed set of constants, A, from the structure . The question of which types represent actual elements of leads to the ideas of saturated models and omitting types. (en) Na teoria do modelo e áreas relacionadas da matemática, um tipo é um objeto que, falando livremente, descreve como um elemento (real ou possível) ou elementos em uma estrutura matemática podem se comportar. Mais precisamente, é um conjunto de fórmulas de primeira ordem em uma linguagem L com variáveis livres x1, x2, ..., xn que são verdadeiras de uma sequência de elementos de uma L-estrutura . Dependendo do contexto, os tipos podem ser completos ou parciais e podem utilizar um conjunto fixo de constantes, A, da estrutura . A questão de quais tipos representam elementos reais de nos leva às ideias de e tipos de omissão. (pt) 在模型論中，型是一階邏輯中的一個相容的公式集合。一個完備型是這類集合中的一個極大元素。 (zh) |
| rdfs:label | Typ (Modelltheorie) (de) Type (théorie des modèles) (fr) Tipo (teoria do modelo) (pt) Type (model theory) (en) 型 (模型论) (zh) |
| owl:sameAs | freebase:Type (model theory) yago-res:Type (model theory) wikidata:Type (model theory) dbpedia-de:Type (model theory) dbpedia-fr:Type (model theory) dbpedia-he:Type (model theory) dbpedia-hu:Type (model theory) dbpedia-pt:Type (model theory) dbpedia-zh:Type (model theory) https://global.dbpedia.org/id/4zAUW |
| prov:wasDerivedFrom | wikipedia-en:Type_(model_theory)?oldid=1115778040&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Type_(model_theory) |
| is dbo:wikiPageDisambiguates of | dbr:Type |
| is dbo:wikiPageRedirects of | dbr:Complete_type dbr:Omitting_types dbr:Omitting_types_theorem |
| is dbo:wikiPageWikiLink of | dbr:N_type dbr:Omega-categorical_theory dbr:Index_of_logic_articles dbr:List_of_mathematical_logic_topics dbr:Tame_abstract_elementary_class dbr:Rado_graph dbr:Half_graph dbr:Type dbr:True_arithmetic dbr:Stability_spectrum dbr:Data_type dbr:First-order_logic dbr:Prime_model dbr:Atomic_model_(mathematical_logic) dbr:Abstract_elementary_class dbr:Z_notation dbr:Cantor's_isomorphism_theorem dbr:Saturated_model dbr:List_of_unsolved_problems_in_mathematics dbr:U-rank dbr:Stable_theory dbr:Complete_type dbr:Omitting_types dbr:Omitting_types_theorem |
| is foaf:primaryTopic of | wikipedia-en:Type_(model_theory) |