About: Feferman–Vaught theorem

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Theorem about products in model theory

Property	Value
dbo:description	theorem about products in model theory (en)
dbo:wikiPageWikiLink	dbr:Direct_product dbr:Quantifier_elimination dbr:Field_of_sets dbr:Variety_(universal_algebra) dbr:Signature_(logic) dbr:Robert_Lawson_Vaught dbr:Andrzej_Mostowski dbr:Fundamental_theorem_of_arithmetic dbr:Presburger_arithmetic dbr:Solomon_Feferman dbr:Algorithm dbr:Cartesian_product dbr:Algebraic_structure dbc:Model_theory dbr:Model_theory dbr:Universal_algebra dbr:Boolean_algebra dbr:Substructure_(mathematics) dbr:Skolem_arithmetic dbr:First-order_theory
dbp:wikiPageUsesTemplate	dbt:Areas_of_mathematics dbt:Reflist dbt:Mathematical_logic dbt:Short_description
dct:subject	dbc:Theorems_in_the_foundations_of_mathematics dbc:Model_theory
rdfs:label	Feferman–Vaught theorem (en)
owl:sameAs	wikidata:Feferman–Vaught theorem dbpedia-global:Feferman–Vaught theorem
prov:wasDerivedFrom	wikipedia-en:Feferman–Vaught_theorem?oldid=1285175185&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Feferman–Vaught_theorem
is dbo:notableIdea of	dbr:Solomon_Feferman
is dbo:wikiPageRedirects of	dbr:Feferman-Vaught_theorem
is dbo:wikiPageWikiLink of	dbr:S2S_(mathematics) dbr:Robert_Lawson_Vaught dbr:Skolem_arithmetic dbr:Feferman-Vaught_theorem
is dbp:mainInterests of	dbr:Ewa_Ligocka
is dbp:notableIdeas of	dbr:Solomon_Feferman
is foaf:primaryTopic of	wikipedia-en:Feferman–Vaught_theorem

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International