Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Boolean-valued_model> ?p ?o }
Showing triples 1 to 63 of
63
with 100 triples per page.
- Boolean-valued_model abstract "In mathematical logic, a Boolean-valued model is a generalization of the ordinary Tarskian notion of structure from model theory. In a Boolean-valued model, the truth values of propositions are not limited to \"true\" and \"false\", but instead take values in some fixed complete Boolean algebra.Boolean-valued models were introduced by Dana Scott, Robert M. Solovay, and Petr Vopěnka in the 1960s in order to help understand Paul Cohen's method of forcing. They are also related to Heyting algebra semantics in intuitionistic logic.".
- Boolean-valued_model wikiPageID "2732301".
- Boolean-valued_model wikiPageLength "16741".
- Boolean-valued_model wikiPageOutDegree "44".
- Boolean-valued_model wikiPageRevisionID "680351872".
- Boolean-valued_model wikiPageWikiLink Alfred_Tarski.
- Boolean-valued_model wikiPageWikiLink Atomic_formula.
- Boolean-valued_model wikiPageWikiLink Category:Boolean_algebra.
- Boolean-valued_model wikiPageWikiLink Category:Forcing_(mathematics).
- Boolean-valued_model wikiPageWikiLink Category:Model_theory.
- Boolean-valued_model wikiPageWikiLink Class_(set_theory).
- Boolean-valued_model wikiPageWikiLink Complete_Boolean_algebra.
- Boolean-valued_model wikiPageWikiLink Countable_set.
- Boolean-valued_model wikiPageWikiLink Cumulative_hierarchy.
- Boolean-valued_model wikiPageWikiLink Dana_Scott.
- Boolean-valued_model wikiPageWikiLink First-order_logic.
- Boolean-valued_model wikiPageWikiLink Forcing_(mathematics).
- Boolean-valued_model wikiPageWikiLink Free_variables_and_bound_variables.
- Boolean-valued_model wikiPageWikiLink Fuzzy_set.
- Boolean-valued_model wikiPageWikiLink Generic_filter.
- Boolean-valued_model wikiPageWikiLink Glossary_of_topology.
- Boolean-valued_model wikiPageWikiLink Independence_(mathematical_logic).
- Boolean-valued_model wikiPageWikiLink Infimum_and_supremum.
- Boolean-valued_model wikiPageWikiLink Intuitionistic_logic.
- Boolean-valued_model wikiPageWikiLink Mathematical_logic.
- Boolean-valued_model wikiPageWikiLink Model_theory.
- Boolean-valued_model wikiPageWikiLink Mostowski_collapse_lemma.
- Boolean-valued_model wikiPageWikiLink Partially_ordered_set.
- Boolean-valued_model wikiPageWikiLink Paul_Cohen.
- Boolean-valued_model wikiPageWikiLink Petr_Vopěnka.
- Boolean-valued_model wikiPageWikiLink Probability.
- Boolean-valued_model wikiPageWikiLink Proposition.
- Boolean-valued_model wikiPageWikiLink Real_number.
- Boolean-valued_model wikiPageWikiLink Robert_M._Solovay.
- Boolean-valued_model wikiPageWikiLink Semën_Samsonovich_Kutateladze.
- Boolean-valued_model wikiPageWikiLink Signature_(logic).
- Boolean-valued_model wikiPageWikiLink Structure_(mathematical_logic).
- Boolean-valued_model wikiPageWikiLink Subset.
- Boolean-valued_model wikiPageWikiLink Topology.
- Boolean-valued_model wikiPageWikiLink Transitive_set.
- Boolean-valued_model wikiPageWikiLink Truth_value.
- Boolean-valued_model wikiPageWikiLink Upper_set.
- Boolean-valued_model wikiPageWikiLink Von_Neumann_universe.
- Boolean-valued_model wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Boolean-valued_model wikiPageWikiLinkText "Boolean-valued model".
- Boolean-valued_model wikiPageWikiLinkText "complete Boolean algebra".
- Boolean-valued_model first "V.N.".
- Boolean-valued_model id "b/b016990".
- Boolean-valued_model last "Grishin".
- Boolean-valued_model wikiPageUsesTemplate Template:Cite_book.
- Boolean-valued_model wikiPageUsesTemplate Template:Springer.
- Boolean-valued_model subject Category:Boolean_algebra.
- Boolean-valued_model subject Category:Forcing_(mathematics).
- Boolean-valued_model subject Category:Model_theory.
- Boolean-valued_model hypernym Generalization.
- Boolean-valued_model comment "In mathematical logic, a Boolean-valued model is a generalization of the ordinary Tarskian notion of structure from model theory. In a Boolean-valued model, the truth values of propositions are not limited to \"true\" and \"false\", but instead take values in some fixed complete Boolean algebra.Boolean-valued models were introduced by Dana Scott, Robert M. Solovay, and Petr Vopěnka in the 1960s in order to help understand Paul Cohen's method of forcing.".
- Boolean-valued_model label "Boolean-valued model".
- Boolean-valued_model sameAs Q4943349.
- Boolean-valued_model sameAs m.07_ny0.
- Boolean-valued_model sameAs Q4943349.
- Boolean-valued_model sameAs 布尔值模型.
- Boolean-valued_model wasDerivedFrom Boolean-valued_model?oldid=680351872.
- Boolean-valued_model isPrimaryTopicOf Boolean-valued_model.