Xinhe Wu Wu, X. (2023, December 23). Boolean Valued Models, Boolean Valuations, and Löwenheim-Skolem Theorems. JOURNAL OF PHILOSOPHICAL LOGIC. https://doi.org/10.1007/s10992-023-09732-5