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