Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Type_(model_theory)> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- Type_(model_theory) abstract "In model theory and related areas of mathematics, a type is an object that, loosely speaking, describes how a (real or possible) element or 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 which 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.".
- Type_(model_theory) wikiPageID "3741564".
- Type_(model_theory) wikiPageRevisionID "600142973".
- Type_(model_theory) hasPhotoCollection Type_(model_theory).
- Type_(model_theory) subject Category:Concepts_in_logic.
- Type_(model_theory) subject Category:Model_theory.
- Type_(model_theory) type Abstraction100002137.
- Type_(model_theory) type Cognition100023271.
- Type_(model_theory) type Concept105835747.
- Type_(model_theory) type ConceptsInLogic.
- Type_(model_theory) type Content105809192.
- Type_(model_theory) type Idea105833840.
- Type_(model_theory) type PsychologicalFeature100023100.
- Type_(model_theory) comment "In model theory and related areas of mathematics, a type is an object that, loosely speaking, describes how a (real or possible) element or 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 which 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 .".
- Type_(model_theory) label "Typ (Modelltheorie)".
- Type_(model_theory) label "Type (model theory)".
- Type_(model_theory) label "Type (théorie des modèles)".
- Type_(model_theory) label "型 (模型论)".
- Type_(model_theory) sameAs Typ_(Modelltheorie).
- Type_(model_theory) sameAs Type_(théorie_des_modèles).
- Type_(model_theory) sameAs m.09yhh1.
- Type_(model_theory) sameAs Q834884.
- Type_(model_theory) sameAs Q834884.
- Type_(model_theory) sameAs Type_(model_theory).
- Type_(model_theory) wasDerivedFrom Type_(model_theory)?oldid=600142973.
- Type_(model_theory) isPrimaryTopicOf Type_(model_theory).