1. Hidden constructions in abstract algebra (3) Krull dimension;Coquand,2002
2. Th. Coquand, H. Lombardi, M.-F. Roy, Une caractérisation élémentaire de la dimension de Krull, Prépublication 2003
3. Generating non-Noetherian modules efficiently;Heitmann;Michigan Math. J.,1984
4. Le théorème de Chevalley–Tarski;Joyal;Cahiers de Topologie et Géométrie Différentielle,1975
5. Grundzüge einer arithmetischen Theorie der algebraischen Grössen;Kronecker;J. Reine Angew. Math.,1882