Carnegie Mellon University
Browse

Saturated Models of Universal Theories

Download (197.65 kB)
journal contribution
posted on 2001-01-01, 00:00 authored by Jeremy AvigadJeremy Avigad
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.

History

Publisher Statement

All Rights Reserved

Date

2001-01-01

Usage metrics

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC