Generalized spaces for constructive algebra

DOI10.1142/9789811236488_0004MaRDI QIDQ5081869zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

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
• scientific article; zbMATH DE number 18286 (Why is no real title available?)
• A generalization of the ARIMA model to the nonlinear and continuous cases
• Radical theory of Scott-open filters
• Generalized spaces for constructive algebra
• 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)