The proper forcing axiom and stationary set reflection

机译：Aspero-Mota的片段是有限适当的强迫公理和纠缠的真实套装

机译：强制保留N-2或N-3的名词的正确和半正确的强迫轴

机译：适当强迫公理加上大的连续性和马丁公理的否定会带来一些后果

机译：适当的强制公理

机译：适当强迫公理在Peano算法模型中的应用

机译：关于策尔梅洛和冯·诺伊曼的集合论公理

机译：强制公理和固定集

机译：用于机动车的驱动系统和/或车轮制动系统的控制方法，涉及当基于固定操作模式的总制动力的斜率超过阈值时，冻结瞬时设定的驱动制动力。

机译：在斜坡上从固定位置行驶的辅助工具会评估斜坡的角度和方向，以在驾驶员释放制动器时设定制动力

机译：用于产生力的喷嘴的装置，该喷嘴具有一组塑化和注射喷嘴，该喷嘴由驱动主轴驱动-模具的一半被夹紧在固定板中