@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix wikipedia-en:	<http://en.wikipedia.org/wiki/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
wikipedia-en:Ultrafilter	foaf:primaryTopic	dbr:Ultrafilter .
@prefix dbo:	<http://dbpedia.org/ontology/> .
<http://dbpedia.org/resource/Stone\u2013\u010Cech_compactification>	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Filters_in_topology	dbo:wikiPageWikiLink	dbr:Ultrafilter .
<http://dbpedia.org/resource/Stone\u0027s_representation_theorem_for_Boolean_algebras>	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Open_set	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:New_Foundations	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Fixed_ultrafilter	dbo:wikiPageWikiLink	dbr:Ultrafilter ;
	dbo:wikiPageRedirects	dbr:Ultrafilter .
dbr:Cofiniteness	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:List_of_general_topology_topics	dbo:wikiPageWikiLink	dbr:Ultrafilter .
<http://dbpedia.org/resource/Ultrafilter_(set_theory)>	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Boolean_algebras_canonically_defined	dbo:wikiPageWikiLink	dbr:Ultrafilter .
<http://dbpedia.org/resource/De_Bruijn\u2013Erd\u0151s_theorem_(graph_theory)>	dbo:wikiPageWikiLink	dbr:Ultrafilter .
<http://dbpedia.org/resource/Scheme_(mathematics)>	dbo:wikiPageWikiLink	dbr:Ultrafilter .
<http://dbpedia.org/resource/Gromov\u0027s_compactness_theorem_(geometry)>	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Filter_quantifier	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Almost_everywhere	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Mary_Ellen_Rudin	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:List_of_order_theory_topics	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Reduced_product	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Von_Neumann_algebra	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Boolean_prime_ideal_theorem	dbo:wikiPageWikiLink	dbr:Ultrafilter .
<http://dbpedia.org/resource/Ideal_(order_theory)>	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Howard_Jerome_Keisler	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Homogeneous_tree	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Connes_embedding_problem	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Probability_measure	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Topological_game	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Henri_Cartan	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Stone_space	dbo:wikiPageWikiLink	dbr:Ultrafilter .
<http://dbpedia.org/resource/Arrow\u0027s_impossibility_theorem>	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Abraham_Robinson	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Transfer_principle	dbo:wikiPageWikiLink	dbr:Ultrafilter .
<http://dbpedia.org/resource/Monad_(category_theory)>	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Nakamura_number	dbo:wikiPageWikiLink	dbr:Ultrafilter .
<http://dbpedia.org/resource/Type_(model_theory)>	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Maryanthe_Malliaris	dbo:wikiPageWikiLink	dbr:Ultrafilter .
<http://dbpedia.org/resource/Critical_point_(set_theory)>	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Measurable_cardinal	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Supercompact_cardinal	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Property_of_Baire	dbo:wikiPageWikiLink	dbr:Ultrafilter .
<http://dbpedia.org/resource/Forcing_(mathematics)>	dbo:wikiPageWikiLink	dbr:Ultrafilter .
<http://dbpedia.org/resource/Field_(mathematics)>	dbo:wikiPageWikiLink	dbr:Ultrafilter .
<http://dbpedia.org/resource/Zorn\u0027s_lemma>	dbo:wikiPageWikiLink	dbr:Ultrafilter .
<http://dbpedia.org/resource/Boolean_algebra_(structure)>	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Infinitesimal	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Construction_of_the_real_numbers	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Filter	dbo:wikiPageWikiLink	dbr:Ultrafilter ;
	dbo:wikiPageDisambiguates	dbr:Ultrafilter .
