Formal Zariski topology: positivity and points

Annals of Pure and Applied Logic 137 (1-3):317-359 (2006)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2005.05.026

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,139

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the formal points of the formal topology of the binary tree.Silvio Valentini - 2002 - Archive for Mathematical Logic 41 (7):603-618.
Zariski‐type topology for implication algebras.Manuel Abad, Diego Castaño & José P. Díaz Varela - 2010 - Mathematical Logic Quarterly 56 (3):299-309.
An Analytic Zariski Structure Over a Field.Nick Peatfield - 2006 - Archive for Mathematical Logic 45 (6):739-768.
Sublocales in Formal Topology.Steven Vickers - 2007 - Journal of Symbolic Logic 72 (2):463 - 482.
The Aristotelian Continuum. A Formal Characterization.Peter Roeper - 2006 - Notre Dame Journal of Formal Logic 47 (2):211-232.
Every countably presented formal topology is spatial, classically.Silvio Valentini - 2006 - Journal of Symbolic Logic 71 (2):491-500.
A constructive semantics for non-deducibility.Francesco Ciraulo - 2008 - Mathematical Logic Quarterly 54 (1):35-48.
A structural investigation on formal topology: coreflection of formal covers and exponentiability.Maria Emilia Maietti & Silvio Valentini - 2004 - Journal of Symbolic Logic 69 (4):967-1005.
Zariski-type topology for implication algebras.Manuel Abad, Diego Castaño & José Patricio Díaz Varela - 2010 - Mathematical Logic Quarterly 56 (3):299-309.
Maximal and partial points in formal topology.E. Palmgren - forthcoming - Annals of Pure and Applied Logic.
On degree-preserving homeomorphisms between trees in computable topology.Iraj Kalantari & Larry Welch - 2008 - Archive for Mathematical Logic 46 (7-8):679-693.
Objects: A Study in Kantian Formal Epistemology.Giovanni Boniolo & Silvio Valentini - 2012 - Notre Dame Journal of Formal Logic 53 (4):457-478.
A blend of methods of recursion theory and topology: A Π1 0 tree of shadow points. [REVIEW]Iraj Kalantari & Larry Welch - 2004 - Archive for Mathematical Logic 43 (8):991-1008.

Analytics

Added to PP
2013-12-31

Downloads
22 (#650,553)

6 months
4 (#573,918)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Peter Schuster
University of Leeds

Citations of this work

Constructive mathematics.Douglas Bridges - 2008 - Stanford Encyclopedia of Philosophy.
A constructive investigation of satisfiability.Francesco Ciraulo - 2012 - Annals of Pure and Applied Logic 163 (2):111-121.
A constructive semantics for non-deducibility.Francesco Ciraulo - 2008 - Mathematical Logic Quarterly 54 (1):35-48.

Add more citations

References found in this work

Varieties of constructive mathematics.D. S. Bridges - 1987 - New York: Cambridge University Press. Edited by Fred Richman.
Inductively generated formal topologies.Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini - 2003 - Annals of Pure and Applied Logic 124 (1-3):71-106.
Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):461-461.
Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Mathematical Logic Quarterly 24 (25‐30):461-461.

View all 9 references / Add more references