The Jacobson radical for an inconsistency predicate
From MaRDI portal
Publication:5075520
DOI10.3233/COM-210365MaRDI QIDQ5075520
Daniel Wessel, Peter M. Schuster
Publication date: 16 May 2022
Published in: Computability (Search for Journal in Brave)
maximal chain; maximal ideal; Jacobson radical; axiom of choice; constructive set theory; inductive definition; computational content; finite binary tree; consistent theory; syntactical conservation
03E70: Nonclassical and second-order set theories
03F65: Other constructive mathematics
03E25: Axiom of choice and related propositions
Uses Software