A note on the diagonalizable algebras of PA and ZF

DOI10.1016/0168-0072(93)90202-OMaRDI QIDQ685077zbMATH OpenOpenAlexFDO

Authors V. Yu. Shavrukov

Publication date 22 September 1993

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(93)90202-o

zbMATH Keywords

complexity measurediagonalizable algebraLindenbaum sentence algebraPAprovability predicateprovably recursive functionsZF

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) Other algebras related to logic (03G25)

Recommendations

• Undecidability in diagonalizable algebras
• scientific article; zbMATH DE number 219032
• Topological structure of diagonalizable algebras and corresponding logical properties of theories
• On the autological character of diagonalizable algebras
• The finite inseparability of the first-order theory of diagonalisable algebras

Cites work

• scientific article; zbMATH DE number 3547370 (Why is no real title available?)
• scientific article; zbMATH DE number 219032 (Why is no real title available?)
• A Machine-Independent Theory of the Complexity of Recursive Functions
• Calculating self-referential statements
• Deduction-preserving "Recursive Isomorphisms" between theories
• Fixed point algebras
• Self-reference and modal logic

Cited in

(8)

• ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS
• Undecidability in diagonalizable algebras
• Topological structure of diagonalizable algebras and corresponding logical properties of theories
• Interpretability over peano arithmetic
• The finite inseparability of the first-order theory of diagonalisable algebras
• Notes on my scientific life
• On a strengthening of the non-isomorphism theorem for provability algebras
• scientific article; zbMATH DE number 109549 (Why is no real title available?)

This page was built for publication: A note on the diagonalizable algebras of PA and ZF

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