A simple construction of Robinson equivalence relations
HTML articles powered by AMS MathViewer
- by Daniele Mundici PDF
- Proc. Amer. Math. Soc. 101 (1987), 139-141 Request permission
Abstract:
We present the simplest constructions of nontrivial Robinson equivalence relations.References
- J. Barwise and S. Feferman (eds.), Model-theoretic logics, Perspectives in Mathematical Logic, Springer-Verlag, New York, 1985. MR 819531
- 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
- Paolo Lipparini, Robinson equivalence relations through limit ultrapowers, Boll. Un. Mat. Ital. B (6) 4 (1985), no. 2, 569–583 (English, with Italian summary). MR 805429
- 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, Duality between logics and equivalence relations, Trans. Amer. Math. Soc. 270 (1982), no. 1, 111–129. MR 642332, DOI 10.1090/S0002-9947-1982-0642332-1
- Daniele Mundici, Embeddings, amalgamation and elementary equivalence: the representation of compact logics, Fund. Math. 124 (1984), no. 2, 109–122. MR 774502, DOI 10.4064/fm-124-2-109-122 —, Abstract model theory and nets of ${C^ * }$-algebras: noncommutative interpolation and preservation properties, Lecture Notes in Math., vol. 1103, Springer-Verlag, Berlin and New York, 1984, pp. 351-377.
- Daniele Mundici, Interpretation of AF $C^\ast$-algebras in Łukasiewicz sentential calculus, J. Funct. Anal. 65 (1986), no. 1, 15–63. MR 819173, DOI 10.1016/0022-1236(86)90015-7
- 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 1987 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 101 (1987), 139-141
- MSC: Primary 03C95; Secondary 03C20
- DOI: https://doi.org/10.1090/S0002-9939-1987-0897085-9
- MathSciNet review: 897085