|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b50. 科学研究費助成事業研究成果報告書 >
2013年度 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/12179
|
| タイトル: | 構成的集合論における逆数学の研究 |
| その他のタイトル: | Reverse Mathematics in Constructive Set Theory |
| 著者: | 石原, 哉 |
| 著者（別表記）: | Ishihara, Hajime |
| キーワード: | 数理論理学
構成的数学
逆数学
集合論 |
| 発行日: | 2-Jun-2014 |
| 抄録: | 構成的逆数学における未解決問題の単調完備定理、２進展開定理、中間値の定理を部分的に解決した。単調完備定理はLPO、弱い帰納法およびある種の選択公理と同値に、２進展開定理、中間値の定理は凸性を持つ木構造に対するWKLと同値になることが分かった。これらの結果は構成的集合論の部分体系でも成り立つ。すでに構成的解析体系への解釈が確立している演算の体系APPを中間的な体系として選び、集合論をAPPで解釈する手法を提案した。空集合の公理、非順序対の公理、無限の公理、弱い分出公理を解釈するために十分なAPPでの公理を明らかにした。また、外延性の公理を解釈するために十分なAPPの公理についてもめどが立った。 : Some open problems in constructive reverse mathematics, such as the monotone completeness theorem, the binary expansion theorem and the intermediate value theorem have been partially solved. The monotone completeness theorem is equivalent to LPO, a weak induction axiom and a kind of countable choice, and the binary expansion theorem and the intermediate value theorem are equivalent to versions of WKL with some convexity conditions on trees. Those results also hold in a subsystem of the constructive set theory. A method of interpreting a set theory by interpreting it into the theory of operation APP, as an intermediate theory, which has an interpretation in to a theory of elementary analysis has been proposed. Axioms in APP which are sufficient to interpret the axioms of empty set, pair, infinity and a weak separation have been given. An extensive investigation on an axiom in APP which is sufficient to interpret the axiom of extensionality has been carried out. |
| 記述: | 研究種目：基盤研究(C)
研究期間：2011～2013
課題番号：23540130
研究者番号：10211046
研究分野：数理論理学・構成的数学
科研費の分科・細目：数学・数学一般 |
| 言語: | jpn |
| URI: | http://hdl.handle.net/10119/12179 |
| 出現コレクション: | 2013年度 (FY 2013)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 23540130seika.pdf | | 165Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
