...
机译:序数符号符号系统对应于弗里德曼的线性化良好部分订单,具有间隙条件
Univ Leeds Dept Pure Math Leeds LS2 9JT W Yorkshire England;
Univ Ghent Dept Math Krijgslaan 281 B-9000 Ghent Belgium;
Univ Ghent Dept Math Krijgslaan 281 B-9000 Ghent Belgium;
Well-partial-orderings; Maximal order type; Gap-embeddability relation; Ordinal notation systems; Collapsing function;
机译:序数符号符号系统对应于弗里德曼的线性化良好部分订单,具有间隙条件
机译:相对于Kleene序数表示法的有限单调函数
机译:基于
机译:如何将Buchholz式序数符号系统与Gordeev式记数系统进行比较
机译:L(2,p表示法)(R平方)的有界线性扩展算子。
机译:三医师办公室和团体执业—强制性病历系统:B.将医疗数据输入自动化系统:计算机记数系统便携式独立的医师和护士笔记输入系统
机译:序数符号系统对应于弗里德曼的线性化井 - 具有间隙条件的井 - 偏序
机译:化学符号研究DYsON - WIsWEssER符号系统编码操作阶段报告 - 修订