Models of Peano Arithmetic

ISBN-13: 9780198532132 / Angielski / Twarda / 1991

Kaye

Recenzje

'Its well-written presentaiton is aimed at a general (mathematical)audience.' P. Schmitt, Monatshefte fur Mathematik

Spis treści

Preface; Background; The standard model; Discretely ordered rings; Gödel incompleteness; The axioms of Peano arithmetic; Some number theory in Peano arithmetic; Models of Peano arithmetic; Collection; Prime models; Satisfaction; Subsystems of Peano arithmetic; Saturation; Initial segments; The standard system; Indicators; Recursive saturation; Suggestions for further reading; Bibliography; Index.