A New Proof that “Krull implies Zorn”

DOI10.1002/malq.19940400405zbMath0813.03032OpenAlexW2005378310MaRDI QIDQ4315323

Bernhard Banaschewski

Publication date: 8 December 1994

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19940400405

zbMATH Keywords

axiom of choicemaximal ideal theorem for commutative rings with unit

Mathematics Subject Classification ID

Ideals and multiplicative ideal theory in commutative rings (13A15) Axiom of choice and related propositions (03E25)

Related Items (6)

The Jacobson radical for an inconsistency predicate ⋮ Radical theory of Scott-open filters ⋮ \(pm\)-rings and the prime ideal theorem ⋮ Functorial maximal spectra ⋮ Maximal ideals in countable rings, constructively ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem

This page was built for publication: A New Proof that “Krull implies Zorn”