Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
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
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International