Model Theory and Ramsey-Elimination

  • Raimo Tuomela
Part of the Library of Exact Philosophy book series (LEP, volume 10)


In this section we continue to discuss the role of auxiliary concepts in first-order languages, primarily from a semantical (model theoretic) point of view within the frame of theories which are extensions of some observational theories. In Section 2 of this chapter we will be especially interested in the relationships between Craigian and (proof theoretic and model theoretic) Ramseyan eliminability. Our emphasis will in this section be on logical rather than methodological and philosophical questions.


Theoretical Concept Deductive Systematization Original Theory Theoretical Term Conservative Extension 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag/Wien 1973

Authors and Affiliations

  • Raimo Tuomela

There are no affiliations available

Personalised recommendations