搜索结果: 1-1 共查到“数理逻辑与数学基础 BL-chains”相关记录1条 . 查询时间(0.046 秒)
We present a general construction of a family of ordinal
sums of a sequence of structures and prove an elimination
theorem for the class of ordinal sums in an expanded language.
From this we deduce...