An algorithmic approach to the existence of ideal objects in commutative algebra

DOI10.1007/978-3-662-59533-6_32OpenAlexW2963880199MaRDI QIDQ2303615

Yanyan Li

Publication date: 4 March 2020

Full work available at URL: https://arxiv.org/abs/1903.03070

zbMATH Keywords

proof theoryprogram extractioncommutative algebrano-counterexample interpretation

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (6)

The Jacobson radical for an inconsistency predicate ⋮ A universal algorithm for Krull's theorem ⋮ Dynamic evaluation of integrity and the computational content of Krull's lemma ⋮ BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH ⋮ The Hahn-Banach theorem by disjunction elimination ⋮ An algorithmic version of Zariski's lemma

This page was built for publication: An algorithmic approach to the existence of ideal objects in commutative algebra