I build a canonical model for constant domain basic first-order logic (BQLCD) over a countable object language and use the canonical model to verify that countable BQLCD satisfies the disjunction and existence properties.

中文翻译：

---

恒域基本一阶逻辑的规范模型

我在可数对象语言上为常量域基本一阶逻辑 (BQLCD) 构建了一个规范模型，并使用规范模型来验证可数 BQLCD 是否满足析取和存在属性。