何稠密全序集。设 formula_78，而 A 是其中的子集，则 formula_79 的元素一一对应到 A 所定义的戴德金切割 formula_80：此外，formula_79 的非孤立点对应到没有最大/最小元素的切割。证明关键在运用 DLO 的量词消去。
代数封闭域.取定一个代数封闭域 formula_84 及其子集 formula_85。令 formula_86 为 formula_87 生成的子域，则可定义下述映到交换环谱的连续映射：同用利用量词消去性质，可以证明