×
雅普·范·奥斯汀;亚历克斯·K·辛普森。

合成域理论中的公理和（反例）示例。 （英语） Zbl 0961.18006号

Ann.纯粹应用。逻辑 104，编号1-3，233-278（2000）.
这门被称为合成域理论的学科的目标是为域的类别提供公理，这应该允许人们对域进行推理，就好像它们是简单的集合一样，它们的“非集合类”特征被工作的类别的内部逻辑所掩盖。在本文中，作者基于基本拓扑的内部逻辑，对合成域理论进行了仔细的发展：他们还解释了几个特定拓扑（可实现拓扑和Grothendieck拓扑）中的定义，这使他们能够对过去关于合成域理论的各种猜测给出反例，例如，初始lift-代数必然是一个内部的“可数colimit”。
审核人：彼得·约翰斯通（剑桥）

引用于4文件

MSC公司：

18 C50 形式语言的范畴语义
68问题55 计算理论中的语义学
03G30型 分类逻辑，拓扑
18对25 托波伊
03D75号 抽象公理可计算性和递归理论

关键词：

综合领域理论;域的类别;内部逻辑;基本地形
PDF格式BibTeX公司 XML格式引用
\textit{J.van Oosten}和\textit{A.K.Simpson}，Ann.Pure Appl。逻辑104，No.1--3，233--278（2000；Zbl 0961.18006）
全文： 内政部

参考文献：

