A universal Krull-Lindenbaum theorem

DOI10.1016/j.jpaa.2016.02.011zbMath1420.03128OpenAlexW2296378459MaRDI QIDQ273003

Davide Rinaldi, Peter M. Schuster

Publication date: 21 April 2016

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2016.02.011

Mathematics Subject Classification ID

Ideals and multiplicative ideal theory in commutative rings (13A15) Axiom of choice and related propositions (03E25)

Related Items (16)

The Jacobson radical for an inconsistency predicate ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ A universal algorithm for Krull's theorem ⋮ Eliminating disjunctions by disjunction elimination ⋮ Radical theory of Scott-open filters ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Dynamic evaluation of integrity and the computational content of Krull's lemma ⋮ Lindenbaum’s Lemma via Open Induction ⋮ On the Constructive and Computational Content of Abstract Mathematics ⋮ Cut elimination for entailment relations ⋮ The Hahn-Banach theorem by disjunction elimination ⋮ A note on connected reduced rings ⋮ Maximal ideals in countable rings, constructively ⋮ The computational significance of Hausdorff's maximal chain principle ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem

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
• Semantic completeness of first-order theories in constructive reverse mathematics
• The basic Zariski topology
• Space of valuations
• Matrices, primitive satisfaction and finitely based logics
• Proving open properties by induction
• Theory of logical calculi. Basic theory of consequence operations
• Some points in formal topology.
• Valuations and Dedekind's Prague theorem
• Formal spaces and their effective presentations
• Remarks on the Scott-Lindenbaum theorem
• On preserving
• Formal Zariski topology: Positivity and points
• Strongly Noetherian rings and constructive ideal theory
• Subrings of infinite direct sums
• Über die Ideale arithmetischer Ringe
• A Direct Proof of Wiener’s Theorem
• Induction in Algebra: A First Case Study
• Lindenbaum’s Lemma via Open Induction
• Notes on Set Theory
• Domain-Theoretic Foundations of Functional Programming
• A logical approach to abstract algebra
• Spatiality for formal topologies
• Formal topologies on the set of first-order formulae
• Constructive topology and combinatorics
• Nontrivial Uses of Trivial Rings
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• Pretopologies and completeness proofs
• Real and Ideal in Constructive Mathematics
• A remark on method in transfinite algebra
• Über die Rolle der transfiniten Schlußweisen in einer allgemeinen Idealtheorie
• Hidden constructions in abstract algebra. I: Integral dependance.

This page was built for publication: A universal Krull-Lindenbaum theorem