FOM: finite axiomatization and conservative extension

Neil Tennant neilt at
Mon Apr 30 16:51:52 EDT 2001

Could any fom-er supply a reference for the earliest proof of a
theorem along the following lines?:

Any r.e. set of sentences in a first-order language L is, for some L*
extending L, the restriction to L of some finitely axiomatizable
theory in L*.

Second question:

Are there any interesting/natural conditions on such r.e. sets that
would force L* to be a language of higher order than L, rather than
merely a first-order extension of L?

Neil Tennant

Neil W. Tennant
Professor of Philosophy and Adjunct Professor of Cognitive Science
230 North Oval
The Ohio State University

More information about the FOM mailing list