scientific article; zbMATH DE number 5064946
From MaRDI portal
Publication:5494229
zbMath1108.03055MaRDI QIDQ5494229
Publication date: 17 October 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First-order arithmetic and fragments (03F30) Recursive ordinals and ordinal notations (03F15) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items (13)
The Henkin Sentence ⋮ Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics ⋮ ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM ⋮ AN ESCAPE FROM VARDANYAN’S THEOREM ⋮ PREDICATIVITY THROUGH TRANSFINITE REFLECTION ⋮ Transductions in arithmetic ⋮ On the positive fragment of the polymodal provability logic GLP ⋮ Reflection calculus and conservativity spectra ⋮ On provability logics with linearly ordered modalities ⋮ Unnamed Item ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results ⋮ Topological Interpretations of Provability Logic
This page was built for publication:
