The Fraenkel-carnap Question for Limited Higher-order Languages

Abstract

In the late 20’s Fraenkel and Carnap raised the question of whether or not all semantically complete finitely axiomatizable theories formulated in the theory of types are categorical. Carnap announced a positive answer to this question. However, that proof was flawed (see Awody and Carus [2001] and Awodey and Reck [2002]). The Fraenkel-Carnap question has… (More)

Topics

Cite this paper

@inproceedings{Weaver2010TheFQ, title={The Fraenkel-carnap Question for Limited Higher-order Languages}, author={George Weaver and Benjamin R. George}, year={2010} }