Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking

Documenti analoghi

• An independence of the MIN principle from the PHP principle
  di: Narusevych, Mykyta
  Pubblicazione: (2024)
• Games with backtracking options corresponding to the ordinal analysis of $PA$
  di: Ken, Eitetsu
  Pubblicazione: (2024)
• On matrix rank function over bounded arithmetics
  di: Ken, Eitetsu, et al.
  Pubblicazione: (2023)
• Models of Bounded Arithmetic and variants of Pigeonhole Principle
  di: Narusevych, Mykyta
  Pubblicazione: (2022)
• Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic
  di: Narusevych, Mykyta
  Pubblicazione: (2026)