A universal Krull-Lindenbaum theorem

DOI10.1016/J.JPAA.2016.02.011zbMATH Open1420.03128OpenAlexW2296378459MaRDI QIDQ273003FDOQ273003

Davide Rinaldi, Peter 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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On preserving
• Theory of logical calculi. Basic theory of consequence operations
• Domain-Theoretic Foundations of Functional Programming
• Space of valuations
• Matrices, primitive satisfaction and finitely based logics
• Proving open properties by induction
• Some points in formal topology.
• Valuations and Dedekind's Prague theorem
• Formal spaces and their effective presentations
• Remarks on the Scott-Lindenbaum theorem
• Formal Zariski topology: Positivity and points
• Strongly Noetherian rings and constructive ideal theory
• Subrings of infinite direct sums
• Über die Ideale arithmetischer Ringe
• Semantic completeness of first-order theories in constructive reverse mathematics
• A Direct Proof of Wiener’s Theorem
• Induction in Algebra: A First Case Study
• Lindenbaum’s Lemma via Open Induction
• Notes on Set Theory
• 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.
• The basic Zariski topology

Cited In (17)

• Maximal ideals in countable rings, constructively
• The computational significance of Hausdorff's maximal chain principle
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
• A universal algorithm for Krull's theorem
• Universal properties of Łukasiewicz consequence
• On the Constructive and Computational Content of Abstract Mathematics
• 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
• Radical theory of Scott-open filters
• A note on connected reduced rings
• The Hahn-Banach theorem by disjunction elimination
• Lindenbaum’s Lemma via Open Induction
• Cut elimination for entailment relations
• Eliminating disjunctions by disjunction elimination
• Dynamic evaluation of integrity and the computational content of Krull's lemma

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q273003)