| dbo:abstract
|
- In der Modelltheorie, einem mathematischen Teilgebiet der Logik, ordnet die Spektralfunktion einer Kardinalzahl die Anzahl der nicht-isomorphen Modelle einer Theorie zu. Das Spektralproblem für eine Theorie ist, diese Werte zu finden. (de)
- In model theory, a branch of mathematical logic, the spectrum of a theoryis given by the number of isomorphism classes of models in various cardinalities. More precisely, for any complete theory T in a language we write I(T, α) for the number of models of T (up to isomorphism) of cardinality α. The spectrum problem is to describe the possible behaviors of I(T, α) as a function of α. It has been almost completely solved for the case of a countable theory T. (en)
- Spektrum avser inom modellteori hur många modeller en teori kan uppträda i, vilket anges av kardinaltal som anger antalet modeller för teorin i varje kardinalitet. Vilka sekvenser som är möjliga spektra för någon fullständig första ordningens teori är ett problem som studerats i omfattande utsträckning inom och . Ett tidigt elementärt resultat är som säger att en teori som är kategorisk i någon överuppräknelig kardinalitet är kategorisk i alla överuppräkneliga kardinaliteter. (sv)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 6876 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdfs:comment
|
- In der Modelltheorie, einem mathematischen Teilgebiet der Logik, ordnet die Spektralfunktion einer Kardinalzahl die Anzahl der nicht-isomorphen Modelle einer Theorie zu. Das Spektralproblem für eine Theorie ist, diese Werte zu finden. (de)
- In model theory, a branch of mathematical logic, the spectrum of a theoryis given by the number of isomorphism classes of models in various cardinalities. More precisely, for any complete theory T in a language we write I(T, α) for the number of models of T (up to isomorphism) of cardinality α. The spectrum problem is to describe the possible behaviors of I(T, α) as a function of α. It has been almost completely solved for the case of a countable theory T. (en)
- Spektrum avser inom modellteori hur många modeller en teori kan uppträda i, vilket anges av kardinaltal som anger antalet modeller för teorin i varje kardinalitet. Vilka sekvenser som är möjliga spektra för någon fullständig första ordningens teori är ett problem som studerats i omfattande utsträckning inom och . Ett tidigt elementärt resultat är som säger att en teori som är kategorisk i någon överuppräknelig kardinalitet är kategorisk i alla överuppräkneliga kardinaliteter. (sv)
|
| rdfs:label
|
- Spektralfunktion (Modelltheorie) (de)
- Spectrum of a theory (en)
- Spektrum (modellteori) (sv)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
