Switch to: References

Add citations

You must login to add citations.
  1. The two-cardinal problem for languages of arbitrary cardinality.Luis Miguel & Villegas Silva - 2010 - Journal of Symbolic Logic 75 (3):785-801.
    Let ℒ be a first-order language of cardinality κ++ with a distinguished unary predicate symbol U. In this paper we prove, working on L, the two cardinal transfer theorem (κ⁺,κ) ⇒ (κ++,κ⁺) for this language. This problem was posed by Chang and Keisler more than twenty years ago.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Model theory of the regularity and reflection schemes.Ali Enayat & Shahram Mohsenipour - 2008 - Archive for Mathematical Logic 47 (5):447-464.
    This paper develops the model theory of ordered structures that satisfy Keisler’s regularity scheme and its strengthening REF ${(\mathcal{L})}$ (the reflection scheme) which is an analogue of the reflection principle of Zermelo-Fraenkel set theory. Here ${\mathcal{L}}$ is a language with a distinguished linear order <, and REF ${(\mathcal {L})}$ consists of formulas of the form $$\exists x \forall y_{1} < x \ldots \forall y_{n} < x \varphi (y_{1},\ldots ,y_{n})\leftrightarrow \varphi^{ < x}(y_1, \ldots ,y_n),$$ where φ is an ${\mathcal{L}}$ -formula, φ (...))
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations