Maximal ideals in countable rings, constructively
From MaRDI portal
Publication:2104249
Recommendations
- Maximal elements with minimal logic
- A New Proof that “Krull implies Zorn”
- An algorithmic approach to the existence of ideal objects in commutative algebra
- Maximal Ideals in Rings
- Maximal ideals and the axiom of choice
- Syntax for semantics: Krull's maximal ideal theorem
- PRIME AND MAXIMAL IDEALS IN CONSTRUCTIVE RING THEORY
- Prime elements from prime ideals
- Left maximal idempotents in \(G^\ast\)
- Über Extremalaxiome.
Cites work
- scientific article; zbMATH DE number 5695342 (Why is no real title available?)
- scientific article; zbMATH DE number 3550851 (Why is no real title available?)
- scientific article; zbMATH DE number 3614784 (Why is no real title available?)
- scientific article; zbMATH DE number 1201510 (Why is no real title available?)
- scientific article; zbMATH DE number 1226875 (Why is no real title available?)
- scientific article; zbMATH DE number 763370 (Why is no real title available?)
- scientific article; zbMATH DE number 3275577 (Why is no real title available?)
- scientific article; zbMATH DE number 2247249 (Why is no real title available?)
- A New Proof that “Krull implies Zorn”
- A course in constructive algebra
- A general extension theorem for directed-complete partial orders
- A logical approach to abstract algebra
- A note on connected reduced rings
- A universal Krull-Lindenbaum theorem
- A universal algorithm for Krull's theorem
- An extension of the Galois theory of Grothendieck
- Classical proofs as programs: how, what and why
- Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
- Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
- Continuity and geometric logic
- Decidable Kripke models of intuitionistic theories
- Dynamic evaluation of integrity and the computational content of Krull's lemma
- Dynamical method in algebra: Effective Nullstellensätze
- Eliminating disjunctions by disjunction elimination
- Eliminating disjunctions by disjunction elimination
- Five stages of accepting constructive mathematics
- Fraïssé's construction from a topos-theoretic perspective
- Generalized spaces for constructive algebra
- Induction in algebra: a first case study
- Induction in algebra: a first case study
- Intuitionistic mathematics and realizability in the physical world
- Krivine's intuitionistic proof of classical completeness (for countable languages)
- Krull Implies Zorn
- Logic and structure
- Making the use of maximal ideals constructive
- Modular correspondence between dependent type theories and categories including pretopoi and topoi
- Nontrivial Uses of Trivial Rings
- On the computational content of Zorn's lemma
- Ordering groups constructively
- Polynomials and radical ideals
- Realizability. An introduction to its categorical side
- Resolving finite indeterminacy. A definitive constructive universal prime ideal theorem
- Ribenboim's order extension theorem from a constructive point of view
- Sketches for arithmetic universes
- Syntax for semantics: Krull's maximal ideal theorem
- The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
- The Jacobson radical for an inconsistency predicate
- The computational significance of Hausdorff's maximal chain principle
- The consistency of classical set theory relative to a set theory with intu1tionistic logic
- The point of pointless topology
- The set-theoretic multiverse
- Toposes without points
- Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique
Cited in
(5)
This page was built for publication: Maximal ideals in countable rings, constructively
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104249)