<http://dbpedia.org/resource/Filter_(mathematics)>	dbo:wikiPageWikiLink	dbr:Ultrafilter .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Ultrafilter	owl:sameAs	<http://zh.dbpedia.org/resource/\u8D85\u6EE4\u5B50> .
@prefix dbpedia-es:	<http://es.dbpedia.org/resource/> .
dbr:Ultrafilter	owl:sameAs	dbpedia-es:Ultrafiltro ,
		<http://ru.dbpedia.org/resource/\u0423\u043B\u044C\u0442\u0440\u0430\u0444\u0438\u043B\u044C\u0442\u0440> .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
dbr:Ultrafilter	owl:sameAs	wikidata:Q1571831 .
@prefix dbpedia-fr:	<http://fr.dbpedia.org/resource/> .
dbr:Ultrafilter	owl:sameAs	dbpedia-fr:Ultrafiltre ,
		<http://ko.dbpedia.org/resource/\uCD08\uD544\uD130> .
@prefix dbpedia-cs:	<http://cs.dbpedia.org/resource/> .
dbr:Ultrafilter	owl:sameAs	dbpedia-cs:Ultrafiltr ,
		<http://rdf.freebase.com/ns/m.07vdm> ,
		<http://uk.dbpedia.org/resource/\u0423\u043B\u044C\u0442\u0440\u0430\u0444\u0456\u043B\u044C\u0442\u0440_(\u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0430)> .
@prefix dbpedia-de:	<http://de.dbpedia.org/resource/> .
dbr:Ultrafilter	owl:sameAs	dbpedia-de:Ultrafilter .
@prefix dbpedia-sv:	<http://sv.dbpedia.org/resource/> .
dbr:Ultrafilter	owl:sameAs	dbpedia-sv:Ultrafilter .
@prefix yago-res:	<http://yago-knowledge.org/resource/> .
dbr:Ultrafilter	owl:sameAs	yago-res:Ultrafilter ,
		<http://ja.dbpedia.org/resource/\u8D85\u30D5\u30A3\u30EB\u30BF\u30FC> .
@prefix dbpedia-it:	<http://it.dbpedia.org/resource/> .
dbr:Ultrafilter	owl:sameAs	dbpedia-it:Ultrafiltro .
@prefix dbpedia-global:	<https://global.dbpedia.org/id/> .
dbr:Ultrafilter	owl:sameAs	dbpedia-global:ZFT4 ,
		dbr:Ultrafilter ,
		<http://kk.dbpedia.org/resource/\u0423\u043B\u044C\u0442\u0440\u0430\u0441\u04AF\u0437\u0433\u0456> .
@prefix dbpedia-pt:	<http://pt.dbpedia.org/resource/> .
dbr:Ultrafilter	owl:sameAs	dbpedia-pt:Ultrafiltro .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbr:Ultrafilter	rdfs:label	"Ultrafilter"@sv ,
		"Ultrafiltre"@fr ,
		"Ultrafiltro"@pt ,
		"\u8D85\u6EE4\u5B50"@zh ,
		"Ultrafiltr"@cs ,
		"\u8D85\u30D5\u30A3\u30EB\u30BF\u30FC"@ja ,
		"Ultrafiltro"@it ,
		"Ultrafiltro"@es ,
		"Ultrafilter"@de ,
		"\u0423\u043B\u044C\u0442\u0440\u0430\u0444\u0438\u043B\u044C\u0442\u0440"@ru ,
		"\u0423\u043B\u044C\u0442\u0440\u0430\u0444\u0456\u043B\u044C\u0442\u0440 (\u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0430)"@uk ,
		"\uCD08\uD544\uD130"@ko ,
		"Ultrafilter"@en .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix dbc:	<http://dbpedia.org/resource/Category:> .
