文献

J-GLOBAL ID：202102226618730480   整理番号：21A0436652

集合の厳密補完と構成的理論【JST・京大機械翻訳】

EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS

著者 (2件)： EMMENEGGER JACOPO (DEPARTMENT OF MATHEMATICS STOCKHOLM UNIVERSITY SWEDEN E-mail: [e-mail] Current address: SCHOOL OF COMPUTER SCIENCE UNIVERSITY OF BIRMINGHAM, UK) ,  PALMGREN ERIK (DEPARTMENT OF MATHEMATICS STOCKHOLM UNIVERSITY SWEDEN)
資料名： Journal of Symbolic Logic  (Journal of Symbolic Logic)
巻： 85  号： 2  ページ： 563-584  発行年： 2020年 
JST資料番号： W5435A  ISSN： 0022-4812  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： イギリス (GBR)  言語： 英語 (EN)

抄録/ポイント： 本論文では,Martin-Lof型理論における小集合のカテゴリー特性を研究し,より一般的に,選択対象のサブカテゴリ(すなわち,選択のアキシムを満たすオブジェクト)の特性に関して,集合のカテゴリーのモデルについて,厳密な完成の理論を用いた。これらの意図された応用のため,著者らは,等化器を欠いているカテゴリーを扱い,しかし,そのオブジェクトは,グローバル要素の収集とみなすことができる。この文脈において,含まれるカテゴリーの内部論理を研究し,この解析を採用して,正確な完了の局所カーテシアン閉鎖のための十分条件を与えた。最後に,この結果を適用して,正確な完了がCETCSのモデルを生成することを示した。Please refer to the publisher for the copyright holders. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *等化器 ,  十分条件 ,  CIM【生産】 ,  型理論

著者キーワード (5件)： セトイド ,  正確な完成 ,  局所カルテシアン閉鎖 ,  構成的集合理論 ,  カテゴリー論理

分類 (2件)： パターン認識  (JE07000S) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (3件)： 集合 ,  補完 ,  理論