良序原则与棒诱导
Well ordering principles and bar induction
摘要：
在本文中，我们表明，存在的欧米茄模型的酒吧感应是等价的原则说，应用霍华德-巴赫曼操作任何良序再次产生良序。
英文摘要：
In this paper we show that the existence of omega-models of bar induction is equivalent to the principle saying that applying the Howard-Bachmann operation to any well-ordering yields again a well-ordering.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
