Formal Zariski topology: Positivity and points

被引：12
|
作者：
Schuster, P [1 ]
机构：
[1] Univ Munich, Inst Math, D-80333 Munich, Germany
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2006年 / 137卷 / 1-3期
关键词：
commutative ring; Zariski spectrum; formal topology; positivity relation; coinductive generation; formal point;
D O I：
10.1016/j.apal.2005.05.026
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
The topic of this article is the formal topology abstracted from the Zariski spectrum of a commutative ring. After recollecting the fundamental concepts of a basic open and a covering relation, we Study some candidates for positivity. In particular, we present a coinductively generated positivity relation. We further show that, constructively, the formal Zariski topology cannot have enough points. (c) 2005 Elsevier B.V. All rights reserved.
引用
收藏
页码：317 / 359
页数：43
相关论文
共 50 条
  • [1] Some points in formal topology
    Sambin, G
    THEORETICAL COMPUTER SCIENCE, 2003, 305 (1-3) : 347 - 408
  • [2] On the formal points of the formal topology of the binary tree
    Silvio Valentini
    Archive for Mathematical Logic, 2002, 41 : 603 - 618
  • [3] On the formal points of the formal topology of the binary tree
    Valentini, S
    ARCHIVE FOR MATHEMATICAL LOGIC, 2002, 41 (07) : 603 - 618
  • [4] POINTS AND CO-POINTS IN FORMAL TOPOLOGY
    VALENTINI, S
    BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 1993, 7A (01): : 7 - 19
  • [5] Zariski Topology
    Watase, Yasushige
    FORMALIZED MATHEMATICS, 2018, 26 (04): : 277 - 283
  • [6] On a Subspace of Dual Zariski Topology On a Subspace of Dual Zariski Topology
    Ceken, Secil
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2016 (ICNAAM-2016), 2017, 1863
  • [7] A ZARISKI TOPOLOGY FOR MODULES
    Abuhlail, Jawad
    COMMUNICATIONS IN ALGEBRA, 2011, 39 (11) : 4163 - 4182
  • [8] A Zariski Topology for Semimodules
    Atani, Shahabaddin Ebrahimi
    Atani, Reza Ebrahimi
    Tekir, Unsal
    EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS, 2011, 4 (03): : 251 - 265
  • [9] On the Zariski topology of Ω-groups
    Lipyanski, R.
    GROUPS, ALGEBRAS AND IDENTITIES, 2019, 726 : 135 - 142
  • [10] Zariski topology and Markov topology on groups
    Dikranjan, Dikran
    Toller, Daniele
    TOPOLOGY AND ITS APPLICATIONS, 2018, 241 : 115 - 144
12345