formula_62 的某个基本扩展——超实数中实现。一个能实现所有满足 formula_64 的型的模型称作饱和模型。
Stone空间.固定 formula_65，所有 n-型构成的空间 formula_21 具备一个自然的拓扑结构，其开集由形如 formula_67 的子集经过联集与有限交集形成。它满足下述性质：事实上，formula_9 里所有带 n 个自由变元的公式构成一个布尔代数，而根据定义，n-型正是其中的极大泸子；可以证明拓扑空间 formula_21 等同于布尔