| 1. | Statements made in the metatheory about the theory are called metatheorems.
|
| 2. | A metatheory is a theory whose subject matter is some other theory.
|
| 3. | Andriesse's fluctuation theory is a metatheory for the two mechanisms mentioned.
|
| 4. | In general, a judgment may be any inductively definable assertion in the metatheory.
|
| 5. | Metatheorems, however, are proved externally to the system in question, in its metatheory.
|
| 6. | Also a metatheory is an object of concern to the area in which the individual theory is conceived.
|
| 7. | The " Workshop on Mechanized Metatheory " is the main meeting of researchers participating in the challenge.
|
| 8. | When discussing these issues of consistency strength the metatheory in which the discussion takes places needs to be carefully addressed.
|
| 9. | The first category of metatheory ( M u ), aims at being a means of attaining a deeper understanding of theory.
|
| 10. | The developing dispute became known as the " Gergen-Schlenker debate " and touched topics around the metatheory of social psychology.
|
