Date of Original Version

2001

Type

Article

Published In

Annals of Pure and Applied Logic (2002), 118: 219-234.

Rights Management

All Rights Reserved

Abstract or Table of Contents

A notion called Herbrand saturation is shown to provide the model-theoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a number of important conservation theorems. A constructive, algebraic variation of the method is described, providing yet a third approach, which is finitary but retains the semantic flavor of the model-theoretic version.

Included in

Philosophy Commons

Share

COinS