Syntax for semantics: Krull's maximal ideal theorem

DOI10.1007/978-3-030-65824-3_6MaRDI QIDQ5024726zbMATH OpenOpenAlexFDO

Authors Daniel Wessel, Peter Schuster

Publication date 27 January 2022

Published in Paul Lorenzen -- Mathematician and Logician (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-65824-3_6

zbMATH Keywords

Axiom of choiceclass inductive definition theoremdetachable subsetdynamical algebraentailment relationfinite information topologyFormal Nullstellensatzgeometric entailment relationgeometric sequentsGilmer radicalKrull's Maximal Ideal Theorem (MIT)Paul LorenzenRaoult's principle of Open Induction (OI)revised Hilbert Programuseful fictionsVaihinger

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05) Axiom of choice and related propositions (03E25) Other constructive mathematics (03F65) History of commutative algebra (13-03) Ideals and multiplicative ideal theory in commutative rings (13A15) Dimension theory, depth, related commutative rings (catenary, etc.) (13C15) Commutative Noetherian rings and modules (13E05)

Recommendations

• A universal algorithm for Krull's theorem
• CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS
• A constructive notion of codimension
• A universal Krull-Lindenbaum theorem
• PRIME AND MAXIMAL IDEALS IN CONSTRUCTIVE RING THEORY

Cites work

• A course in constructive algebra
• A logical approach to abstract algebra
• A New Proof that “Krull implies Zorn”
• A Remark on Rings with Primary Ideals as Maximal Ideals.
• A universal Krull-Lindenbaum theorem
• Algebraische und logistische Untersuchungen über freie Verbände
• Aspects of general topology in constructive set theory
• Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
• Constructing Gröbner bases for Noetherian rings
• Constructive Aspects of Noetherian Rings
• Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
• CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS
• Cut elimination for entailment relations
• Cut Elimination in the Presence of Axioms
• Die Erweiterung halbgeordneter Gruppen zu Verbandsgruppen
• Dynamical method in algebra: Effective Nullstellensätze
• Eine Bemerkung über die Abzählbarkeitsvoraussetzung in der Algebra
• Eliminating disjunctions by disjunction elimination
• Eliminating disjunctions by disjunction elimination
• Extension by conservation. Sikorski's theorem
• Finite methods in mathematical practice
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• Hilbert rings and the Hilbert Nullstellensatz
• scientific article; zbMATH DE number 3885968 (Why is no real title available?)
• scientific article; zbMATH DE number 3839951 (Why is no real title available?)
• scientific article; zbMATH DE number 3853067 (Why is no real title available?)
• scientific article; zbMATH DE number 5152050 (Why is no real title available?)
• scientific article; zbMATH DE number 3823952 (Why is no real title available?)
• scientific article; zbMATH DE number 4012604 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3754682 (Why is no real title available?)
• scientific article; zbMATH DE number 3782930 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 51219 (Why is no real title available?)
• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• scientific article; zbMATH DE number 1201510 (Why is no real title available?)
• scientific article; zbMATH DE number 1223620 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 3435458 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 1420784 (Why is no real title available?)
• scientific article; zbMATH DE number 1420837 (Why is no real title available?)
• scientific article; zbMATH DE number 6296784 (Why is no real title available?)
• scientific article; zbMATH DE number 3279238 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 2247249 (Why is no real title available?)
• scientific article; zbMATH DE number 2247262 (Why is no real title available?)
• Induction in algebra: a first case study
• Induction in algebra: a first case study
• Inductively generated formal topologies.
• Krull dimension, Nullstellensätze and dynamical evaluation
• Krull Implies Zorn
• La logique des topos
• Lattice-ordered groups generated by an ordered group and regular systems of ideals
• Making the use of maximal ideals constructive
• Noetherian orders
• On some peculiar aspects of the constructive theory of point-free spaces
• Polynomials and radical ideals
• Proof analysis beyond geometric theories: from rule systems to systems of rules
• Proving open properties by induction
• Rings with Primary Ideals as Maximal Ideals.
• Some points in formal topology.
• Space of valuations
• Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
• Strongly Noetherian rings and constructive ideal theory
• Subsystems of second order arithmetic
• Teilbarkeitstheorie in Bereichen
• The origin of Zorn's lemma
• The Power of the Ultrafilter Theorem
• Valuative dimension and monomial orders
• What is Noetherian?
• Über halbgeordnete Gruppen

Cited in

(19)

• Towards formal Baer criteria
• Maximal ideals in countable rings, constructively
• The computational significance of Hausdorff's maximal chain principle
• An algorithmic approach to the existence of ideal objects in commutative algebra
• Radical theory of Scott-open filters
• PRIME AND MAXIMAL IDEALS IN CONSTRUCTIVE RING THEORY
• The Jacobson radical for an inconsistency predicate
• Transcendental syntax I: deterministic case
• Maximal elements with minimal logic
• A constructive proof of the general Nullstellensatz for Jacobson rings
• On the Weihrauch degree of the additive Ramsey theorem
• Hilbert's tenth problem for term algebras with a substitution operator
• Complemented subsets and Boolean-valued, partial functions
• Defining long words succinctly in FO and MSO
• On the first-order parts of problems in the Weihrauch degrees
• Algorithmically random series
• Ideal presentations and numberings of some classes of effective quasi-Polish spaces
• Lower bounds on () and other properties of -register machines
• Reifying dynamical algebra: maximal ideals in countable rings, constructively

This page was built for publication: Syntax for semantics: Krull's maximal ideal theorem

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