http://dbpedia.org/ontology/abstract
|
Spektrum avser inom modellteori hur många … 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.sk i alla överuppräkneliga kardinaliteter.
, 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.
, In model theory, a branch of mathematical … 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.lved for the case of a countable theory T.
|
http://dbpedia.org/ontology/wikiPageID
|
3820897
|
http://dbpedia.org/ontology/wikiPageLength
|
6876
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1119505569
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Robert_Vaught +
, http://dbpedia.org/resource/Chen_Chung_Chang +
, http://dbpedia.org/resource/Wreath_product +
, http://dbpedia.org/resource/Monotonic_function +
, http://dbpedia.org/resource/Spectrum_of_a_sentence +
, http://dbpedia.org/resource/Vaught_conjecture +
, http://dbpedia.org/resource/Aleph_number +
, http://dbpedia.org/resource/Ehud_Hrushovski +
, http://dbpedia.org/resource/Model_theory +
, http://dbpedia.org/resource/L%C3%B6wenheim%E2%80%93Skolem_theorem +
, http://dbpedia.org/resource/Continuum_hypothesis +
, http://dbpedia.org/resource/Group_action_%28mathematics%29 +
, http://dbpedia.org/resource/Category:Model_theory +
, http://dbpedia.org/resource/Saharon_Shelah +
, http://dbpedia.org/resource/Michael_C._Laskowski +
, http://dbpedia.org/resource/Michael_D._Morley +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Morley%27s_categoricity_theorem +
, http://dbpedia.org/resource/Random_graph +
, http://dbpedia.org/resource/Beth_number +
, http://dbpedia.org/resource/Complete_theory +
, http://dbpedia.org/resource/H._Jerome_Keisler +
, http://dbpedia.org/resource/Conjecture +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Mathematical_logic +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Isbn +
, http://dbpedia.org/resource/Template:Cite_journal +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Model_theory +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Spectrum_of_a_theory?oldid=1119505569&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Spectrum_of_a_theory +
|
owl:sameAs |
http://sv.dbpedia.org/resource/Spektrum_%28modellteori%29 +
, http://www.wikidata.org/entity/Q7575321 +
, https://global.dbpedia.org/id/4vNbQ +
, http://de.dbpedia.org/resource/Spektralfunktion_%28Modelltheorie%29 +
, http://rdf.freebase.com/ns/m.0b1q3s +
, http://dbpedia.org/resource/Spectrum_of_a_theory +
|
rdfs:comment |
In model theory, a branch of mathematical … 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.lved for the case of a countable theory T.
, Spektrum avser inom modellteori hur många … 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.sk i alla överuppräkneliga kardinaliteter.
, 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.
|
rdfs:label |
Spectrum of a theory
, Spektralfunktion (Modelltheorie)
, Spektrum (modellteori)
|