Maximal ideals in countable rings, constructively

DOI10.1007/978-3-031-08740-0_3OpenAlexW4285037784MaRDI QIDQ2104249FDOQ2104249

Yanyan Li

Publication date: 7 December 2022

Full work available at URL: https://arxiv.org/abs/2207.03873

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.

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• An extension of the Galois theory of Grothendieck
• A course in constructive algebra
• A universal Krull-Lindenbaum theorem
• Induction in Algebra: A First Case Study
• A logical approach to abstract algebra
• Title not available (Why is that?)
• Nontrivial Uses of Trivial Rings
• Continuity and geometric logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Realizability. An introduction to its categorical side
• Title not available (Why is that?)
• Title not available (Why is that?)
• The point of pointless topology
• Title not available (Why is that?)
• Krull Implies Zorn
• Modular correspondence between dependent type theories and categories including pretopoi and topoi
• The consistency of classical set theory relative to a set theory with intu1tionistic logic
• Making the use of maximal ideals constructive
• Intuitionistic Mathematics and Realizability in the Physical World
• Logic and structure
• The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
• Dynamical method in algebra: Effective Nullstellensätze
• The set-theoretic multiverse
• Fraïssé's construction from a topos-theoretic perspective
• On the computational content of Zorn's lemma
• Krivine's intuitionistic proof of classical completeness (for countable languages)
• Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique
• A New Proof that “Krull implies Zorn”
• Title not available (Why is that?)
• Toposes without points
• Decidable Kripke models of intuitionistic theories
• Polynomials and radical ideals
• 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
• Classical proofs as programs: How, what and why
• Induction in algebra: a first case study
• Eliminating disjunctions by disjunction elimination
• ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
• Ribenboim's order extension theorem from a constructive point of view
• A General Extension Theorem for Directed-Complete Partial Orders
• Generalized Spaces for Constructive Algebra
• Five stages of accepting constructive mathematics
• Dynamic evaluation of integrity and the computational content of Krull's lemma
• Resolving finite indeterminacy
• A note on connected reduced rings
• Ordering groups constructively
• Sketches for arithmetic universes
• Syntax for Semantics: Krull’s Maximal Ideal Theorem
• The computational significance of Hausdorff's maximal chain principle
• A universal algorithm for Krull's theorem
• Title not available (Why is that?)
• The Jacobson radical for an inconsistency predicate

Cited In (5)

• Title not available (Why is that?)
• Counting \(\Omega \)-ideals
• Maximal ideals in countable rings, constructively
• Concerning maximal \(\ell\)-ideals of rings of continuous integer-valued functions.
• Maximal elements with minimal logic

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)