On the structure of initial segments of models of arithmetic

DOI10.1007/BF01633984zbMath0678.03026MaRDI QIDQ1123890

Jan Krajíček, Pavel Pudlák

Publication date: 1989

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

complexity classeslength of proof

Mathematics Subject Classification ID

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

Related Items (1)

An addition to Rosser's theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the structure of initial segments of models of arithmetic