Fraenkel-Carnap properties
George E. Weaver, Benjamin R. George · Mathematical logic quarterly · 2005
In the 1920's Fraenkel and Carnap raised the question of whether or not every finitely axiomatizable semantically complete theory formulated in the theory of types is categorical. Partial answers to this and a related question are presented for theories formulated in second-order logic. (© 2005 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)