About: Boolean-valued model

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

Set theory concept

Property	Value
dbo:description	set theory concept (en)
dbo:wikiPageExternalLink	https://archive.org/details/settheoryintrodu0000kune%7Curl-access=registration%7Cauthor=Kunen,
dbo:wikiPageWikiLink	dbr:Proper_class dbc:Boolean_algebra dbr:Countable_set dbr:Dana_Scott dbr:Universe_(mathematics) dbr:Real_number dbr:Topology dbr:Atomic_formula dbr:Robert_M._Solovay dbr:Heyting_algebra dbr:Independence_(mathematical_logic) dbr:Proposition dbr:Free_variable dbr:Zermelo–Fraenkel_set_theory dbr:Transitive_set dbr:Probability dbr:Intuitionistic_logic dbr:Subset dbr:Structure_(mathematical_logic) dbr:Forcing_(mathematics) dbr:Upper_set dbr:Cumulative_hierarchy dbr:Von_Neumann_universe dbc:Forcing_(mathematics) dbr:Truth_value dbr:Alfred_Tarski dbc:Model_theory dbr:Mathematical_logic dbr:Model_theory dbr:Fuzzy_set dbr:Petr_Vopěnka dbr:Complete_Boolean_algebra dbr:Generic_filter dbr:Paul_Cohen_(mathematician) dbr:First-order_language dbr:Supremum dbr:Regular_open_set dbr:Mostowski_collapse dbr:Signature_(mathematical_logic) dbr:Lower_set dbr:Poset dbr:S._S._Kutateladze
dbp:first	V.N. (en)
dbp:last	Grishin (en)
dbp:title	Boolean-valued model (en)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Math dbt:= dbt:ISBN dbt:Eom dbt:Angbr dbt:Norm dbt:Short_description
dct:subject	dbc:Boolean_algebra dbc:Forcing_(mathematics) dbc:Model_theory
gold:hypernym	dbr:Generalization
rdfs:label	Boolean-valued model (en) Modelo booliano valorado (pt) 布尔值模型 (zh)
owl:sameAs	freebase:Boolean-valued model wikidata:Boolean-valued model dbpedia-zh:Boolean-valued model dbpedia-pt:Boolean-valued model dbpedia-global:Boolean-valued model
prov:wasDerivedFrom	wikipedia-en:Boolean-valued_model?oldid=1293558387&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Boolean-valued_model
is dbo:wikiPageRedirects of	dbr:Boolean-valued_logic dbr:Boolean_valued_model
is dbo:wikiPageWikiLink of	dbr:Dana_Scott dbr:Set_theory dbr:Algebraic_logic dbr:Boolean_algebra_(structure) dbr:Interpretation_(logic) dbr:Forcing_(mathematics) dbr:Cumulative_hierarchy dbr:Principle_of_bivalence dbr:Boolean-valued_logic dbr:Boolean_valued_model dbr:List_of_mathematical_logic_topics dbr:List_of_Boolean_algebra_topics dbr:Complete_Boolean_algebra dbr:List_of_set_theory_topics dbr:Boolean-valued dbr:Boolean_algebras_canonically_defined dbr:Semën_Samsonovich_Kutateladze dbr:Outline_of_logic dbr:Finite-valued_logic dbr:Infinite-valued_logic
is foaf:primaryTopic of	wikipedia-en:Boolean-valued_model