The finite inseparability of the first-order theory of diagonalisable algebras

DOI10.1007/BF00403334MaRDI QIDQ795036zbMATH OpenOpenAlexFDO

Authors Craig Smoryński

Publication date 1982

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00403334

zbMATH Keywords

finite inseparabilityfirst order theory of diagonalizable algebrasmodal logic of provabilityprovability predicate for Peano Arithmetic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Undecidability and degrees of sets of sentences (03D35) Logical aspects of Boolean algebras (03G05)

Recommendations

• Undecidability in diagonalizable algebras
• On the autological character of diagonalizable algebras
• On propositional quantifiers in provability logic
• scientific article; zbMATH DE number 219032
• A note on the diagonalizable algebras of PA and ZF

Cites work

• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• Fixed point algebras
• Provability interpretations of modal logic
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• Sentences true in all constructive models
• The undecidability of the first-order theory of diagonalizable algebras

Cited in

(8)

• On the autological character of diagonalizable algebras
• Undecidability in diagonalizable algebras
• A note on the diagonalizable algebras of PA and ZF
• The Lindenbaum fixed point algebra is undecidable
• Fixed point algebras
• Decoding in the automorphism group of a recursively saturated model of arithmetic
• Linear \(\mathrm{GLP}\)-algebras and their elementary theories
• Franco Montagna's work on provability logic and many-valued logic

This page was built for publication: The finite inseparability of the first-order theory of diagonalisable algebras

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