Models with second order properties. III. Omitting types forL(Q) |
| |
Authors: | Saharon Shelah |
| |
Institution: | (1) Department of Mathematics, Hebrew University, Jerusalem, Israel |
| |
Abstract: | We generalize Keisler's omitting types theorem forL(Q) in the 1-interpretation, to most cases in which Chang's two cardinal theorem applies. As an application we answer positively a question of Magidor and Malitz on the compactness of their logic in cardinalities higher than 1. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|