A note on the diagonalizable algebras of PA and ZF

DOI10.1016/0168-0072(93)90202-OzbMATH Open0780.03027OpenAlexW1985542534MaRDI QIDQ685077FDOQ685077

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

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

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)

Cites Work

• A Machine-Independent Theory of the Complexity of Recursive Functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Self-reference and modal logic
• Deduction-preserving "Recursive Isomorphisms" between theories
• Fixed point algebras
• Calculating self-referential statements

Cited In (8)

• 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
• Title not available (Why is that?)
• ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS

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)