On the failure of the weak Beth property
HTML articles powered by AMS MathViewer
- by Richard Gostanian and Karel Hrbáček PDF
- Proc. Amer. Math. Soc. 58 (1976), 245-249 Request permission
Abstract:
A general method for showing the failure of the weak Beth definability property for certain pairs of logics is discussed. Applications are made to the game logic, various infinitary logics and partially ordered quantifier logics.References
- Jon Barwise, Infinitary logic and admissible sets, J. Symbolic Logic 34 (1969), no. 2, 226–252. MR 406760, DOI 10.2307/2271099
- K. Jon Barwise, Absolute logics and $L_{\infty \omega }$, Ann. Math. Logic 4 (1972), 309–340. MR 337483, DOI 10.1016/0003-4843(72)90002-2
- Jon Barwise and Kenneth Kunen, Hanf numbers for fragments of $L_{\infty \omega }$, Israel J. Math. 10 (1971), 306–320. MR 316210, DOI 10.1007/BF02771648 C. C. Chang, Some remarks on the model theory of infinitary languages, Lecture Notes in Math., no. 72, Springer-Verlag, Berlin and New York, 1968, pp. 36-63.
- William Craig, Satisfaction for $n$-th order languages defined in $n$-th order languages, J. Symbolic Logic 30 (1965), 13–25. MR 195685, DOI 10.2307/2270577
- Harvey Friedman, Beth’s theorem in cardinality logics, Israel J. Math. 14 (1973), 205–212. MR 317923, DOI 10.1007/BF02762675 R. Gostanian and K. Hrbacek, Propositional extensions of ${L_{{\omega _1}\omega }}$, Dissertationes Math. (submitted).
- John Gregory, Beth definability in infinitary languages, J. Symbolic Logic 39 (1974), 22–26. MR 354307, DOI 10.2307/2272338 H. J. Keisler, Formulas with linearly ordered quantifiers, Lecture Notes in Math., no. 72, Springer-Verlag, Berlin and New York, 1968, pp. 96-130. G. Kreisel, Review of [5], Math. Rev. 33 (1967), 659-660.
- E. G. K. Lopez-Escobar, On defining well-orderings, Fund. Math. 59 (1966), 13–21. MR 200131, DOI 10.4064/fm-59-1-13-21
- E. G. K. Lopez-Escobar, A non-interpolation theorem, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 17 (1969), 109–112 (English, with Russian summary). MR 242648
- Jerome Malitz, Infinitary analogs of theorems from first order model theory, J. Symbolic Logic 36 (1971), 216–228. MR 290943, DOI 10.2307/2270256
Additional Information
- © Copyright 1976 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 58 (1976), 245-249
- MSC: Primary 02B20; Secondary 02H10, 02B25
- DOI: https://doi.org/10.1090/S0002-9939-1976-0421982-4
- MathSciNet review: 0421982