[1] Crole，R.L。；Pitts，A.M.，不动点计算的新基础：FIX超理论和FIX逻辑，Inform。计算。，98, 171-210 (1992) ·Zbl 0763.03031号
[2] 菲奥雷，M.P。；Plotkin，G.D.，公理域理论模型到合成域理论模型的扩展，（CSL 96，计算机科学讲稿，第1258卷（1997），Springer:Springer-Berlin），129-149·兹比尔0884.18009
[3] 菲奥雷，M.P。；Rosolini，G.，《合成域理论的两种模型》，J.Pure Appl。代数，116151-162（1997）·Zbl 0879.18007号
[4] M.P.Fiore和G.Rosolini。\（H\）中的域；M.P.Fiore和G.Rosolini。\（H\）中的域
[5] Freyd，P.J.，代数完全范畴，（范畴理论，数学课堂讲稿，第1488卷（1991），施普林格：施普林格-柏林）·Zbl 0815.18005号
[6] P.J.Freyd、P.Murry、G.Rosolini、D.S.Scott，《扩展绩效评估》。第5年。交响乐团。《计算机科学中的逻辑》（1990）。；P.J.Freyd、P.Murry、G.Rosolini、D.S.Scott，《扩展绩效评估》。第5年。交响乐团。《计算机科学中的逻辑》（1990年）。
[7] Hyland，J.M.E.，《有效地形》（The Effective Topos）（Troelstra，A.S.；van Dalen，D.，《L.E.J.Brouwer百年纪念研讨会》（1982年），北荷兰：北荷兰阿姆斯特丹）·兹伯利0522.03055
[8] Hyland，J.M.E.，合成域理论的第一步，（范畴理论，数学课堂讲稿，第1488卷（1991），施普林格：施普林格-柏林）·Zbl 0747.18004号
[9] 海兰德，J.M.E。；Ong，L.，（修改的可实现拓扑和强正规化证明，类型化Lambda演算和应用，计算机科学讲义，第664卷（1993），Springer:Springer-Berlin）·Zbl 0793.03079号
[10] 海兰德，J.M.E。；罗宾逊，E。；Rosolini，G.，有效地形中的离散对象，Proc。伦敦数学。社会学，3，60，1-60（1990）·Zbl 0703.18002号
[11] Jibladze，M.，《初始提升代数的演示》，J.Pure Appl。代数，116185-198（1997）·Zbl 0879.18006号
[12] Johnstone，P.T.，《关于拓扑拓扑》，Proc。伦敦数学。Soc.，38237-271（1977年）·Zbl 0402.18006号
[13] Joyal，A。；Moerdijk，I.，《代数集理论》。代数集理论，LMS课堂讲稿，第220卷（1995），剑桥大学出版社：剑桥大学出版社·兹伯利0847.03025
[14] Lawvere，F.W.，《对角论元和笛卡尔闭范畴》，（范畴理论、同调理论及其应用II，数学讲义，第92卷（1968年），施普林格：施普林格-柏林），134-145·Zbl 0218.18002号
[15] J.R.Longley，《顺序可实现功能》，1998年，技术报告，爱丁堡大学，编号ECS-LFCS-98-402（1998），Ann.Pure Appl。逻辑，接受。；J.R.Longley，《顺序可实现功能》，1998年，技术报告，爱丁堡大学，编号ECS-LFCS-98-402（1998），Ann.Pure Appl。逻辑，已接受·Zbl 1022.03023号
[16] Longley，J.R。；Simpson，A.K.，《可实现性模型中领域理论的统一方法》，《数学》。结构。计算。科学。，7, 469-505 (1997) ·Zbl 0934.03081号
[17] 南卡罗来纳州Mac Lane。；Moerdijk，I.，《几何和逻辑学中的滑轮》，《拓朴理论第一入门》，Universitext（1992），Springer:Springer Berlin·Zbl 0822.18001号
[18] M.Menni，A.K.Simpson，可数平衡空间的最大拓扑子范畴，Proc。MFPS’99，《计算机科学电子笔记》，1999年出版。；M.Menni，A.K.Simpson，可数平衡空间的最大拓扑子范畴，Proc。MFPS’99，《计算机科学电子笔记》，1999年出版·Zbl 0933.18007号
[19] van Oosten，J.，（模型和可计算性，1997年利兹逻辑座谈会特邀论文，LMS数学系列讲座259（1999），剑桥大学出版社），389-406
[20] van Oosten，J.，《修正可实现拓扑》，J.Pure Appl。代数，116273-289（1997）·Zbl 0882.03059号
[21] W.K.-S.Phoa，可实现拓扑中的域理论，博士论文，剑桥（1990）。；W.K.-S.Phoa，可实现拓扑中的域理论，博士论文，剑桥（1990）。
[22] W.K.-S.Phoa，有效结构域和内部结构，in：Proc。年第五交响曲。《计算机科学中的逻辑》（1990）。；W.K.-S.Phoa，有效结构域和内部结构，in：Proc。年第五交响曲。《计算机科学中的逻辑》（1990）。
[23] B.重用，综合领域理论中的程序验证，博士论文，慕尼黑（1995）。；B.Reus，《合成领域理论的程序验证》，博士论文，慕尼黑（1995年）·Zbl 0869.68037号
[24] B.Reuse，Th.Streicher，《一般综合领域理论——逻辑方法》，收录于：《范畴理论与计算机科学》，Proc。CTCS’97计算机科学讲义，第1290卷，柏林施普林格，1997年，第293-313页。（扩充版本：《数学结构与计算机科学》9（1999）177-223）。；B.Reus，Th.Streicher，《综合领域理论——一种逻辑方法》，载于《范畴理论与计算机科学》，Proc。CTCS’97计算机科学讲义，第1290卷，柏林施普林格，1997年，第293-313页。（扩充版本：《数学结构与计算机科学》9（1999）177-223）·Zbl 0881.18002号
[25] G.Rosolini，拓扑的连续性和有效性，牛津大学博士论文（1986）。；G.Rosolini，拓扑的连续性和有效性，牛津大学博士论文（1986年）。
[26] Rosolini，G.，《类别和有效计算》（计算机科学讲义，第283卷（1987），施普林格：施普林格柏林），1-11·Zbl 0643.03049号
[27] Scott，D.S.，《λ演算的相关理论》，（Seldin，J.P.；Hindley，J.R.，To H.B.CurryEssays on Combination Logic，Lambda calculus and Formalism（1980），学术出版社：纽约学术出版社）
[28] Simpson，A.K.，《基本拓扑中的计算充分性》，（《计算机科学逻辑》，CSL’98，Brno，《计算机科学讲义》，第1584卷（1998），Springer:Springer Berlin），323-342·Zbl 0933.03031号
[29] A.K.Simpson，直觉集理论中的代数紧性，《PSSL演讲》，爱丁堡，1995年，1999年，准备中。；A.K.Simpson，《直觉集理论中的代数紧性》，《PSSL演讲》，爱丁堡，1995年，1999年，准备中。
[30] T.Streicher，《内涵型理论研究》，《习惯化论文》，达姆施塔特（1993）。；T.Streicher，《内涵型理论研究》，《习惯化论文》，达姆施塔特（1993）。
[31] Th.Streicher，充满的归纳结构，应用。分类结构。7 (1999) 185-207.; Th.Streicher，补充的归纳结构，应用。分类结构。7 (1999) 185-207. ·Zbl 0933.03032号
[32] Taylor，P.，合成域理论中的不动点性质，Proc。每年6日。交响乐团。《计算机科学中的逻辑》（1991）
[33] Troelstra，A.S.，直觉算术与分析中的元数学研究。直觉算术与分析中的元数学研究，数学课堂讲稿，第344卷（1973），施普林格：施普林格柏林·Zbl 0275.02025号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。