FOM: Conservative extensions and consistency: reply to Tragesser

Martin Davis martind at cs.berkeley.edu
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)
                             
Martin





More information about the FOM mailing list