No escape from Vardanyan's theorem

DOI10.1007/s00153-006-0328-0zbMath1096.03072OpenAlexW2094842664MaRDI QIDQ2501168

Maartje de Jonge, Albert Visser

Publication date: 4 September 2006

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/26933

zbMATH Keywords

predicate provability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (6)

Franco Montagna's work on provability logic and many-valued logic ⋮ On predicate provability logics and binumerations of fragments of Peano arithmetic ⋮ AN ESCAPE FROM VARDANYAN’S THEOREM ⋮ ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY ⋮ Predicate Logics of Constructive Arithmetical Theories ⋮ On inclusions between quantified provability logics

Cites Work

• On the provability logic of bounded arithmetic
• The unprovability of small inconsistency. A study of local and global interpretability
• Faith \& falsity
• The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
• On arithmetic complexity of certain constructive logics
• Shavrukov's theorem on the subalgebras of diagonalizable algebras for theories containing \(I\Delta_ 0 + \exp\)
• SOME VARIANTS OF THE NOTION OF REALIZABILITY FOR PREDICATE FORMULAS
• ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS
• Modal analysis of generalized rosser sentences
• THE NONARITHMETICITY OF THE CLASS OF REALIZABLE PREDICATE FORMULAS
• A small reflection principle for bounded arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: No escape from Vardanyan's theorem