Live briefing
Everything about Boolean-valued model
Set theory concept
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. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Boolean-valued modelA 5-minute orientation
- Skim a recent paper: Boolean-Valued Models of Set Theory with UrelementsInfluential work since 2022
- Pick up a classic book: Models, logics, and higher-dimensional categoriesThe most-reprinted book on the subject
- Read the landmark paper: Sheaves and Boolean valued model theoryCited 18 times
- Go sideways: UltrafilterA closely related topic
- Go sideways: Glossary of set theoryA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🏆 Landmark papers (most cited)
Sheaves and Boolean valued model theory
Boolean valued models and generalized quantifiers
An explicit Boolean-valued model for non-standard arithmetic
Boolean-Valued Models and Their Applications
Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras
Boolean Valued Models, Boolean Valuations, and Löwenheim-Skolem Theorems
Eastern Model‐Theory for Boolean‐Valued Theories
On equilibrium multivalued problems in the general model with the Boolean-valued bifunction
🆕 Influential since 2022
📚 Books worth reading
- 📕Models, logics, and higher-dimensional categoriesMihály Makkai · 2011
- 📕Geometric Set TheoryPaul B. Larson, Jindrich Zapletal · 2020
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Ultrafilter In the mathematical field of order theory, an ultrafilter on a given partially ordered set (or "poset") P is a certain subset of P, namely a maximal filter…
- Glossary of set theory Look up Appendix:Glossary of set theory in Wiktionary, the free dictionary. This is a glossary of terms and definitions related to the topic of set theory…
- Forcing (mathematics) In set theory, forcing is a technique for proving consistency and independence results. Intuitively, forcing can be thought of as a technique to expand…
- Boolean algebra (structure) In mathematics, a Boolean algebra or Boolean lattice is a complemented distributive lattice. This type of algebraic structure captures essential properties…
- Complete Boolean algebra In mathematics, a complete Boolean algebra is a Boolean algebra in which every subset has a supremum (least upper bound). Complete Boolean algebras are…
- Boolean algebras canonically defined Boolean algebras are models of the equational theory of two values; this definition is equivalent to the lattice and ring definitions. Boolean algebra…
- Martin's axiom In the mathematical field of set theory, Martin's axiom, introduced by Donald A. Martin and Robert M. Solovay, is a statement that is independent of the…
- Boolean prime ideal theorem In mathematics, the Boolean prime ideal theorem states that ideals in a Boolean algebra can be extended to prime ideals. A variation of this statement…