Duality between logics and equivalence relations

Author:
Daniele Mundici

Journal:
Trans. Amer. Math. Soc. **270** (1982), 111-129

MSC:
Primary 03C95

DOI:
https://doi.org/10.1090/S0002-9947-1982-0642332-1

MathSciNet review:
642332

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Assuming is the only measurable cardinal, we prove:

(i) Let be an equivalence relation such that for some logic satisfying Robinson's consistency theorem (with arbitrary); then there exists a strongest logic such that ; in addition, is countably compact if .

(ii) Let be an equivalence relation such that for some logic satisfying Robinson's consistency theorem and whose sentences of any type are (up to equivalence) equinumerous with some cardinal ; then is the unique logic such that ; furthermore, is compact and obeys Craig's interpolation theorem.

We finally give an algebraic characterization of those equivalence relations which are equal to for some compact logic obeying Craig's interpolation theorem and whose sentences are equinumerous with some cardinal.

**[Ba]**K. J. Barwise,*Axioms for abstract model theory*, Ann. Math. Logic**7**(1974), 221-265. MR**0376337 (51:12513)****[CK]**C. C. Chang and H. J. Keisler,*Model theory*, 2nd ed., North-Holland, Amsterdam, 1977. MR**0532927 (58:27177)****[Fe]**S. Feferman,*Two notes on abstract model theory*. I, Fund. Math.**82**(1974), 153-165.**[Fl]**J. Flum,*First-order logic and its extensions*, Lecture Notes in Math., vol. 499, Springer-Verlag, Berlin and New York, 1976, pp. 248-310. MR**0401465 (53:5293)****[Fr]**H. Friedman,*One hundred and two problems in mathematical logic*, J. Symbolic Logic**40**(1975), 113-129. MR**0369018 (51:5254)****[Li]**P. Lindström,*On extensions of elementary logic*, Theoria**35**(1969), 1-11. MR**0244013 (39:5330)****[Mo]**J. D. Monk,*Mathematical logic*, Springer-Verlag, Berlin and New York, 1976. MR**0465767 (57:5656)****[MS]**J. A. Makowsky and S. Shelah,*The theorems of Beth and Craig in abstract model theory*. I:*the abstract setting*, Trans. Amer. Math. Soc.**256**(1979), 215-239. MR**546916 (81b:03041)****[MS1]**-,*Positive results in abstract model theory*(preprint).**[MSS]**J. A. Makowsky, S. Shelah and J. Stavi, -*logics and generalized quantifiers*, Ann. Math. Logic**10**(1976), 155-192. MR**0457146 (56:15362)****[Mu1]**D. Mundici,*An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem*, J. Symbolic Logic**46**(1981), 523-530. MR**627904 (82k:03056)****[Mu2]**-,*Robinson's consistency theorem in soft model theory*, Trans. Amer. Math. Soc.**263**(1981), 231-241. MR**590421 (82d:03063)****[Mu3]**-,*Compactness**in any logic*, Fund. Math.**116**(1982) (to appear).**[Mu4]**-,*Applications of many-sorted Robinson consistency theorem*, Z. Math. Logik Grundlagen Math.**27**(1981), 181-188. MR**611855 (82k:03057)****[Mu5]**-,*Compactness, interpolation and Friedman's third problem*(to appear).**[Mu6]**-,*Embeddings, amalgamation and elementary equivalence*(to appear).**[Na]**M. E. Nadel,*An arbitrary equivalence relation as elementary equivalence in abstract logic*, Z. Math. Logik Grundlagen Math.**26**(1980), 103-109. MR**564374 (82g:03070)**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
03C95

Retrieve articles in all journals with MSC: 03C95

Additional Information

DOI:
https://doi.org/10.1090/S0002-9947-1982-0642332-1

Article copyright:
© Copyright 1982
American Mathematical Society