dbr:Ultrafilter	dct:subject	dbc:Families_of_sets ,
		dbc:Order_theory ,
		dbc:Nonstandard_analysis ;
	foaf:depiction	<http://commons.wikimedia.org/wiki/Special:FilePath/Filter_vs_ultrafilter_210div.svg> .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbr:Ultrafilter	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/Ultrafilter?oldid=1312276487&ns=0> ;
	dbo:wikiPageWikiLink	dbc:Order_theory ,
		<http://dbpedia.org/resource/Fr\u00E9chet_filter> ,
		dbr:Finite_intersection_property ,
		dbr:Model_theory ,
		dbr:Mathematics ,
		dbr:Almost_everywhere ,
		<http://dbpedia.org/resource/File:Filter_vs_ultrafilter.svg> ,
		dbr:Order_theory ,
		dbr:Power_set ,
		dbr:Elementary_extension ,
		dbr:Metric_space ,
		dbr:First-order_logic ,
		dbr:Topological_space ,
		dbr:Ultralimit ,
		dbc:Nonstandard_analysis ,
		dbr:Discrete_space ,
		dbr:Springer-Verlag ,
		dbr:Prime_filter ,
		<http://dbpedia.org/resource/Content_(measure_theory)> ,
		<http://dbpedia.org/resource/Stone\u0027s_representation_theorem_for_Boolean_algebras> ,
		<http://dbpedia.org/resource/\u0141o\u015B\u0027_theorem> ,
		dbr:Superset ,
		dbr:Principal_filter ,
		dbr:Cofinite_subset ,
		<http://dbpedia.org/resource/Intersection_(set_theory)> ,
		dbr:Topology ,
		dbr:Proper_subset ,
		dbr:Index_set ,
		<http://dbpedia.org/resource/Stone\u2013\u010Cech_compactification> ,
		dbr:Constructible_universe ,
		dbr:Real_numbers ,
		dbr:Hyperreal_number ,
		dbr:Ultrafilter_lemma ,
		<http://dbpedia.org/resource/Filter_(mathematics)> ,
		<http://dbpedia.org/resource/Kurt_G\u00F6del> ,
		dbr:Set_inclusion ,
		<http://dbpedia.org/resource/Zermelo\u2013Fraenkel_set_theory> ,
		<http://dbpedia.org/resource/Arrow\u0027s_impossibility_theorem> ,
		dbr:Subset ,
		dbr:Geometric_group_theory ,
		dbc:Families_of_sets ,
		dbr:Domain_of_discourse ,
		<http://dbpedia.org/resource/Boolean_algebra_(structure)> ,
		<http://dbpedia.org/resource/Measure_(mathematics)> ,
		dbr:Proper_filter ,
		dbr:Partially_ordered_set ,
		dbr:Ultraproduct ,
		dbr:Bulletin_of_the_American_Mathematical_Society ,
		dbr:Boolean_algebra ,
		dbr:Compact_space ,
		<http://dbpedia.org/resource/2-valued_morphism> ,
		<http://dbpedia.org/resource/Set_(mathematics)> ,
		<http://dbpedia.org/resource/Zorn\u0027s_lemma> ,
		dbr:Hausdorff_space ,
		<http://dbpedia.org/resource/Finite\u2013cofinite_algebra> ,
		dbr:Finitely_additive ,
		dbr:Maximal_element ,
		<http://dbpedia.org/resource/G\u00F6del\u0027s_ontological_proof> ,
		<http://dbpedia.org/resource/Ultrafilter_(set_theory)> ,
		dbr:Inverse_image ,
		dbr:Boolean_prime_ideal_theorem ,
		dbr:Social_choice_theory ,
		dbr:Axiom_of_choice ,
		dbr:Least_element ;
	dbo:description	"Concetto matematico della teoria degli insiemi"@it ,
		"maksimuma propra filtrilo"@eo ,
		"maximal proper filter"@en ,
		"\u9806\u5E8F\u96C6\u5408\u4E0A\u3067\u5B9A\u7FA9\u3055\u308C\u305F\u30D5\u30A3\u30EB\u30BF\u30FC\u306E\u4E2D\u3067\u6975\u5927\u306A\u3082\u306E"@ja ,
		"\u043C\u0430\u043A\u0441\u0438\u043C\u0430\u043B\u044C\u043D\u044B\u0439 \u0433\u043B\u0430\u0432\u043D\u044B\u0439 \u0444\u0438\u043B\u044C\u0442\u0440"@ru ;
	dbo:thumbnail	<http://commons.wikimedia.org/wiki/Special:FilePath/Filter_vs_ultrafilter_210div.svg?width=300> .
