Boolean valued models, Boolean valuations, and Löwenheim-Skolem theorems

DOI10.1007/s10992-023-09732-5OpenAlexW4390143711MaRDI QIDQ6150671

Xinhe Wu

Publication date: 9 February 2024

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-023-09732-5

zbMATH Keywords

Boolean-valued modelsnon-classical model theoryLöwenheim-Skolem theorems

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Model theory.
• Vagueness, truth and logic
• Generic absoluteness and Boolean names for elements of a Polish space
• Abstract Theory of Abelian Operator Algebras: An Application of Forcing
• Philosophy and Model Theory
• The theory of Boolean ultrapowers
• Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Boolean valued models, Boolean valuations, and Löwenheim-Skolem theorems