Fraenkel–Carnap Questions for Equivalence Relations
Abstract
An equivalence is a binary relational system A = (A,ϱA) where ϱA is an equivalence relation on A. A simple expansion of an equivalence is a system of the form (Aa1…an) were A is an equivalence and a1,…,an are members of A. It is shown that the Fraenkel-Carnap question when restricted to the class of equivalences or to the class of simple expansions of equivalences has a positive answer: that the complete second-order theory of such a system is categorical, if it is finitely axiomatizable.
Published
2011-05-19
How to Cite
WEAVER, George; PENEV, Irena.
Fraenkel–Carnap Questions for Equivalence Relations.
The Australasian Journal of Logic, [S.l.], v. 10, may 2011.
ISSN 1448-5052.
Available at: <https://ojs.victoria.ac.nz/ajl/article/view/1825>. Date accessed: 21 feb. 2019.
doi: https://doi.org/10.26686/ajl.v10i0.1825.
Section
Articles