A universal Krull-Lindenbaum theorem
From MaRDI portal
Publication:273003
DOI10.1016/j.jpaa.2016.02.011zbMath1420.03128MaRDI 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
13A15: Ideals and multiplicative ideal theory in commutative rings
03E25: Axiom of choice and related propositions
Related Items
Syntax for Semantics: Krull’s Maximal Ideal Theorem, The Jacobson radical for an inconsistency predicate, THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY, ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION, 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, 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, Cut elimination for entailment relations, A universal algorithm for Krull's theorem, Radical theory of Scott-open filters, Lindenbaum’s Lemma via Open Induction, On the Constructive and Computational Content of Abstract Mathematics
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.