scientific article; zbMATH DE number 1354169

zbMath0925.03211MaRDI QIDQ4268484

Jan Krajíček, Pavel Pudlák

Publication date: 28 October 1999

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

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items

Arithmetizing uniform \(NC\), Feasibly constructive proofs of succinct weak circuit lower bounds, On the correspondence between arithmetic theories and propositional proof systems – a survey