Giorgie Dzhaparidze

Learn More
Dzhaparidze, G., The logic of arithmetical hierarchy, Formulas of the propositional modal language with the unary modal operators 0, as schemata of sentences of arithmetic (PA), where q A is interpreted as (a formalization of) " A is PA-provable " , X,,A as " A is PA-equivalent to a &-sentence " and &,A as " A is PA-equivalent to a Boolean combination of(More)
  • 1