论文信息 - Forcing and the Omitting Types Theorem For Lt - 字舞流文

Forcing and the Omitting Types Theorem For Lt

Wojciech Sachwanowicz

[1] Terry A. McKee. Sentences Preserved between Equivalent Topological Bases , 1976, Math. Log. Q..