Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 

 

On the failure of the weak Beth property


Authors: Richard Gostanian and Karel Hrbáček
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
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

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 [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 02B20, 02H10, 02B25

Retrieve articles in all journals with MSC: 02B20, 02H10, 02B25


Additional Information

DOI: https://doi.org/10.1090/S0002-9939-1976-0421982-4
Article copyright: © Copyright 1976 American Mathematical Society