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

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

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

(17)

• Algebras of sets generating non-barrelled spaces
• Maximal ideals in countable rings, constructively
• Radical theory of Scott-open filters
• scientific article; zbMATH DE number 18286 (Why is no real title available?)
• An introduction to partially ordered structures and sheaves
• A constructive picture of Noetherian conditions and well quasi-orders
• A generalization of the ARIMA model to the nonlinear and continuous cases
• Generalized spaces for constructive algebra
• On the Weihrauch degree of the additive Ramsey theorem
• Hilbert's tenth problem for term algebras with a substitution operator
• Complemented subsets and Boolean-valued, partial functions
• Defining long words succinctly in FO and MSO
• On the first-order parts of problems in the Weihrauch degrees
• Algorithmically random series
• Ideal presentations and numberings of some classes of effective quasi-Polish spaces
• Lower bounds on () and other properties of -register machines
• Reifying dynamical algebra: maximal ideals in countable rings, constructively

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)