英语词汇“Barwise compactness theorem”是什么意思，翻译、用法及简单造句-英汉双解词典-英汉网

单词	Barwise compactness theorem
释义	Barwise compactness theorem 英语百科 Barwise compactness theorem In mathematical logic, the Barwise compactness theorem, named after Jon Barwise, is a generalization of the usual compactness theorem for first-order logic to a certain class of infinitary languages. It was stated and proved by Barwise in 1967.
随便看	propulsion, steering的意思 propulsion subsystem的意思 propulsion system的意思 propulsion system analysis report的意思 propulsion system clutch的意思 propulsion system component的意思 propulsion system dynamics的意思 propulsion system of rocket的意思 propulsion system的意思 propulsion test的意思 propulsion test facility的意思 propulsion transmission的意思 propulsion trial的意思 propulsion turbine的意思 propulsion type的意思 propulsion unit的意思 propulsion unit, electric的意思 propulsion unit, electrical, propulsion unit, electrical arrangement, mounting的意思 propulsion vehicle的意思 propulsion wind tunnel的意思 propulsion with sail assistance的意思 propulsity的意思 propulsive的意思 propulsive acceleration的意思 propulsive arrangement的意思

英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。