Fraenkel–Carnap Questions for Equivalence Relations

Authors

  • George Weaver Park Science Center, Bryn Mawr College
  • Irena Penev Department of Mathematics, Columbia University

DOI:

https://doi.org/10.26686/ajl.v10i0.1825

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.

Downloads

Download data is not yet available.

Author Biographies

George Weaver, Park Science Center, Bryn Mawr College

Irena Penev, Department of Mathematics, Columbia University

Downloads

Published

2011-05-19