Forcing and the Omitting Types Theorem For Lt
Forcing and the Omitting Types Theorem For Lt
复制标题
Lt 的强制和省略类型定理
DOI：
10.1002/malq.19860320603
复制
发表时间：
1986
期刊：
影响因子：
--
通讯作者：
Wojciech Sachwanowicz
中科院分区：
文献类型：
--
作者：
Wojciech Sachwanowicz
本文研究了一类类似于数学家Keisler理论的ltm定理的省略类型。它概述了用于证明强迫关系概念的方程和lt的一般模型。它概述了研究的结果，表明该方程具有拓扑结构的不同子集形式族。
The article presents a study that examines a certain kind of the Omitting Types for Theorem for Ltsimilar to the theory of mathematician HJ Keisler. It outlines the equations used to prove the notions of a forcing relation and a generic model for Lt. It outlines the result of the study, which shows that the equation hold the family of distinguished subsets forms for a topology.