Boolean-valued model
id:
boolean-valued-model-253-2598780
title:
Boolean-valued model
text:
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 sema
brand slug:
wiki
category slug:
encyclopedia
description:
Set theory concept
original url:
https://en.wikipedia.org/wiki/Boolean-valued_model
date created:
date modified:
2024-02-12T22:03:17Z
main entity:
{"identifier":"Q4943349","url":"https://www.wikidata.org/entity/Q4943349"}
image:
fields total:
13
integrity:
14