C-(c:Ut..o)l=W。 (ii)没有~八S:在M中可证，这里~∧S:在M中可证是~∧S,在M.1(Q)中可证的简 写。 可以证明S是在Lm1m(Q)的模型存在定理证明中定义的和谐性质，即有性质(c1)~(C)。 对Vpa∈L。1.(Q),若没有m在L中可证，则没有~~g在M中可证，则没有~(~p八V Y~QX(X=Y)在M中可证，从而可知有{~g∧VY~QX(X=Y)}∈S,由模型存在定 理知理想模型(A,q)满足~g个(、”~QY(X=Y))。所以p不能在所有理想模型中真。 〔证完】。 参考文献 1 Bruce Kim B.J.Symbolic Logic.1978;43(2):304 2 Keisler H J.Model Theory For Infinitary Logic,North Holland,A mster- dam.1971.Chapter1,Chapter2 3 Chang CC,Keisler H J.Model Theory,North Holland,Amsterdam. Chapter 1-4.1973 4 Shoenficld J R.Mathematical Logic.by Addison-Wes!ey Puhlishing Com- pany,INC.1967 Chapter 1-4 wX%:001086064699108638604400168家：40K8408181840840810040860044010 86一4型不锈钢过滤器（止火管）的研制 A86一4型不锈钢过滤器为IHF:、HF2、HF,型千式回火防止器的心脏部件。而干式回 火防止器是装在乙炔瓶上，当气割、气焊操作时，用作防止氧一乙炔混合气体回火而发生 爆炸的安全装置。 其阴火的原理是因为不锈钢过滤器具有大量的开孔孔隙，且孔径细小曲折，并且有很好 的导热性。因此当火焰通过毛细管时产生热交换，使燃烧物热量通过多孔壁及邻近的结构 而散失，从而阻止燃烧过程的进行，使火焰熄灭。 在研制过程中采用水雾法粉，经粉末处理、混料、烧结等工序制成如下性能的制品： (1)压溃强度>117.6MPa (2抗张强度≥8~12MPa (3)当进气压力为0.147MPa时，过滤器两端压力差为0.049MPa时，诡量>8m3/h。 (1)连续止火次数>5次，寿命试验不低于25次，最多达540次。 经让一一年多的批量生产和使用，证明止火性能安全可靠。研制过程中，在国内首先采用 了水雾法不锈钢粉末，采用了先进的粉末表面处理和烧结技术，降低了成本，保证了产品质 量，户品的技术水平属国内领先地位。 80※必冷00格径论0》000200整冷洲000冷冷000粉※：路0器00器洲 387一 ，口 … 口 】 平 。 没有 一 八 ‘在 中可证 ， 这里 八 ‘ 在 中可证是 八了 在 。 二 中 可 证 的 简 写 。 可 以 证明 是 在 ， ，二 的模型 存在定理证 明 中定义 的和谐 性质 ， 即有性 质 ， 。 。 对 甲。 。 。 口 ， 若没 有甲在 中可 证 ， 则没有 一 梦在 中可证 ， 则没有 梦八 犷 二 在 中可证 ， 从而 可 知 有 华八 一 ， 由模型 存在 定 理知 理 想模型 ， 满足 犷产 、 犷一 口工‘ 二 均 。 所以 甲不能在所有理想模 型 中真 。 〔证完〕 。 参 考 文 欲 夕 夕 口 。 五 · 了 · 吏 ， 月 汪 ， 人 、 ， ， ， 一 一 三 · 毛 几 。 只 · 一 、 ， 二 一 ，卜 少， 。 一 一 型不锈钢过滤器 止火管 的研制 一 型 不锈 钢过滤 器为 ， 、 、 型 干 式 回火 防止 器 的心胜部件 。 而千 式回 火 防止 器是装 在乙炔瓶上 ， 当气割 、 气焊操作时 ， 用 作 防止氧 － 乙炔 混合 气体 回火而 发 生 爆炸的安全 装置 。 其阻 火的原理是 因为不锈钢过滤器具有大量的开孔 孔 隙 ， 且孔 径细小 曲折 ， 并且有很 好 的导热性 。 因此 当火焰通过毛细 管时产 生热 交换 ， 使 燃烧物 的 热量通 过多孔 壁及邻近的结构 而散 失 ， 从而 阻止燃烧过程的进 行 ， 使火焰熄灭 。 在研制过程 中采用水雾法粉 ， 经粉 末处理 、 混料 、 烧结等工 序制成如下性能 的制品 一 压溃强度 、 抗张强度 、 当进 气压力 为 。 好 时 ， 过滤 器 两端压 力差 为 。 时 ， 流量 ” 厂 。 通 连 续止 火次数 次 ， 寿 命试验 不低于 次 ， 最 多达 次 。 经过 一年多的批量生产 和使 用 ， 证明止火性能安全 可靠 。 研 制过程 中 ， 在 国 内省 一 先采 用 了水 雾法不 锈钢粉 末 ， 采 用 了先进的粉 末表面处理和 烧结 技 术 ， 降低 了成本 ， 保 证 了产 品质 量 。 产 品的技术 水 平属 国 内领先地 位 。 心汉倪 二 ，拭 二《 ， 今 吧心》 别从 二公 沁 二心奋 ‘ 协 少沁沁卜沁卜》沁 伙 ，沁奋》 冲衬吞 袱 试心二心心洲沁 认 ，父砍 况 二召 》 卜卜沁 冬二’ 二 》 二心吞二《 大咬况奋 心卜备卜冬火咬