scientific article; zbMATH DE number 1354169

zbMATH Open0925.03211MaRDI QIDQ4268484FDOQ4268484

Authors: Jan Krajíček, Pavel Pudlák 

Publication date: 28 October 1999

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cited In (3)

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4268484)