本論文では、公理スキームを使用して順序付けられた集合を公理化する方法を研究しています。これにより、公理を簡素化し、順序の一般的な意味をより明らかにすることが可能になります。公理スキームは強力で、過小評価される可能性のある論理ツールであることが示されています。N, Z, Q, R の順序付けられた数値システムのためのスキームが提案されます。このように、場合によっては特定の定数を考慮に入れることで、これらの順序理論的および位相的モデルの代数化を得ることができます。記事は英語で書かれていますが、ZIP 付録にはウクライナ語版が含まれています。「順序付けられた数値システムのための公理スキーム」、udc: 510.65 msc: 03B16, Volodymyr M. Zhuravlov,
Volodymyr M. Zhuravlov(Mon、)はこの問題を研究しました。