Concepedia

A constructive notion of codimension

Davide Rinaldi

Journal of Algebra · 2013 · 21 citations · 20 references

DOI

Concepts

References

20

Commutative algebra with a view toward algebraic geometry

Choice Reviews Online · 1996 · 4.2K citations

, , +14

Constructions in algebra

A. Seidenberg · Transactions of the American Mathematical Society · 1974 · 273 citations · Full text

, , +10

A Course in Constructive Algebra.

Michael J. Besson, Ray Mines, Fred Richman et al. · American Mathematical Monthly · 1990 · 188 citations

, , +16

Some points in formal topology

Giovanni Sambin · Theoretical Computer Science · 2003 · 167 citations · Full text

, , +4

Inductively generated formal topologies

Thierry Coquand, Giovanni Sambin, Jan M. Smith et al. · Annals of Pure and Applied Logic · 2003 · 147 citations

, , +4