Fraenkel–Carnap Questions for Equivalence Relations

&
Australasian Journal of Logic 10:52-66 (2011)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.26686/ajl.v10i0.1825

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Remarks on Uniformly Finitely Precomplete Positive Equivalences.V. Yu Shavrukov - 1996 - Mathematical Logic Quarterly 42 (1):67-82.
On Polynomial-Time Relation Reducibility.Su Gao & Caleb Ziegler - 2017 - Notre Dame Journal of Formal Logic 58 (2):271-285.
The Fraenkel‐Carnap question for Dedekind algebras.George Weaver & Benjamin George - 2003 - Mathematical Logic Quarterly 49 (1):92-96.
Fraenkel-Carnap properties.G. Au George Weaver - 2005 - Mathematical Logic Quarterly 51 (3):285.
Thin equivalence relations and effective decompositions.Greg Hjorth - 1993 - Journal of Symbolic Logic 58 (4):1153-1164.
? 0 N -equivalence relations.Andrea Sorbi - 1982 - Studia Logica 41 (4):351-358.
On Σ1 1 equivalence relations over the natural numbers.Ekaterina B. Fokina & Sy-David Friedman - 2012 - Mathematical Logic Quarterly 58 (1-2):113-124.
Remarks on Uniformly Finitely Precomplete Positive Equivalences.V. Shavrukov - 1996 - Mathematical Logic Quarterly 42 (1):67-82.
Maximal R.e. Equivalence relations.Jeffrey S. Carroll - 1990 - Journal of Symbolic Logic 55 (3):1048-1058.
Classifying positive equivalence relations.Claudio Bernardi & Andrea Sorbi - 1983 - Journal of Symbolic Logic 48 (3):529-538.
A general theory of conservation laws, their violation, and spontaneous phenomena.K. Tahir Shah - 1979 - Foundations of Physics 9 (3-4):271-282.
Infinite Time Decidable Equivalence Relation Theory.Samuel Coskey & Joel David Hamkins - 2011 - Notre Dame Journal of Formal Logic 52 (2):203-228.
Cofinal families of Borel equivalence relations and quasiorders.Christian Rosendal - 2005 - Journal of Symbolic Logic 70 (4):1325-1340.
Simple expansions of classes satisfying Fraenkel-Carnap properties.George Weaver & Irena Penev - 2010 - Bulletin of the Section of Logic 39 (3/4):175-186.
Analytic equivalence relations and bi-embeddability.Sy-David Friedman & Luca Motto Ros - 2011 - Journal of Symbolic Logic 76 (1):243 - 266.

Analytics

Added to PP
2013-12-26

Downloads
16 (#906,812)

6 months
9 (#308,642)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Simple expansions of classes satisfying Fraenkel-Carnap properties.George Weaver & Irena Penev - 2010 - Bulletin of the Section of Logic 39 (3/4):175-186.

Add more citations

References found in this work

Homogeneous and universal dedekind algebras.George Weaver - 2000 - Studia Logica 64 (2):173-192.
Fraenkel-Carnap properties.G. Au George Weaver - 2005 - Mathematical Logic Quarterly 51 (3):285.

View all 8 references / Add more references