Generalized spaces for constructive algebra

DOI10.1142/9789811236488_0004OpenAlexW4210798852MaRDI QIDQ5081869FDOQ5081869

Authors: Ingo Blechschmidt 

Publication date: 17 June 2022

Published in: Proof and Computation II (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2012.13850

Recommendations

• The Zariski spectrum as a formal geometry
• Noncommutative Topologies, Localization, and Sheaves
• An introduction to partially ordered structures and sheaves
• Gelfand spectra in Grothendieck toposes using geometric mathematics
• On some peculiar aspects of the constructive theory of point-free spaces

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03Fxx) Computability and recursion theory (03Dxx) General logic (03Bxx)

Cited In (8)

• Maximal ideals in countable rings, constructively
• A constructive picture of Noetherian conditions and well quasi-orders
• An introduction to partially ordered structures and sheaves
• Generalized spaces for constructive algebra
• Title not available (Why is that?)
• A generalization of the ARIMA model to the nonlinear and continuous cases
• Radical theory of Scott-open filters
• Algebras of sets generating non-barrelled spaces

This page was built for publication: Generalized spaces for constructive algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5081869)