As a form of the Axiom of Choice about relatively simple structures (posets), Hausdorff's Maximal Chain Principle appears to be little amenable to computational interpretation. This received view, however, requires revision: maximal chains are more reminiscent of maximal ideals than it seems at first glance. The latter live in richer algebraic structures (rings), and thus are readier to be put under computational scrutiny. Exploiting this, and of course the analogy between maximal chains and maximal ideals, the concept of Jacobson radical carries over from a ring to an arbitrary set with an abstract inconsistency predicate: that is, a distinguished monotone family of finite subsets. All this makes possible not only to generalise Hausdorff's principle, but also to express it as a syntactical conservation theorem. The latter, which encompasses the desired computational core of Hausdorff's principle, is obtained by a generalised inductive definition. The over-all setting is constructive set theory.

The Jacobson radical for an inconsistency predicate

Schuster, P;Wessel, D
2022-01-01

Abstract

As a form of the Axiom of Choice about relatively simple structures (posets), Hausdorff's Maximal Chain Principle appears to be little amenable to computational interpretation. This received view, however, requires revision: maximal chains are more reminiscent of maximal ideals than it seems at first glance. The latter live in richer algebraic structures (rings), and thus are readier to be put under computational scrutiny. Exploiting this, and of course the analogy between maximal chains and maximal ideals, the concept of Jacobson radical carries over from a ring to an arbitrary set with an abstract inconsistency predicate: that is, a distinguished monotone family of finite subsets. All this makes possible not only to generalise Hausdorff's principle, but also to express it as a syntactical conservation theorem. The latter, which encompasses the desired computational core of Hausdorff's principle, is obtained by a generalised inductive definition. The over-all setting is constructive set theory.
Axiom of choice
maximal chain
maximal ideal
consistent theory
Jacobson radical
syntactical conservation
computational content
constructive set theory
inductive definition
finite binary tree
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/1079446
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact