Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic

Documenti analoghi

• Models of Bounded Arithmetic and variants of Pigeonhole Principle
  di: Narusevych, Mykyta
  Pubblicazione: (2022)
• An independence of the MIN principle from the PHP principle
  di: Narusevych, Mykyta
  Pubblicazione: (2024)
• Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
  di: Ken, Eitetsu, et al.
  Pubblicazione: (2024)
• On the Decidability of Monadic Theories of Arithmetic Predicates
  di: Berthé, Valérie, et al.
  Pubblicazione: (2024)
• Axiomatizations of Presburger Arithmetic With Predicates For Powers
  di: Hieronymi, Philipp, et al.
  Pubblicazione: (2026)