Generalized Spaces for Constructive Algebra

DOI10.1142/9789811236488_0004OpenAlexW4210798852MaRDI QIDQ5081869

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) Proof theory and constructive mathematics (03Fxx) Computability and recursion theory (03Dxx)

Related Items (4)

Radical theory of Scott-open filters ⋮ A constructive picture of Noetherian conditions and well quasi-orders ⋮ A generalization of the ARIMA model to the nonlinear and continuous cases ⋮ Maximal ideals in countable rings, constructively

This page was built for publication: Generalized Spaces for Constructive Algebra