Resolving finite indeterminacy. A definitive constructive universal prime ideal theorem

DOI10.1145/3373718.3394777MaRDI QIDQ5145683zbMATH OpenOpenAlexFDO

Authors Daniel Wessel, Peter Schuster

Publication date 21 January 2021

Published in Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3373718.3394777

zbMATH Keywords

geometric logicprime idealsfinite treeinductive generationcomputational contentKrull's lemmaproof-theoretic conservationdynamical proofnon-deterministic axiom

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Ideals and multiplicative ideal theory in commutative rings (13A15)

Recommendations

• A universal algorithm for Krull's theorem
• Dynamical method in algebra: Effective Nullstellensätze
• Dynamic evaluation of integrity and the computational content of Krull's lemma
• A universal Krull-Lindenbaum theorem
• Induction in algebra: a first case study

Cited in

(20)

• Maximal ideals in countable rings, constructively
• The computational significance of Hausdorff's maximal chain principle
• A universal Krull-Lindenbaum theorem
• Ideal presentations and numberings of some classes of effective quasi-Polish spaces
• On the Weihrauch degree of the additive Ramsey theorem
• On the first-order parts of problems in the Weihrauch degrees
• A universal algorithm for Krull's theorem
• Conservation as translation
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
• Hilbert's tenth problem for term algebras with a substitution operator
• Defining long words succinctly in FO and MSO
• Complemented subsets and Boolean-valued, partial functions
• Algorithmically random series
• Lower bounds on () and other properties of -register machines
• Reifying dynamical algebra: maximal ideals in countable rings, constructively
• A general Glivenko-Gödel theorem for nuclei
• The Jacobson radical for an inconsistency predicate
• Induction in algebra: a first case study
• Radical theory of Scott-open filters
• Dynamic evaluation of integrity and the computational content of Krull's lemma

This page was built for publication: Resolving finite indeterminacy. A definitive constructive universal prime ideal theorem

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