FOM: Conservative extensions and consistency: reply to Tragesser

Martin Davis martind at
Wed Oct 7 14:23:10 EDT 1998

I believe the term "conservative extension" was first used by Paul Rosenbloom:

 Rosenbloom, Paul C.
       The elements of mathematical logic. [1st ed.
       New York] Dover Publications, 1950.
       (Series: The Dover series in mathematics and physics)

More information about the FOM mailing list