id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
6969z031n0d	Andrew Peter Arana	Arithmetical investigations: a study of models of arithmetic and purity of methods	2003		.txt	text/plain	279	14	48	In Chapter 2, we investigate the complexity of m-diagrams of models of various completions of PA. In the mathematical part, we focus on computability-theoretic issues concerning models of first-order Peano arithmetic (PA).	cache/6969z031n0d.txt	txt/6969z031n0d.txt