Simple expansions of classes satisfying Fraenkel-Carnap properties
George E. Weaver, Irena Penev · 2010
In the 1920’s Fraenkel and Carnap raised the question of whether or not every nitely axiomatizable semantically complete theory formulated in the theory of types is categorical. The question remains open. Recent papers have provided partial answers to this and a related question for theories formulated in second-order languages. These papers singled out subclasses of interpretations and showed that the second-order theories of members of these classes are categorical, if the theories are nitely axiomatizable. This paper continues the search