A note on the diagonalizable algebras of PA and ZF
From MaRDI portal
Publication:685077
DOI10.1016/0168-0072(93)90202-OzbMath0780.03027MaRDI QIDQ685077
Publication date: 22 September 1993
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
diagonalizable algebra; complexity measure; Lindenbaum sentence algebra; PA; provability predicate; provably recursive functions; ZF
03F30: First-order arithmetic and fragments
03G25: Other algebras related to logic
03F40: Gödel numberings and issues of incompleteness
Related Items
Undecidability in diagonalizable algebras, Interpretability over peano arithmetic, Topological structure of diagonalizable algebras and corresponding logical properties of theories
Cites Work