@prefix dbp:	<http://dbpedia.org/property/> .
@prefix dbt:	<http://dbpedia.org/resource/Template:> .
dbr:Ultrafilter	dbp:wikiPageUsesTemplate	dbt:Dugundji_Topology ,
		dbt:Dixmier_General_Topology ,
		dbt:Narici_Beckenstein_Topological_Vector_Spaces ,
		dbt:Em ,
		dbt:Schubert_Topology ,
		dbt:Dolecki_Mynard_Convergence_Foundations_Of_Topology ,
		dbt:Nlab ,
		dbt:Reflist ,
		dbt:YouTube ,
		dbt:Short_description ,
		dbt:Schechter_Handbook_of_Analysis_and_Its_Foundations ,
		dbt:Cite_book ,
		dbt:Cite_journal ,
		dbt:Bourbaki_General_Topology_Part_I_Chapters_1-4 ,
		dbt:Joshi_Introduction_to_General_Topology ,
		dbt:Citation ,
		<http://dbpedia.org/resource/Template:Arkhangel\u0027skii_Ponomarev_Fundamentals_of_General_Topology_Problems_and_Exercises> ,
		dbt:Mvar ,
		dbt:R ,
		dbt:Vanchor ,
		dbt:Cn ,
		dbt:About ,
		dbt:Annotated_link ,
		dbt:Main ,
		<http://dbpedia.org/resource/Template:Cs\u00E1sz\u00E1r_General_Topology> ,
		dbt:Rp ;
	dbp:title	"\"Mathematical Logic 15, The Ultrafilter Theorem\""@en ,
		"Ultrafilter"@en ;
	dbp:id	0 ,
		"ultrafilter"@en .
@prefix gold:	<http://purl.org/linguistics/gold/> .
dbr:Ultrafilter	gold:hypernym	dbr:Filter ;
	foaf:isPrimaryTopicOf	wikipedia-en:Ultrafilter .
dbr:Martin_measure	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:General_frame	dbo:wikiPageWikiLink	dbr:Ultrafilter .
<http://dbpedia.org/resource/Extender_(set_theory)>	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Thurston_boundary	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Frederick_Rowbottom	dbo:wikiPageWikiLink	dbr:Ultrafilter .
<http://dbpedia.org/resource/Net_(mathematics)>	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Strong_cardinal	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Set-theoretic_topology	dbo:wikiPageWikiLink	dbr:Ultrafilter .
<http://dbpedia.org/resource/Martin\u0027s_axiom>	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:IP_set	dbo:wikiPageWikiLink	dbr:Ultrafilter .
<http://dbpedia.org/resource/2-valued_morphism>	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Nonstandard_analysis	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:List_of_forcing_notions	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Zero_dagger	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Menachem_Magidor	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Core_model	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Piecewise_syndetic_set	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:PCF_theory	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Internal_set	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Ultralimit	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Codensity_monad	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Iterable_cardinal	dbo:wikiPageWikiLink	dbr:Ultrafilter .
dbr:Trivial_ultrafilter	dbo:wikiPageWikiLink	dbr:Ultrafilter ;
	dbo:wikiPageRedirects	dbr:Ultrafilter .
dbr:Free_ultrafilter	dbo:wikiPageWikiLink	dbr:Ultrafilter ;
	dbo:wikiPageRedirects	dbr:Ultrafilter .
dbr:Ultra_filter	dbo:wikiPageWikiLink	dbr:Ultrafilter ;
	dbo:wikiPageRedirects	dbr:Ultrafilter .