The Jacobson radical for an inconsistency predicate
From MaRDI portal
Publication:5075520
Recommendations
Cites work
- scientific article; zbMATH DE number 4070894 (Why is no real title available?)
- scientific article; zbMATH DE number 3465422 (Why is no real title available?)
- scientific article; zbMATH DE number 1201510 (Why is no real title available?)
- scientific article; zbMATH DE number 7204446 (Why is no real title available?)
- scientific article; zbMATH DE number 3291139 (Why is no real title available?)
- scientific article; zbMATH DE number 3424017 (Why is no real title available?)
- A New Proof that “Krull implies Zorn”
- A Note on Zariski's Lemma
- A course in constructive algebra
- A curious nucleus
- A general extension theorem for directed-complete partial orders
- A short proof of Glivenko theorems for intermediate predicate logics
- A universal Krull-Lindenbaum theorem
- An algorithmic approach to the existence of ideal objects in commutative algebra
- An algorithmic version of Zariski's lemma
- Aspects of general topology in constructive set theory
- Binary refinement implies discrete exponentiation
- Classical propositional logic and decidability of variables in intuitionistic propositional logic
- 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
- Convergence in formal topology: a unifying notion
- Cut elimination in sequent calculi with implicit contraction, with a conjecture on the origin of Gentzen's altitude line construction
- Dimension de Heitmann des treillis distributifs et des anneaux commutatifs
- 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
- Embedding classical in minimal implicational logic
- Glivenko sequent classes in the light of structural proof theory
- Glivenko theorems for substructural logics over FL
- Glivenko theorems revisited
- Graph theory
- Handbook of game theory. Vol. 4
- Induction in algebra: a first case study
- Induction in algebra: a first case study
- Inductively generated formal topologies.
- Krull Implies Zorn
- Lindenbaum's lemma via open induction
- Making the use of maximal ideals constructive
- More on a curious nucleus
- On constructive fragments of classical logic
- On the computational content of Zorn's lemma
- Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited
- Proof Analysis
- Proving open properties by induction
- Resolving finite indeterminacy. A definitive constructive universal prime ideal theorem
- Some new intuitionistic equivalents of Zorn's Lemma
- Some points in formal topology.
- Structural proof theory. With an appendix by Aarne Ranta
- Syntax for semantics: Krull's maximal ideal theorem
- The Radical and Semi-Simplicity for Arbitrary Rings
- The computational significance of Hausdorff's maximal chain principle
- The maximality of filters
- The origin of Zorn's lemma
Cited in
(3)
This page was built for publication: The Jacobson radical for an inconsistency predicate
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5075520)
