scientific article

zbMath0533.03032MaRDI QIDQ3315507

Pavel Pudlák

Publication date: 1983

Full work available at URL: https://eudml.org/doc/17285

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

exponentiationbounded arithmetical formula

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items (5)

Polynomial-size binary decision diagrams for the exactly half-\(d\)-hyperclique problem reading each input bit twice ⋮ Super-exponentials nonprimitive recursive, but rudimentary ⋮ \(\Delta_ 0\)-complexity of the relation \(y= \prod_{i\leq n} F(i)\) ⋮ The formalization of interpretability ⋮ Combinatorial principles in elementary number theory

This page was built for publication: