This HTML5 document contains 104 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
n17https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-zhhttp://zh.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Principle_of_bivalence
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:CBA
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
dbo:wikiPageDisambiguates
dbr:Complete_Boolean_algebra
Subject Item
dbr:Dedekind–MacNeille_completion
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:List_of_mathematical_logic_topics
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:List_of_order_theory_topics
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:List_of_set_theory_topics
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:Standard_probability_space
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:Stone–Čech_compactification
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:Complete_Boolean_algebra
rdfs:label
Complete Boolean algebra 完全布尔代数 완비 불 대수
rdfs:comment
In mathematics, a complete Boolean algebra is a Boolean algebra in which every subset has a supremum (least upper bound). Complete Boolean algebras are used to construct Boolean-valued models of set theory in the theory of forcing. Every Boolean algebra A has an essentially unique completion, which is a complete Boolean algebra containing A such that every element is the supremum of some subset of A. As a partially ordered set, this completion of A is the Dedekind–MacNeille completion. 순서론에서 완비 불 대수(完備Boole代數, 영어: complete Boolean algebra)는 완비 격자인 불 대수이다. 在数学中,完全布尔代数是所有子集都有上确界的布尔代数。完全布尔代数在力迫理论中有重要作用。任何布尔代数A都有一A是其子代数的最小的完全布尔代数。作为偏序集合,这种 A 的补全叫做。
dcterms:subject
dbc:Boolean_algebra dbc:Forcing_(mathematics) dbc:Order_theory
dbo:wikiPageID
1839944
dbo:wikiPageRevisionID
1109979689
dbo:wikiPageWikiLink
dbr:Boolean-valued_model dbr:Stone_space dbc:Boolean_algebra dbr:Natural_number dbr:Random_algebra dbr:Meager_set dbr:Null_set dbr:Upper_bound dbr:Supremum dbr:Complete_lattice dbr:Boolean_algebra_(structure) dbr:Baire_set dbr:Freyd's_adjoint_functor_theorem dbr:Forcing_(mathematics) dbr:Regular_open_set dbr:Mathematics dbr:Σ-finite_measure dbr:Algebra_of_sets dbr:Equivalence_class dbr:Topological_space dbr:Partially_ordered_set dbr:Infimum dbr:Finite_set dbr:Symmetric_difference dbr:Collapsing_algebra dbr:Base_(topology) dbr:Axiom_of_Choice dbr:Free_Boolean_algebra dbr:Dedekind–MacNeille_completion dbr:Cardinal_number dbr:Measure_space dbr:Complete_Heyting_algebra dbr:Subset dbr:Extremally_disconnected dbr:Poset dbr:Generic_extension dbc:Forcing_(mathematics) dbr:Equivalence_relation dbc:Order_theory dbr:Infinite_de-Morgan's_laws dbr:Cantor_algebra
owl:sameAs
dbpedia-ko:완비_불_대수 freebase:m.0600m_ wikidata:Q5156447 dbpedia-zh:完全布尔代数 n17:4iCnm
dbp:wikiPageUsesTemplate
dbt:About dbt:More_footnotes_needed dbt:Citation dbt:Springer
dbp:first
D.A.
dbp:id
b/b016920
dbp:last
Vladimirov
dbp:title
Boolean algebra
dbo:abstract
In mathematics, a complete Boolean algebra is a Boolean algebra in which every subset has a supremum (least upper bound). Complete Boolean algebras are used to construct Boolean-valued models of set theory in the theory of forcing. Every Boolean algebra A has an essentially unique completion, which is a complete Boolean algebra containing A such that every element is the supremum of some subset of A. As a partially ordered set, this completion of A is the Dedekind–MacNeille completion. More generally, if κ is a cardinal then a Boolean algebra is called κ-complete if every subset of cardinality less than κ has a supremum. 순서론에서 완비 불 대수(完備Boole代數, 영어: complete Boolean algebra)는 완비 격자인 불 대수이다. 在数学中,完全布尔代数是所有子集都有上确界的布尔代数。完全布尔代数在力迫理论中有重要作用。任何布尔代数A都有一A是其子代数的最小的完全布尔代数。作为偏序集合,这种 A 的补全叫做。
prov:wasDerivedFrom
wikipedia-en:Complete_Boolean_algebra?oldid=1109979689&ns=0
dbo:wikiPageLength
9553
foaf:isPrimaryTopicOf
wikipedia-en:Complete_Boolean_algebra
Subject Item
dbr:Complete_Heyting_algebra
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:Complete_lattice
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:Pointless_topology
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:Suslin_algebra
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:List_of_Boolean_algebra_topics
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:Field_of_sets
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:Glossary_of_order_theory
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:Glossary_of_topology
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:Collapsing_algebra
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:Regular_open_set
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:Boolean-valued_model
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:Boolean_algebra_(structure)
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:Boolean_algebras_canonically_defined
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:Cantor_algebra
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:Maharam_algebra
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:Extremally_disconnected_space
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:Complete_boolean_algebra
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
dbo:wikiPageRedirects
dbr:Complete_Boolean_algebra
Subject Item
dbr:Outline_of_logic
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
Subject Item
dbr:Complete_Boolean_lattice
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
dbo:wikiPageRedirects
dbr:Complete_Boolean_algebra
Subject Item
dbr:Completeness_(Boolean_algebra)
dbo:wikiPageWikiLink
dbr:Complete_Boolean_algebra
dbo:wikiPageRedirects
dbr:Complete_Boolean_algebra
Subject Item
wikipedia-en:Complete_Boolean_algebra
foaf:primaryTopic
dbr:Complete_Boolean_algebra