The Fraenkel-Carnap question for Dedekin
β
George Weaver; Benjamin George
π
Article
π
2003
π
John Wiley and Sons
π
English
β 103 KB
## Abstract It is shown that the secondβorder theory of a Dedekind algebra is categorical if it is finitely axiomatizable. This provides a partial answer to an old and neglected question of Fraenkel and Carnap: whether every finitely axiomatizable semantically complete secondβorder theory is catego