The logic of arithmetical hierarchy

DOI10.1016/0168-0072(94)90063-9zbMath0804.03045OpenAlexW1982073522WikidataQ56144458 ScholiaQ56144458MaRDI QIDQ1315831

Giorgie Dzhaparidze

Publication date: 24 January 1995

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(94)90063-9

zbMATH Keywords

decidabilityprovability logicarithmetical hierarchyaxiomatizationarithmetic complexityPA- provabilitytrue arithmetical sentences

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30)

Cites Work

• Self-reference and modal logic
• Provability interpretations of modal logic
• Sentences implying their own provability
• The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The logic of arithmetical hierarchy