Duality between logics and equivalence relations
HTML articles powered by AMS MathViewer
- by Daniele Mundici PDF
- Trans. Amer. Math. Soc. 270 (1982), 111-129 Request permission
Abstract:
Assuming $\omega$ is the only measurable cardinal, we prove: (i) Let $\sim$ be an equivalence relation such that $\sim = { \equiv _L}$ for some logic $L \leqslant {L^{\ast }}$ satisfying Robinson’s consistency theorem (with ${L^{\ast }}$ arbitrary); then there exists a strongest logic ${L^ + } \leqslant {L^{\ast }}$ such that $\sim = { \equiv _{{L^ + }}}$; in addition, ${L^ + }$ is countably compact if $\sim \ne \cong$. (ii) Let $\dot \sim$ be an equivalence relation such that $\sim = { \equiv _{{L^0}}}$ for some logic ${L^0}$ satisfying Robinson’s consistency theorem and whose sentences of any type $\tau$ are (up to equivalence) equinumerous with some cardinal ${\kappa _\tau }$; then ${L^0}$ is the unique logic $L$ such that $\sim = { \equiv _L}$; furthermore, ${L^0}$ is compact and obeys Craig’s interpolation theorem. We finally give an algebraic characterization of those equivalence relations $\sim$ which are equal to ${ \equiv _L}$ for some compact logic $L$ obeying Craig’s interpolation theorem and whose sentences are equinumerous with some cardinal.References
- K. Jon Barwise, Axioms for abstract model theory, Ann. Math. Logic 7 (1974), 221–265. MR 376337, DOI 10.1016/0003-4843(74)90016-3
- C. C. Chang and H. J. Keisler, Model theory, 2nd ed., Studies in Logic and the Foundations of Mathematics, vol. 73, North-Holland Publishing Co., Amsterdam-New York-Oxford, 1977. MR 0532927 S. Feferman, Two notes on abstract model theory. I, Fund. Math. 82 (1974), 153-165.
- J. Flum, First-order logic and its extensions, $\vDash$ISILC Logic Conference (Proc. Internat. Summer Inst. and Logic Colloq., Kiel, 1974) Lecture Notes in Math., Vol. 499, Springer, Berlin, 1975, pp. 248–310. MR 0401465
- Harvey Friedman, One hundred and two problems in mathematical logic, J. Symbolic Logic 40 (1975), 113–129. MR 369018, DOI 10.2307/2271891
- Per Lindström, On extensions of elementary logic, Theoria 35 (1969), 1–11. MR 244013, DOI 10.1111/j.1755-2567.1969.tb00356.x
- J. Donald Monk, Mathematical logic, Graduate Texts in Mathematics, No. 37, Springer-Verlag, New York-Heidelberg, 1976. MR 0465767
- 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, DOI 10.1090/S0002-9947-1979-0546916-0 —, Positive results in abstract model theory (preprint).
- J. A. Makowsky, Saharon Shelah, and Jonathan Stavi, $\Delta$-logics and generalized quantifiers, Ann. Math. Logic 10 (1976), no. 2, 155–192. MR 457146, DOI 10.1016/0003-4843(76)90021-8
- Daniele Mundici, An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman’s fourth problem, J. Symbolic Logic 46 (1981), no. 3, 523–530. MR 627904, DOI 10.2307/2273754
- Daniele Mundici, Robinson’s consistency theorem in soft model theory, Trans. Amer. Math. Soc. 263 (1981), no. 1, 231–241. MR 590421, DOI 10.1090/S0002-9947-1981-0590421-1 —, Compactness $= JEP$ in any logic, Fund. Math. 116 (1982) (to appear).
- Daniele Mundici, Applications of many-sorted Robinson consistency theorem, Z. Math. Logik Grundlagen Math. 27 (1981), no. 2, 181–188. MR 611855, DOI 10.1002/malq.19810271103 —, Compactness, interpolation and Friedman’s third problem (to appear). —, Embeddings, amalgamation and elementary equivalence (to appear).
- Mark E. Nadel, An arbitrary equivalence relation as elementary equivalence in an abstract logic, Z. Math. Logik Grundlagen Math. 26 (1980), no. 2, 103–109. MR 564374, DOI 10.1002/malq.19800260703
Additional Information
- © Copyright 1982 American Mathematical Society
- 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