Download PDFOpen PDF in browserTheory Exploration: a role for Model Theory?8 pages•Published: July 28, 2013AbstractThere is an empirical claim that, when exploring amathematical theory, after a succession of key results have been obtained, a point of equilibrium is reached where any query of interest can be resolved by routine reasoning from the results already established. Here is suggested some ways of thinking about the situation, in general. There are at least some situations where we can establish that all results (of a certain shape) will follow by routine reasoning from a small number of key properties. An example is described, and the significance for automated theory exploration discussed. Keyphrases: model theory, saturation, theory exploration In: Jacques Fleuriot, Peter Höfner, Annabelle McIver and Alan Smaill (editors). ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, vol 17, pages 46-53.
|