指数对象的逻辑打开

奥斯卡·P·布鲁诺

Cahiers de Topologie et Géométrie Différentiele Cate goriques公司(1985)

  • 第26卷，第3期，第311-323页
  • 国际标准编号：1245-530X

如何引用

顶部

奥斯卡·P·布鲁诺（Oscar P.Bruno），“指数对象的逻辑开放”Cahiers de Topologie et Géométrie Différentiele Cate goriques公司26.3 (1985): 311-323. <http://eudml.org/doc/91367>.

@第{Bruno1985条，
作者={布鲁诺，奥斯卡·P·}，
journal={Cahiers de Topologie et Géométrie Différentiele Cate goriques}，
关键词={Dubuc模型；综合微分几何；局部特征理想；全局部分；-环；线决定的扩展；Penon开放子对象}，
language＝{eng}，
数字={3}，
页码={311-323}，
publisher={Dunodéditeur，publiéavec le concours du CNRS}，
title={指数对象的逻辑打开}，
url={http://eudml.org/doc/91367},
体积={26}，
年份={1985}，
}

TY-JOUR公司
澳大利亚-布鲁诺，奥斯卡·P·。
TI-指数对象的逻辑打开
JO-地形和Géométrie Différentielle Catégoriques公司
PY-1985年
PB-Dunodéditeur，CNRS公共服务
VL-26
IS-3标准
SP-311型
第323页
洛杉矶-eng
KW-Dubuc模型；综合微分几何；地方特色理想；全球截面-环；线确定的延伸；挂起打开的子对象
UR-（欧元）http://eudml.org/doc/91367
急诊室-

工具书类

顶部
  1. 1 Bruno O.，拓扑中的内部数学，Trabajos de Mat.70（1984）。 
  2. 2 Bruno，O.，关于可微函数理想的一个性质（待出版）Zbl0603.26010号
  3. 3 Dubuc，E.，C∞-环中的开覆盖和无穷运算，Cahiers Top。等Géom。Diff.XXII-3（1981），287-300。 Zbl0472.18008号
  4. 4 Dubuc，E.，C∞-方案，Amer。《数学杂志》103-4（1983），683-690Zbl0483.58003号
  5. 5 Dubuc，E.，Logical opens and real number in topoi，待出版。 Zbl0608.18004号
  6. 6 Penon，J.，Topologie et Intuitionnisme，Journées faisceaux et logique，Mai 1981，巴黎大学，公共出版数学。(1982). 
  7. 7 van QUE，N.和Reyes，G.，《光滑函子和合成微积分》，L.E.J.Brower百年交响曲。，A.S.Troelstra和D.van Dalen（编辑），北荷兰，1982年Zbl0544.51014号MR717254型

要在页面上嵌入这些注释，请在希望注释出现的页面上包含以下JavaScript代码。

只有小部件的控件将以您选择的语言显示。注释将以其创作语言显示。

告诉小部件每页要显示多少注释。您可以使用下一个和上一个控件循环查看其他注释。

    
                

                
注意：最佳实践建议在结束之前放置JavaScript代码</body>标签。