Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
The Basic Zariski Topology
View through CrossRef
We present the Zariski spectrum as an inductively generated basic topology à la Martin-Löf and Sambin. Since we can thus get by without considering powers and radicals, this simplifies the presentation as a formal topology initiated by Sigstam. Our treatment includes closed subspaces and basic opens: that is, arbitrary quotients and singleton localisations. All the effective objects under consideration are introduced by means of inductive definitions. The notions of spatiality and reducibility are characterized for the class of Zariski formal topologies, and their nonconstructive content is pointed out: while spatiality implies classical logic, reducibility corresponds to a fragment of the Axiom of Choice in the form of Russell’s Multiplicative Axiom.
Title: The Basic Zariski Topology
Description:
We present the Zariski spectrum as an inductively generated basic topology à la Martin-Löf and Sambin.
Since we can thus get by without considering powers and radicals, this simplifies the presentation as a formal topology initiated by Sigstam.
Our treatment includes closed subspaces and basic opens: that is, arbitrary quotients and singleton localisations.
All the effective objects under consideration are introduced by means of inductive definitions.
The notions of spatiality and reducibility are characterized for the class of Zariski formal topologies, and their nonconstructive content is pointed out: while spatiality implies classical logic, reducibility corresponds to a fragment of the Axiom of Choice in the form of Russell’s Multiplicative Axiom.
Related Results
Zariski Toposes
Zariski Toposes
Abstract
The category of schemes on a Zariski category can be fully and left-exactly embedded in a large topos - its large Zariski topos -while the category of local...
Arithmetic constructions of thin representations in higher rank Teichmüller spaces
Arithmetic constructions of thin representations in higher rank Teichmüller spaces
Constructions arithmétiques de représentations fines dans les espaces de Teichmüller supérieurs
Dans cette thèse, nous construisons des sous-groupes de surface Zari...
Zariski Categories
Zariski Categories
Abstract
We use the axiomatic method, which deals with categories equipped with a specified structure rather than categories described concretely by their objects an...
Zariski Geometries and Quantum Mechanics
Zariski Geometries and Quantum Mechanics
Model theory is the study of mathematical structures in terms of the logical relationships they define between their constituent objects. The logical relationships defined by these...
A Topology Identification Monitoring Terminal Based on the Pulse Current Characteristic Analysis
A Topology Identification Monitoring Terminal Based on the Pulse Current Characteristic Analysis
Abstract
The low-voltage distribution network field wiring is very complicated and there are many changes in the relationship between households and changes, which b...
La décomposition de Zariski : une approche valuative
La décomposition de Zariski : une approche valuative
La thèse s'intéresse au problème de la décomposition de Zariski en dimension supérieure à deux. Cette décomposition, qui existe sur les surfaces lisses, permet de décomposer un div...
ProLego: tool for extracting and visualizing topological modules in protein structures
ProLego: tool for extracting and visualizing topological modules in protein structures
Abstract
Background
In protein design, correct use of topology is among the initial and most critical feature. Meticulous selec...
Topology Optimization of Continuum Structures Based on Binary Hunter-Prey Optimization Algorithm
Topology Optimization of Continuum Structures Based on Binary Hunter-Prey Optimization Algorithm
According to BESO’s principle of binarizing continuous design variables and the excellent performance of the standard HPO algorithm in terms of solving continuous optimization prob...