SkandsとCoskands: 非基礎的集合論の探求

公開:2025年12月26日 11:02
1分で読める
ArXiv

分析

この論文は、非基礎的集合論の枠組み、具体的には正則性公理のないNBGにおいて、「skands」と「coskands」の概念を紹介し探求しています。自己を含む集合や無限降下メンバーシップチェーンを形成できる非整礎集合を許容することにより、集合論を拡張することを目的としています。この論文の重要性は、代替的な集合論的基礎の探求と、標準的なZFC公理を超えた数学的構造の理解への潜在的な影響にあります。skandsとcoskandsの導入は、非整礎集合をモデル化し、推論するための新しいツールを提供し、コンピュータサイエンスや理論物理学など、そのような集合が関連する可能性のある分野の研究に新たな道を開く可能性があります。

参照

論文は、「skands」を「減少」タプルとして、また「coskands」を基礎的集合で構成された「増加」タプルとして導入し、修正されたNBGフレームワーク内でのその特性を探求しています。