THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
From MaRDI portal
Publication:5085858
DOI10.1017/bsl.2021.66OpenAlexW4200362900MaRDI QIDQ5085858
Daniel Wessel, Giulio Fellin, Peter M. Schuster
Publication date: 30 June 2022
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/bsl.2021.66
Jacobson radicalentailment relationpropositional theoryGlivenko's Theoremaxioms as rulesconservation criterionLindenbaum's Lemma
Projective and free modules and ideals in commutative rings (13C10) Other constructive mathematics (03F65) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
Radical theory of Scott-open filters ⋮ The computational significance of Hausdorff's maximal chain principle
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A universal Krull-Lindenbaum theorem
- Glivenko sequent classes in the light of structural proof theory
- Consequence relations and admissible rules
- The proof by cases property and its variants in structural consequence relations
- A short proof of Glivenko theorems for intermediate predicate logics
- Proof-theoretical analysis of order relations
- Simple consequence relations
- Logics with disjunction and proof by cases
- Finitary formal topologies and Stone's representation theorem
- Space of valuations
- Glivenko theorems revisited
- Proof theory. 2nd ed
- Semantical investigations in Heyting's intuitionistic logic
- A globalization of the Hahn-Banach theorem
- Constructivism in mathematics. An introduction. Volume II
- Theory of logical calculi. Basic theory of consequence operations
- A course in constructive algebra
- Constructive rereading of Artin-Schreier theory
- Inductively generated formal topologies.
- Some points in formal topology.
- Eliminating disjunctions by disjunction elimination
- About Stone's notion of spectrum
- Untersuchungen über das logische Schliessen. II
- Valuations and Dedekind's Prague theorem
- The Hahn-Banach theorem by disjunction elimination
- A note on connected reduced rings
- Remarks on the Scott-Lindenbaum theorem
- Cut elimination for entailment relations
- Lattice-ordered groups generated by an ordered group and regular systems of 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
- Making the use of maximal ideals constructive
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
- Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited
- Teilbarkeitstheorie in Bereichen
- Die Erweiterung halbgeordneter Gruppen zu Verbandsgruppen
- Embedding classical in minimal implicational logic
- Classical propositional logic and decidability of variables in intuitionistic propositional logic
- L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction
- On a conservative extension argument of Dana Scott
- Proof Analysis
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- Lindenbaum’s Lemma via Open Induction
- Point-Free Spectra of Linear Spreads
- Almost maximal ideals
- Geometric Hahn-Banach theorem
- Glivenko theorems for substructural logics over FL
- A logical approach to abstract algebra
- Dimension de Heitmann des treillis distributifs et des anneaux commutatifs
- Prime ideals yield almost maximal ideals
- Cut Elimination in the Presence of Axioms
- Continuous domains as formal spaces
- Formal topologies on the set of first-order formulae
- Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
- Pretopologies and completeness proofs
- Convergence in formal topology: a unifying notion
- PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION
- On Constructive Fragments of Classical Logic
- Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction
- Ordering groups constructively
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
- Proof analysis beyond geometric theories: from rule systems to systems of rules
- Algebraische und logistische Untersuchungen über freie Verbände
- The Radical and Semi-Simplicity for Arbitrary Rings
- Logic and structure
- Über halbgeordnete Gruppen
- Dynamical method in algebra: Effective Nullstellensätze