About: Ultraproduct

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Quotient of the direct product of a family of structures by an ultrafilter

Property	Value
dbo:description	kvociento de produto de strukturoj per ultrafiltrilo (eo) quotient of the direct product of a family of structures by an ultrafilter (en) 數學構造，是無窮項笛卡兒積的商集 (zh)
dbo:wikiPageExternalLink	http://www.thoralf.uwaterloo.ca/htdocs/ualg.html
dbo:wikiPageWikiLink	dbr:Archimedean_property dbr:Direct_product dbr:Transfer_principle dbr:Signature_(logic) dbr:Set_theory dbc:Universal_algebra dbr:Abstract_algebra dbc:Theorems_in_the_foundations_of_mathematics dbr:Measurable_cardinal dbr:Dover_Publications dbr:Abraham_Robinson dbr:Compactness_theorem dbr:Mathematics dbc:Nonstandard_analysis dbr:Measure_(mathematics) dbr:Quotient_set dbr:Direct_limit dbc:Mathematical_logic dbr:Cartesian_product dbr:Structure_(mathematical_logic) dbr:Quotient dbr:Equivalence_relation dbr:Field_(mathematics) dbc:Model_theory dbr:Mathematical_logic dbr:Model_theory dbr:Ordered_field dbr:Nonstandard_analysis dbr:Almost_everywhere dbr:Filter_(set_theory) dbr:Axiom_of_choice dbr:Jerzy_Łoś dbr:Large_cardinal dbr:Hyperreal_number dbr:Nonstandard_integer dbr:Relation_(mathematics) dbr:First-order_predicate_calculus dbr:Cofinite dbr:Ultrafilter_(set_theory) dbr:Principal_ultrafilter dbr:Hyperreal_numbers dbr:Real_numbers dbr:H._Jerome_Keisler dbr:Completeness_theorem dbr:Nonstandard_complex_numbers
dbp:group	proof (en)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:For dbt:IPA dbt:Visible_anchor dbt:Em dbt:Mathematical_logic dbt:Annotated_link dbt:Short_description
dct:subject	dbc:Universal_algebra dbc:Theorems_in_the_foundations_of_mathematics dbc:Nonstandard_analysis dbc:Mathematical_logic dbc:Model_theory
gold:hypernym	dbr:Construction
rdfs:label	Ultraproduct (en) Ultraprodukt (de) Ultraproduit (fr) 超積 (ja) Ultraprodotto (it) 초곱 (ko) Ultraprodukt (pl) Ultraprodukt (sv) 超積 (zh)
owl:sameAs	freebase:Ultraproduct wikidata:Ultraproduct dbpedia-it:Ultraproduct dbpedia-de:Ultraproduct dbpedia-fr:Ultraproduct dbpedia-zh:Ultraproduct dbpedia-ja:Ultraproduct dbpedia-he:Ultraproduct dbpedia-sv:Ultraproduct dbpedia-pl:Ultraproduct dbpedia-ko:Ultraproduct dbpedia-fi:Ultraproduct dbpedia-global:Ultraproduct dbr:Ultraproduct
prov:wasDerivedFrom	wikipedia-en:Ultraproduct?oldid=1240694951&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Ultraproduct
is dbo:knownFor of	dbr:Jerzy_Łoś
is dbo:wikiPageRedirects of	dbr:Ultrapower dbr:Łoś's_theorem dbr:Łoś's_theorem dbr:The_fundamental_theorem_of_ultraproducts dbr:Łoś'_theorem dbr:Łoś's_Theorem dbr:Fundamental_theorem_of_ultraproducts dbr:Ultra_power dbr:Ultra_product dbr:Ultraproducts dbr:Los'_theorem dbr:Los's_Theorem dbr:Los's_theorem dbr:Los_theorem
is dbo:wikiPageWikiLink of	dbr:Normal_measure dbr:Ultrafilter dbr:Filter_(mathematics) dbr:Filter_quantifier dbr:Real_closed_field dbr:Mouse_(set_theory) dbr:Measurable_cardinal dbr:Haim_Gaifman dbr:Timeline_of_mathematical_logic dbr:Product_(mathematics) dbr:Compactness_theorem dbr:Extender_(set_theory) dbr:Cylinder_set dbr:Institutional_model_theory dbr:Cartesian_product dbr:Quasivariety dbr:Non-standard_model_of_arithmetic dbr:Glossary_of_set_theory dbr:Structural_induction dbr:Field_(mathematics) dbr:Ax–Kochen_theorem dbr:Model_theory dbr:Ultrapower dbr:Pseudo-finite_field dbr:Pseudo_algebraically_closed_field dbr:Pseudoelementary_class dbr:Axiom_of_regularity dbr:List_of_mathematical_logic_topics dbr:Subdirectly_irreducible_algebra dbr:Finite_model_theory dbr:List_of_algebraic_constructions dbr:Jerzy_Łoś dbr:PCF_theory dbr:Type_(model_theory) dbr:Reflexive_space dbr:Homogeneous_tree dbr:Hyperreal_number dbr:Reduced_product dbr:Sofic_group dbr:Joseph_Sgro dbr:The_Higher_Infinite dbr:Anne_C._Morel dbr:Filters_in_topology dbr:Łoś's_theorem dbr:The_fundamental_theorem_of_ultraproducts dbr:Łoś'_theorem dbr:Łoś's_Theorem dbr:Fundamental_theorem_of_ultraproducts dbr:Ultra_power dbr:Ultra_product dbr:Ultraproducts dbr:Los'_theorem dbr:Los's_Theorem dbr:Los's_theorem dbr:Los_theorem
is dbp:knownFor of	dbr:Jerzy_Łoś
is foaf:primaryTopic of	wikipedia-en:Ultraproduct