## Chain Logic and Shelah's Infinitary Logic

Mirna Džamonja ( mdzamonja@irif.fr ) IRIF (CNRS &amp; Université de Paris) 8 Place Aurélie Némours, 75205 Paris Cedex 13, France and

Jouko Väänänen ( jouko.vaananen@helsinki.fi ) Department of Mathematics University of Helsinki, Helsinki, Finland, and Institute for Logic, Language and Computation University of Amsterdam, Netherlands

July 22, 2021

## Abstract

For a cardinal of the form κ = /beth κ , Shelah's logic L 1 κ has a characterisation as the maximal logic above ⋃ λ&lt;κ L λ,ω satisfying a strengthening of the undefinability of well-order. Karp's chain logic [19] L c κ,κ is known to satisfy the undefinability of well-order and interpolation. We prove that if κ is singular of countable cofinality, Karp's chain logic [19] is above L 1 κ . Moreover, we show that if κ is a strong limit of singular cardinals of countable cofinality, the chain logic L c &lt;κ,&lt;κ = ⋃ λ&lt;κ L c λ,λ is a maximal logic with chain models to satisfy a version of the undefinability of well-order.

We then show that the chain logic gives a partial solution to Problem 1.4. from Shelah's [28], which asked whether for κ singular of countable cofinality there was a logic strictly between L κ + ,ω and L κ + ,κ + having interpolation. We show that modulo accepting as the upper bound a model class of L κ,κ , Karp's chain logic satisfies the required properties. In addition, we show that this chain logic is not κ -compact, a question that we have asked on various occasions. We contribue to further development of chain logic by proving the Union Lemma and identifying the chain-independent fragment of the logic, showing that it still has considerable expressive power.

In conclusion, we have shown that the simply defined chain logic emulates the logic L 1 κ in satisfying interpolation, undefinability of wellorder and maximality with respect to it, and the Union Lemma. In addition it has a completeness theorem. 1

## 1 Introduction

In 2012 Saharon Shelah [28] introduced the logic L 1 κ , defined for κ such that κ = /beth κ . The motivation was to find a strong logic which has many nice properties of first order logic, such as Interpolation, and which moreover, like first order logic, has a model-theoretic characterisation in the style of Lindström. Lindström characterised [22] first order logic as the maximal abstract logic (a notion defined precisely below) satisfying the Downward Löwenheim-Skolem theorem to ℵ 0 and Compactness. In spite of the abundance of abstract logics discovered in the 1960s and 1970s, rare are those that generalise first order logic and have a characterisation of this type. Search for logics with Lindström-style characterisation is an active area of research, where positive results were obtained in contexts either far from or weaker than first order logic, including various versions of modal logic [9],[34], [21], [13], [14], [37], or for fragments of first order logic [35]. Further examples and references are in [31].

Shelah proved (Theorem 3.4 in [28]) that L 1 κ has such a characterisation, namely it is the maximal logic which is above ⋃ λ&lt;κ L λ,ω and which satisfies a strong form of the Undefinability of Well Order, called SUDWO. This characterisation makes L 1 κ a very special infinitary logic, having a rare property

1 We thank Stamatis Dimopoulos and Will Boney for discussion involving the comparison of the chain logic and the logic L κ,ω . Mirna Džamonja gratefully acknowledges the help of Leverhulme Trust through research Fellowship 2014-2015, the University of Helsinki for their hospitality in October 2014 and June 2016 and the School of Mathematics, University of East Anglia where she was a Professor of Mathematics when this paper was written. She received funding from the European Union Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No 1010232 and from the GAČR project EXPRO 20-31529X and RVO: 67985840 of the Czech Academy of Sciences. Jouko Väänänen was supported by the Faculty of Science of the University of Helsinki, the Academy of Finland grant 322795, and the European Research Council Advanced Grant No 101020762.

Keywords: singular cardinal, strong undefinability of well order, L 1 κ , chain models, abstract logic.

MSC 2010 Classification: 03C95, 03C85, 03E75.

that was not previously known for any classical extension of first order logic.

A feature of Shelah's logic is that it is defined via its elementary equivalence relation. In fact, no syntax is known for this logic in the sense of the syntax of logics such as L κ,λ . For a long time this has been a block for further study of L 1 κ , as it rendered the logic very complicated. In this work we combat that by giving another view of L 1 κ , which makes it rather clear what the advantages and disadvantages of that logic are. At the moment of writing this paper, there are several preprints or work in preparation which study L 1 κ . In the preprint [27], Shelah proves that for κ a strongly compact cardinal, two given models A and B are L 1 κ -equivalent iff for some ω -sequence ¯ U of ( &lt; κ ) -complete ultrafilters, the iterated ultrapowers of A and B by ¯ U are isomorphic. In joint yet unpublished work with A. Villaveces [33] the second author has introduced a fragment of L 1 κ , which does have a simple syntax and which comes within the so called ∆ -extension of L 1 κ . In joint but as yet unpublished work with B. Veličković [32] the second author has introduced a strengthening of L 1 κ which has a syntax in the usual sense and which is equivalent to L 1 κ in the case that κ = /beth κ .

Coming back to the motivation for L 1 κ , it had became apparent early on that infinitary logics beyond L ω ,ω 1 do not permit a Completeness theorem or an Interpolation theorem in the same sense as first order logic. Already in 1964, Carol Karp introduced the concept of a chain model and showed, in cooperation with her students Ellen Cunningham and Judy Green, see [8] and [17], that for κ strong limit of cofinality ω , the infinitary logic L κκ behaves quite nicely in chain models. In particular, they proved a Completeness theorem and the Interpolation theorem for chain logic. The main point about chain logic which allows it to have many nice properties, is that the notion of a model is changed to the notion of a chain model (see Definition 3.1). The price we pay is that the notion of isomorphism is also changed, being replaced by the notion of chain-isomorphism (see Definition 3.1). However, both the notion of chain model and the chain isomorphism are rather simple and are also well studied in the literature, as is seen by the various references we quote, starting from [19].

The advantage of chain logic is that its syntax is the same as the syntax of the classical L κ,κ . The difference is in the concept of a model. Our purpose in this paper is to establish the mutual relationships between different chain logics and Shelah's logic. The main difficulty is that chain logic and L 1 κ are based on a different concept of a model, chain versus the classical model. However, accepting the notion of a chain model, the logic L c κ,κ has syntax,

Interpolation, Undefinability of Well Order (UDWO) and an associated EF -game. Moreover, coming back to Lindström-style characterisations, we prove that chain logic also has it, in an appropriate sense ! Namely, at strong limits of singular cardinals of countable cofinality, chain logic L c &lt;κ,&lt;κ = ⋃ λ&lt;κ L c &lt;λ,&lt;λ is also characterised as a maximal logic with UDWO. In fact, the only known property of L 1 κ for which it is not known if L c &lt;κ,&lt;κ has it, or if it even makes sense to require it, is SUDWO. SUDWO is a strengthening of UDWO by an extra property that Shelah calls an 'a posteriori' property, meaning that its definition is motivated by the proof of the characterisation theorem. We now explain some of our findings, which among other things suggest that SUDWO is strictly stronger than UDWO.

For κ singular of countable cofinality satisfying κ = /beth κ (such as the first fixed point of the /beth -hierarchy), we prove that the chain logic L c κ,κ of [19] is above L 1 κ in the Chu order and that this is in some sense strict. The Chu order extends the one used in the characterisations above (Theorem 5.7 and Theorem 5.9). Our work also gives that chain logic provides a solution to Problem 1.4. from [28], which was one of the motivations for L 1 κ :

Problem 1.4. from [28] : Suppose that κ is a singular strong limit cardinal of countable cofinality. Is there a logic between L κ + ,ω and L κ + ,κ which satisfies Interpolation?

Our Corollary 7.13 shows that modulo replacing L κ + ,κ = L κ,κ (since κ is singular, see Observation 1.4) by a model class of L κ,κ , the chain logic has the required properties. The logic L 1 κ , although it has Interpolation, does not solve this problem, because it is not above L κ + ,ω (it is above ⋃ λ&lt;κ L λ,ω ).

As one of our main findings, we show that the chain logic has a Lindströmstyle characterisation as the maximal to satisfy UDWO, where UDWO and maximality are interpreted in the appropriate sense, Theorem 6.11. We also show (Theorem 7.3) that chain logic is not κ -compact, resolving a question about this logic which we have asked on numerous occasions.

The final part of our paper contributes to the further development of chain logic by proving the Union Lemma and identifying the chain-independent fragment of the logic, which surprisingly still has a lot of expressive power.

## 1.1 Organisation, background and notation

The paper is organised as follows. §1 describes the motivation and the main result, after which it gives the mathematical background and notation. §2 defines one of the main tools of the paper, which are Chu transforms, to be

used in later sections for comparing various abstract logics. §3 introduces chain logic and its basic properties, and locates it between L κ,ω and a model class of L κ,κ . §4 introduces Shelah's logic L 1 κ . The main results on comparing chain logic and L 1 κ are found in §5. The characterisation of chain logic as the maximal chain logic to satisfy UDWO is in §6. Further results about chain logic appear in §7. §8 contains some concluding remarks.

Throughout the paper τ denotes a fixed relational language of countable size which in some contexts may be enriched with up to κ constant symbols, for some fixed cardinal κ to be specified. The arity of the relation symbols is always assumed to be &lt; κ . When we wish to discuss different languages at the same time, we may also use the term 'vocabulary' to denote each of them. The words 'model of τ ' refer to non-empty sets equipped with the interpretation of the symbols of τ . The concept of a model, sometimes also called a 'structure', refers to models of τ in which we have also interpreted the satisfaction relation of the logic we are working with.

For simplicity, we work with a singular cardinal κ of countable cofinality and a cofinal strictly increasing sequence 〈 κ n : n &lt; ω 〉 of cardinals with limit κ .

We study various logics simultaneously, so it is useful to have an abstract definition of a logic. From [15]:

Definition 1.1 A logic is a triple of the form L = ( L, | = L , S ) where | = L ⊆ S × L and S comes with a notion of isomorphism, usually understood from the context. We think of L as the set or class of sentences of L , S as a set or class of models of L and of | = L as the satisfaction relation. The classes L and S can be proper classes. If the rest is clear from the context, we often identify L with L .

To be able to use the context of [28], we need to assume some additional properties of the logics in question. Following Shelah's notation we define:

Definition 1.2 A logic ( L, | = L , S ) is nice iff it satisfies the following requirements:

- · for any n -ary relation symbol P and constant symbols c , . . . c 0 n -1 in τ , P c , . . . c [ 0 n -1 ] is a sentence in L ,
- · L is closed under negation, conjunction and disjunction,
- · for any ϕ ∈ L and M ∈ S , M /notsatisfies L ϕ if and only if M | = L ¬ ϕ ,

- · M | = L ϕ 1 ∧ ϕ 2 iff M | = L ϕ 1 and M | = L ϕ 2 , and similarly for disjunction,
- · for any M ∈ S , a ∈ M and a sentence ψ a [ ] ∈ S such that M | = L ψ a [ ] , we have that M | = L ( ∃ x ψ x ) ( ) , and conversely, if M | = L ( ∃ x ψ x ) ( ) then there is a ∈ M such that M | = L ψ a [ ] ,
- · if M 0 and M 1 are isomorphic models of τ , by some isomorphism f , and if both M ,M 0 1 are in S , then for every ϕ ∈ L we have M 0 | = L ϕ a , . . . a [ 0 n 1 ] iff M 1 | = L ϕ f [ ( a 0 ) , . . . f ( a n 1 )] .

Remark. In this paper we deal with the logics of the form L λ,θ , the chain logics L c κ,κ and L c, ∗ κ,κ , and Shelah's logic L 1 κ . They are all nice logics (a fact that is not trivial for Shelah's logic but is proved in Claim 2.7(1) of [28]), except that the closure under isomorphism in L c, ∗ κ,κ and * L c κ,κ has to be replaced by the closure under chain isomorphism (Definition 3.1). We also note that our investigation will include non-standard interpretations of | = , see for example equation (1), to be found a couple of paragraphs above Definition 3.2.

Definition 1.3 L is ( θ, λ ) -compact if every set of ≤ θ sentences of L such that every subset of size &lt; λ has a model (in S ), itself has a model (in S ). L is λ -compact if it is ( θ, λ ) -compact for all θ .

Our notation follows that of [12]. 2

We shall often discuss logics of the form L λ,θ , in which sentences are formed as in the case of first order logic, but we are allowed to use conjunctions and disjunctions of length &lt; λ and strings of &lt; θ existential quantifiers. The following is a well-known observation about such logics.

Observation 1.4 If λ is a singular cardinal, then every L λ + ,θ sentence is expressible in an equivalent form as an L λ,θ sentence.

Proof. The proof is by induction on the complexity of the sentence, where ∨ i&lt;λ ϕ i is translated into ∨ j&lt; cf( λ ) ∨ i&lt;λ j ϕ i for an increasing sequence of cardinals 〈 λ j : j &lt; cf( λ ) 〉 converging to λ . /star 1 4 .

2 Some authors denote what we call λ -compactness by strong λ -compactness.

## 2 Comparison between logics and Chu transforms

We develop a general approach for comparing logics by using the notion of Chu spaces. This notion, studied in category theory (cf. [2] and [6]) has proven useful in computer sciences and generalised logic. A simple way to understand the purpose of Chu tranforms in logic is to recognise that they really are a somewhat more sophisticated version of interpretability of one logic in anotehr. A similar notion to ours was studied in [15, Definition 2.2]. 3 The main difference with our definition is in the density condition below. We give Observation 2.5 as a version of Lemma 2.3 of [15].

Definition 2.1 A Chu space over a set K is a triple ( A, r, X ) where A is a set of points, X is a set of states and the function r : A × X → K is a K -valued binary relation between the elements of A and the elements of X . When K = { 0 1 , } we just speak of Chu spaces and r becomes a 2-valued relation.

A Chu transform between Chu spaces ( A, r, X ) and ( A,r, X ′ ′ ′ ) over the same set K is a pair of functions ( f, g ) where f : A → A ′ , g : X ′ → X and the adjointness condition r ′ ( f ( a , x ) ′ )) = r a, g ( ( x ′ )) holds.

We consider abstract logics ( L, | = , S ) (see Definition 1.1) as Chu spaces and we use the following notion of Chu transforms to quasi-order abstract logics.

Definition 2.2 We say that ( L, | = , S ) ≤ ( L , ′ | = ′ , S ′ ) if there is a Chu transform ( f, g ) between ( L, | = , S ) and ( L , ′ | = ′ , S ′ ) such that the range of g is dense in the following sense:

- · for every φ ∈ L for which there is s ∈ S with s | = φ , there is s ′ ∈ S ′ with g s ( ′ ) | = φ .

For example, any g which is onto will satisfy the density condition.

Observation 2.3 The relation ≤ introduced in Definition 2.2 is reflexive and transitive.

3 We note that in the area of cardinal invariants in set theory of the reals and topology, similar reductions were introduced by Vojtáš in [36].

Therefore Chu transformations provide a partial order among logics. This order preserves and reflects many properties of the logics being compared. An important one is illustrated by the following one, observed by Francesco Parente [25] as a comment on an earlier draft of this paper.

Observation 2.4 (Parente [25]) Suppose that ( L, | = , S ) and ( L , ′ | = ′ , S ′ ) are nice logics and that ( L, | = , S ) ≤ ( L , ′ | = ′ , S ′ ) . Then, for any boolean combination ϕ of ψ , . . . , ψ 0 n in L f ϕ , ( ) is L ′ -equivalent to the corresponding boolean combination of f ( ψ 0 ) , . . . , f ( ψ n ) .

Proof. It suffices to show the claim for ¬ and an arbitrary ∧ . Let ϕ ∈ L , then for every M ′ ∈ S ′ we have

$$M ^ { \prime } \models ^ { \prime } f ( \neg \varphi ) \iff g ( M ^ { \prime } ) \models ( \neg \varphi ) \iff$$

⇐⇒ not g M ( ) | = ϕ ⇐⇒ not M | = f ( ϕ ) ⇐⇒ M | = ¬ f ( )

Let Φ ⊆ L be such that Φ exists in L . Then for every M ∈ S

′ ′ ′ ′ ′ ϕ . ∧ ′ ′ ,

$$M ^ { \prime } \models ^ { \prime } f ( & \bigwedge \Phi ) \iff g ( M ^ { \prime } ) \models \bigwedge \Phi \iff \text{ for each } \varphi \in \Phi, \ g ( M ^ { \prime } ) \models \varphi \\ & \iff \text{ for each } \varphi \in \Phi, \ M ^ { \prime } \models ^ { \prime } f ( \varphi ) \iff M ^ { \prime } \models ^ { \prime } \bigwedge _ { \varphi \in \Phi } f ( \varphi ). \tilde { \kappa } _ { 2. 4 }$$

Chu transforms also preserve compactness. The proof below is typical for many preservation properties of these transforms.

Observation 2.5 Suppose that ( L, | = , S ) ≤ ( L , ′ | = ′ , S ′ ) and ( L , ′ | = ′ , S ′ ) is compact. Then so is ( L, | = , S ) .

Proof. Let ( f, g ) be the Chu transform which witnesses ( L, | = , S ) ≤ ( L , ′ | = ′ , S ′ ) . Suppose that Σ ⊆ L is finitely satisfiable and let Σ = ′ { f ( ϕ ) : ϕ ∈ Σ } . We now claim that Σ ′ is finitely satisfiable. Any finite Γ ′ ⊆ Σ ′ is of the form { f ( ϕ ) : ϕ ∈ Γ } for some finite Γ ⊆ Σ . Therefore there is M ∈ S with M | = ϕ for all ϕ ∈ Γ . Since g is not necessarily onto, we cannot use it to obtain from M an element of S ′ .

However, ∧ Γ is a sentence of L , by closure under conjunctions. Since | = satisfies Tarski's definition of truth for quantifier-free formulas, the fact that M | = ϕ for all ϕ ∈ Γ implies M | = ∧ Γ . By the density requirement

on g , there is M ′ ∈ S ′ such that g M ( ′ ) | = ∧ Γ and hence M ′ | = ′ f ( ∧ Γ) . By the preservation of the logical operations by f , we have that f ( ∧ Γ) is L ′ -equivalent to ∧ ϕ ∈ Γ f ( ϕ ) , so that M ′ | = ′ f ( ϕ ) for all ϕ ∈ Γ and M ′ | = Γ ′ ′ . Thus Γ ′ is finitely satisfiable in S ′ , which by the assumption implies that there is N ′ ∈ S ′ with N ′ | = Σ ′ . Therefore g N ( ′ ) | = Σ . /star 2 5 .

With slight modifications the proof of Observation 2.5 goes through for the higher degrees of compactness:

Corollary 2.6 Suppose that ( L, | = , S ) ≤ ( L , ′ | = ′ , S ′ ) as witnessed by a pair ( f, g ) . Suppose that the following conditions are satisfied:

- 1. L, L ′ are closed under conjunctions of &lt; λ sentences,
- 2. | = satisfies Tarski's definition of truth for quantifier-free formulas, including conjunctions and disjunctions of size &lt; λ ,
- 3. f preserves conjunctions and disjunctions of size &lt; λ , in the sense of Observation 2.4.

Then, for any θ , if ( L , ′ | = ′ , S ′ ) is ( λ, θ ) -compact, so is ( L, | = , S ) .

We consider two logics L and L ′ equivalent if L ≤ L ′ and L ′ ≤ L . For the purpose of studying various properties of logics, which is our main concern, once we prove that the relevant property is preserved by a Chu transform, two equivalent logics are the same with respect to that property. One such property is compactness, as we proved in Observation 2.5.

## 3 Chain logic

In [11] the authors explored Karp's notion of a chain model and the associated model theory of L κ,κ based on that concept. The definition used in [11] was as follows.

Definition 3.1 A chain model (of length µ ) consists of a model A and a sequence 〈 A α : α &lt; µ 〉 , called a chain . It is assumed that A = ⋃ α&lt;µ A α , and that 〈 A α : α &lt; µ 〉 is an increasing sequence of sets 4 satisfying | A α | &lt; A | | for each α . A chain isomorphism between A and B is an isomorphism f :

4 hence, automatically, models of τ , since τ is relational

A → B such that for all α the image of A α is contained in some B β and, conversely, the preimage of any B α is contained in some A β . If there is a chain isomorphism between A and B we write A ∼ = c B .

Notice that the decomposition of a model A into a chain is not required to be elementary. The instance that we study specifically is µ = ω , when we shall often write A = ( A n n&lt;ω ) . The defining feature of chain models is the following modification of the truth definition of L λ,κ , given by the induction on complexity of ϕ . For quantifier-free sentences, the notions of | = and | = c agree, and the quantifier case is covered by the following:

$$( A _ { n } ) _ { n < \omega } & \models ^ { c } \exists \bar { x } \varphi ( \bar { x } ) \iff \text{there are } n < \omega \text{ and } \bar { a } \in A _ { n } ^ { < \kappa } \text{ with } ( A _ { n } ) _ { n < \omega } \models \varphi [ \bar { a } ], \\ \cdot \quad - \cdot \quad \epsilon \cdot \quad \epsilon \cdot \quad \epsilon \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \end{cases}$$

where ¯ x is a sequence of length &lt; κ . If we restrict our attention to chain models, the model theory of L κ,κ (equivalently L κ + ,κ as κ is singular) is very much like that of L ω ,ω 1 . Karp proved several theorems about chain logic, and further results by various authors are the undefinability of well order UDWO (Makkai [23], [7]), Craig Interpolation Theorem, Beth Definability Theorem ([8]), and an extension of Scott's analysis of countable models to chain models of size κ (which is the contribution of [11]). 5 Various kinds of chain models and their interaction are presented in §3.1 below.

One can use the concept of a chain model to study other logics besides L κ,κ , adapting the truth definition from (1) accordingly, and in fact this was Karp's approach. See [8] for a historical overview.

Definition 3.2 For a logic L , we shall denote by L c the logic obtained from L by changing the truth definition to use the notion of a chain model, as in (1). Some details of this passage might depend on the logic, in which case we specify it in the context. We only consider chain models of countable length.

## 3.1 Various kinds of chain models

As mentioned in the introduction, Definition 3.1 permits several modifications. We specify them in the following definition.

5 More historical details and comparisons with the classical L κ,κ can be found in [11].

Definition 3.3 (1) A weak chain model consists of a model A of L and a sequence 〈 A n : n &lt; ω 〉 of subsets of A , called a chain , where the only assumption that is made is that for all n &lt; ω , A n ⊆ A n +1 and A = ⋃ n&lt;ω A n .

We denote such a weak chain model as ( A n n&lt;ω ) . If the meaning is clear from the context, we may just use 'chain model" for 'weak chain model". (2) (equivalent to Definition 3.1) A chain model of strict power at most κ is a weak chain model ( A n n&lt;ω ) where for each n , | A n | &lt; A | | and | A | ≤ κ . (3) A proper chain model is a weak chain model ( A n n&lt;ω ) where for each n , | A n | &lt; A | n +1 | .

Observation 3.4 (1) Any ordinary model A is a weak chain model, where all elements are the same set, the universe of A . In particular, weak chain models exist in all cardinalities.

- (2) The cardinality requirements on proper chain models mean that such models can only exist in cardinals of countable cofinality.
- (3) Every chain model ( A n n&lt;ω ) of strict power at most κ gives rise to a chainisomorphic proper chain model of the form ( A k n ) n&lt;ω , obtained by a passing to a subsequence of 〈 A n : n &lt; ω 〉 .

We give a simple example showing that the truth in chain models depends on the choice of the chain, namely we produce two chain models ( A n n&lt;ω ) and ( B n n&lt;ω ) with ⋃ n&lt;ω A n = ⋃ n&lt;ω B n , and a sentence ϕ true in ( A n n&lt;ω ) but false in ( B n n&lt;ω ) .

Example 3.5 Let L = { &lt; } , where &lt; is a binary relation symbol. Let A be the model of L represented by the lexicographic sum of 〈 κ n : n &lt; ω ∗ 〉 , so each κ n is ordered as the corresponding ordinal and for m &lt; n &lt; ω we have that the block κ m is above the block κ n . We can see this sum as consisting of pairs ( α, n ) where n &lt; ω and α &lt; κ n , ordered by ( α, n ) &lt; β,m ( ) if m &lt; n or if m = n and α &lt; β .

Let us choose a sequence 〈 α n : n &lt; ω 〉 so that α n ∈ κ n , hence the sequence 〈 ( α , n n ) : n &lt; ω 〉 is &lt; -decreasing in A . Let ϕ be the L κ,κ sentence

$$( \exists x _ { 0 } ) ( \exists x _ { 1 } ) \dots ( \exists x _ { n } ) \dots \bigwedge _ { n < \omega } ( x _ { n + 1 } < x _ { n } ).$$

Let A 0 = { ( α , n n ) : n &lt; ω } ∪ κ 0 ×{ } 0 and for n &gt; 0 let A n = κ n ×{ } ∪ n ⋃ k&lt;n A k . For n &lt; ω let B n = ⋃ k ≤ n κ k ×{ } k . Then ( A n n&lt;ω ) | = c ϕ while ( B n n&lt;ω ) | = c ¬ ϕ .

Convention 3.6 (1) Let M c stand for the class of proper chain models and let M c, ∗ stand for the class of all weak chain models.

- (2) The class of ordinary models is denoted by M and the class of ordinary models of size λ by M λ .
- (3) Let L c λ,κ = ( L λ,κ , | = c , M c ) and let L c, ∗ λ,κ = ( L λ,κ , | = c , M c, ∗ ) .
- (4) We use the usual notation L λ,θ to denote the logic ( L λ,θ , | = , M ) .

Observation 3.7 Modulo replacing the closure under isomorphisms in the last item of Definition 1.2 by the closure under chain isomorphisms, the logics L c κ,κ and L c, ∗ κ,κ are nice logics.

## 3.2 Comparison with L κ,ω and L κ,κ

We start with the following easy observation.

Observation 3.8 (Karp) (1) Every formula of the logic L λ,ω is a formula of L c λ,κ and equally of L c, ∗ λ,κ and on such formulas the notions of | = and | = c agree. Formulas of L λ,κ are also formulas of L c λ,κ , but then the notions | = and | = c do not necessarily agree.

- (2) Suppose that ϕ is a sentence in L λ,ω . Let A be a (weak, proper) chain model with a decomposition ( A n n&lt;ω ) . Then A is a model of ϕ iff ( A n n&lt;ω ) is a (weak, proper) chain model of ϕ .

## Proof. (1) By definition.

- (2) By induction on the complexity of ϕ . If ϕ is quantifier-free then the definition of | = c ϕ is the same as that of | = ϕ . Suppose that φ ≡ ∃ ( x ψ x ) ( ) . If A | = ϕ then there is a witness x in some A n and hence ( A n n&lt;ω ) | = c ϕ . The other direction is similar. /star 3 8 .

The following Theorem 3.9 is the reason that (weak) chain logic is not κ -compact, as we shall see in Corollary 7.1.

## Theorem 3.9 (1) L κ,ω ≤ L c, ∗ κ,κ .

- (2) If κ is a strong limit cardinal then ( L κ,ω , | = , M ≥ κ ) ≤ L c κ,κ , where M ≥ κ stands for models of size ≥ κ .
- (3) ( L c, ∗ κ,κ , | = c , M ≤ c κ ) L c κ,κ , where M c ≥ κ stands for weak chain models of size ≥ κ .

Proof. (1) Let f be the identity function and let g (( M n n&lt;ω ) ) = ⋃ n&lt;ω M n . Notice that g is onto. By Observation 3.8 we have that ( f, g ) is a Chu transform witnessing the announced inequality.

(2) The pair ( f, g ) as above will still be a Chu transform, but it is not immediate that g satisfies the density condition as it now acts only on proper chain models, so models of size κ or some other singular cardinal of countable cofinality. The conclusion uses a downward Lowenheim-Skolem theorem for L κ,ω that holds in the following form and which uses the assumption that κ is a strong limit (see Theorem 3.4.1 in [10]):

Lemma 3.10 Assume that κ is a strong limit cardinal. Then any sentence ϕ of L κ,ω that has a model of size ≥ κ also has a model of size κ .

The lemma immediately implies the density of g , since any model of L κ,ω of size κ can be represented as a proper chain model and the two will satisfy the same sentences by Observation 3.8(2).

(3) This time we take both f and g to be the identity functions. The adjointness property is easily verified, but the density condition needs an argument. It will be provided by Corollary 2.5 of [8], which is a Downward LowenheimSkolem theorem for the chain logic. It states that every L κ,κ -sentence which has a chain model, must have a strict chain model of power at most κ .

So suppose that an L κ,κ -sentence ϕ has a chain model of ( A n n&lt;ω ) of power at least κ , but this model is not necessary a strict chain model of size κ . Notice that | A n | must converge at least to κ , therefore for any sequence of cardinals 〈 κ n : n &lt; ω 〉 with supremum κ , for every n , there will be A m with | A m | ≥ κ n . Hence the sentence

/negationslash

$$\theta _ { n } \equiv ( \exists _ { i < \kappa _ { n } } x _ { i } ) \forall _ { i, j < \omega } [ x _ { i } \neq x _ { j } ]$$

is true in the chain model ( A n ) n&lt;ω and so is the conjunction θ ≡ ∧ n&lt;ω θ n . This shows that the sentence ϕ ∧ θ has a chain model and hence by the Downward Lowenheim-Skolem theorem for the chain logic, we have that ϕ ∧ θ must have a strict chain model ( B n n&lt;ω ) of power at most κ . The definition of of θ m implies that for every n , the model ( B n n&lt;ω ) must have size at least κ m . Putting this together, we get that ( B n n&lt;ω ) has power exactly κ , and therefore ( B n n&lt;ω ) = g (( B n n&lt;ω ) ) is in the range of g and a model of ϕ . /star 3 9 .

## 4 Shelah's Lκ 1

In this section we recall the definition and basic properties of Shelah's logic L 1 κ as defined in [28]. Throughout this section we assume that κ = /beth κ , not necessarily singular.

Before defining L 1 κ we define its elementary equivalence by means of a game. The game is called the 'borrowing game", BG , because the partitions into ω many blocks given by the functions h n let us 'borrow" the time in which we have to 'repay" the promise of constructing a partial isomorphism.

Definition 4.1 ([28]) Let β be an ordinal and θ a cardinal. When we define L 1 κ we assume θ &lt; κ and β &lt; θ + . Let A and B be models of some fixed vocabulary τ . 6

The game

$$\text{BG} _ { \theta } ^ { \beta } ( \mathfrak { A }, \mathfrak { B } )$$

is defined as follows:

- 1. Player I picks β 0 &lt; β , θ 0 ≤ θ and A 0 ∈ [ A ] θ 0 .
- 2. Player II picks h 0 : A 0 → ω and a partial isomorphism g 0 : h -1 0 (0) → B .
- 3. Player I picks β 1 &lt; β 0 and B 1 ∈ [ B ] θ 0 .
- 4. Player II picks h 1 : B 1 → ω and a partial isomorphism g 1 ⊇ g 0 such that h -1 1 (0) ⊆ ran ( g 1 ) and h -1 0 (1) ⊆ dom ( g 1 ) .
- 5. Player I picks β 2 &lt; β 1 and A 2 ∈ [ A ] θ 0 .
- 6. Player II picks h 2 : A 2 → ω and a partial isomorphism g 2 ⊇ g 1 such that h -1 2 (0) ⊆ dom ( g 2 ) , h -1 1 (1) ⊆ ran ( g 2 ) and h -1 0 (2) ⊆ dom ( g 2 ) .
- 7. ...
- 8. Eventually β n = 0 and the game ends. Player II wins if she can play to the end. Otherwise Player I wins.

6 These models are typically much bigger than θ but not necessarily smaller than κ .

Let A ∼ β,θ B iff Player II has a winning strategy in BG ( β θ A B , ) We define the relation (of A and B )

$$\mathfrak { A } \equiv _ { \theta } ^ { \beta } \mathfrak { B }$$

to be the transitive closure of ∼ β,θ .

Observation 4.2 ([28]) (1) For a fixed θ and β ≤ β ′ &lt; θ + , the relation ∼ β ,θ ′ refines the relation ∼ β,θ , that is A ∼ β ,θ ′ B implies that A ∼ β,θ B , for any models A and B of vocabulary τ . The relation ≡ β ′ θ refines ≡ β θ , that is A ≡ β ′ θ B implies that A ≡ β θ B for any models A and B of vocabulary τ . (2) If θ ≤ θ ′ then for every β &lt; θ + the relation ∼ β,θ ′ refines the relation ∼ β,θ , that is A ∼ β,θ ′ B implies that A ∼ β,θ B for any models A and B of vocabulary τ . The relation ≡ β θ ′ refines ≡ β θ , that is A ≡ β θ ′ B implies that A ≡ β θ B for any models A and B of vocabulary τ .

Proof. (1) Any play of BG ( β θ A B , ) is a play of BG ( β ′ θ A B , ) , so the first conclusion follows. The second conclusion follows from the first. The statement (2) is proved similarly. /star 4 2 .

It is not known whether ∼ β,θ is an equivalence relation, although we suspect that it is not.

Definition 4.3 ([28]) If β &lt; θ + , then any union of equivalence classes of ≡ β θ is called a sentence of L 1 θ . Let

$$L _ { \kappa } ^ { 1 } = \bigcup _ { \theta < \kappa } L _ { \theta } ^ { 1 }.$$

We define the satisfaction relation in L 1 κ by letting A /satisfies L 1 κ K if A ∈ K .

Note that L 1 κ does not (a priori) have a syntax, we just have a semantical description. The definition of sentences is such that every sentence K is a proper class of models. The question arises how to define the basic logical operations, especially negation. The following theorem is helpful.

Theorem 4.4 (Fact 2.4.(5) of [28]) The equivalence relation ≡ β θ has ≤ /beth β +1 ( θ ) equivalence classes.

.

Theorem 4.4 in particular shows that the family of the ≡ β θ equivalence classes is a set, and we have defined sentences as unions of subfamilies of elements of such sets. This allows to define the logical operations ¬ and ∨ (and hence all the other logical operations), as follows:

Definition 4.5 ([28]) Suppose that K is a sentence of L 1 κ , so there are the least θ &lt; κ and the least β &lt; θ + such that K is a union of equivalence classes of ≡ β θ . Let E β θ denote the set of all equivalence classes of ≡ β θ . We define

$$\neg K = \bigcup \{ e \in \mathcal { E } _ { \theta } ^ { \beta } \, \colon \, e \notin K \}.$$

For 1 ≤ n &lt; ω and sentences K i ( i &lt; n ) , we find the least θ &lt; κ and least β &lt; θ + such that each K i is a union of equivalence classes of ≡ β θ (such θ , β exist by Observation 4.3). We define

$$\bigvee _ { i < n } K = \bigcup K _ { i } = \{ e \in \mathcal { E } _ { \theta } ^ { \beta } \, \colon \, ( \exists i < n ) \, e \in K _ { i } \}.$$

If κ = /beth κ is singular, L 1 κ has Craig Interpolation and a Lindströmtype characterisation involving a strong undefinability of well-order called SUDWO. Moreover, L 1 κ is the classically maximal logic stronger than ⋃ λ&lt;κ L λ,ω which satisfies SUDWO. These facts are all proved in [28].

## 5 Comparison between Lκ 1 and the chain logic

Based on the EF games for chain logic (see [11]), we can define:

Definition 5.1 Suppose that A = ( C n n&lt;ω ) and B = ( D n n&lt;ω ) are chain models. For a sequence ¯ x of length &lt; κ we say that it is bounded if it is contained in some C n or D n . For simplicity, assume ( ⋃ n C n ) ∩ ( ⋃ n D n ) = ∅ .

The global EF game EF c κ, ∞ is defined so that at each step i &lt; ω Player I plays a bounded sequence ¯ x i of length &lt; κ in either A or B . Player II

Let β &lt; κ + . Define the game EF c κ,β in which Player I plays a sequence of bounded sequences ¯ x i , each of length &lt; κ , and ordinals β 0 &gt; β 1 &gt; ... , where β 0 &lt; β (so the game is finite) and II responds by an increasing sequence g i of partial chain isomorphisms of cardinality &lt; κ , including ¯ x i in its domain if ¯ x i is in A or in its range if ¯ x i is in B . The first player that cannot move loses. We write A ∼ c κ,β B if Player II has a winning strategy in EF c κ,β .

responds by an a partial chain isomorphism g i including ¯ x i in its domain if ¯ x i is in A or in its range if ¯ x i is in B and so that ⋃ j&lt;i g j ⊆ g i . The first player that cannot move loses and II wins if the game lasts ω steps. We write A ∼ c κ, ∞ B if Player II has a winning strategy in EF c κ, ∞ .

It is worth noting that the relations ∼ c κ,β and ∼ c κ, ∞ are equivalence relations.

Lemma 5.2 Two chain models A = ( C n n&lt;ω ) and B = ( D n n&lt;ω ) are in the relation A ∼ c κ,β B iff they satisfy the same L c ∞ ,κ -sentences of quantifier rank &lt; β .

Proof. This is a standard proof, going back to [18]. /star 5 2 .

Observation 5.3 If Player II has a winning strategy in EF c κ, ∞ then Player II has a winning strategy in EF c κ,β for any β &lt; κ + . In other words, ∼ c κ, ∞ ⊆ ⋂ β&lt;κ + ∼ c κ,β

Proof. If β &lt; κ + is given, we let Player II in EF c κ,β follow the same strategy as in EF c κ, ∞ , which will be winning in EF c κ,β as well. /star 5 3 .

For a converse of Observation 5.3 in the case of proper chain models, see Lemma 6.6.

Lemma 5.4 Let κ be a singular strong limit cardinal of cofinality ω and K a class of chain models of a fixed vocabulary τ . Then the following are equivalent:

- 1. K is definable by a formula of L c ∞ ,κ with the quantifier rank &lt; β .
- 2. The model class K is closed under ∼ c κ,β .
- 3. K is definable by a formula of L c λ,κ with the quantifier rank &lt; β , where λ = max( κ, ( /beth β +2 ( | τ | ) + ) .

Recall that by Definition 3.2, the notation L ∞ ,κ means that we are taking formulas of L but considering them in chain models (of countable length).

Proof. The direction (1) = ⇒ (2)

c λ,κ follows from Lemma 5.2.

/negationslash

To prove that (2) = ⇒ (3) , similarly to Lemma 7.55 in [30], we show by induction on β that the number of formulas with quantifier rank &lt; β over a set X of free variables has size ≤ /beth β +1 ( | X | + | τ | ) . Each ∼ c κ,β -equivalence class is determined by the set of sentences with the quantifier rank &lt; β which are true in one or any model in the class. Therefore, there are ≤ /beth β +2 ( | τ | ) such classes e . Choose for each e such that K ∩ e = ∅ a representative A e ∈ K . Hence K is definable by the formula

$$\bigvee _ { e \cap \mathcal { K } \neq \emptyset } \bigwedge \{ \varphi \colon \text{quantifier rank} ( \varphi ) \leq \beta \, \& \, \mathfrak { A } _ { e } \models ^ { c } \varphi \}.$$

The direction (3) = ⇒ (1) follows from the definition. /star 5 4 .

Definition 5.5 For a class K of models of τ , let C ( K ) stand for the class of all possible weak chain representations of models in K .

Lemma 5.6 If κ is as above, β &lt; κ and ( C n n&lt;ω ) and ( D n n&lt;ω ) are L c, 2 · β κ,κ -equivalent (i.e. equivalent for L c κ,κ -sentences of quantifier rank &lt; 2 · β ), then ⋃ n&lt;ω C n ≡ β θ ⋃ n&lt;ω D n (in the sense of Definition 4.1) for any θ &lt; κ for which β &lt; θ + .

Consequently, suppose that K is a class of models of L 1 κ closed under ≡ β θ . Then the class C ( K ) is closed under ∼ c κ, 2 · β and hence definable by an L c κ,κ sentence of quantifier rank &lt; 2 · β .

Proof. In fact we prove that A ∼ β,θ B , by providing a winning strategy to II in the game BG ( β θ A B , ) . By the assumption A ∼ c κ, 2 · β B , we fix a winning strategy σ for II in EF c κ, 2 · β . The n -th move of II in the game BG ( β θ A B , ) is supposed to produce a pair of functions ( h , g n n ) . To define h n for n even we let for a ∈ A n :

$$h _ { n } ( a ) = \min \{ k \colon a \in C _ { k } \}$$

and for n odd, for b ∈ B n we let

$$h _ { n } ( b ) = \min \{ k \, \colon b \in D _ { k } \}.$$

That is, player II simply uses the existing chain partitions of A and B .

To find g n Player II uses σ twice. We first assume that n = 2 k is even. Assume we have defined g n -1 (stipulating g -1 = ∅ ) so that the requirements for II in the game BG ( β θ A B , ) are satisfied. Then II extends g n -1 to a partial

isomorphism whose domain includes h -1 0 (2 k ) ∪ . . . ∪ h -1 2 k (0) by using σ in the play of EF c κ,β where σ has given g n -1 in the 2( n -1) -th step of II and I has played h -1 0 (2 k ) ∪ . . . ∪ h -1 2 k (0) \ dom ( g n -1 ) in the step 2( n -1) + 1 . In this way we extend g n -1 to g ′ n . Then we continue that play of EF c κ,β by letting I respond by g -1 0 (2 k ) ∪ . . . ∪ g -1 2 k (0) \ dom ( g ′ n ) and letting II use σ to extend g ′ n to g n . The strategy for n odd is similar.

Now suppose that K is closed under ≡ β θ and that A = ( C n n&lt;ω ) is in C ( K ) , while B = ( D n n&lt;ω ) is ≡ c, 2 · β κ,κ -equivalent to A . Then, on the one hand, ⋃ A ∈ K , by the definition of C ( K ) and on the other hand, ⋃ A ≡ β θ ⋃ B by the first part of the lemma. Hence B ∈ K , as K is closed under ≡ β θ -equivalence and therefore ( D n n&lt;ω ) ∈ C ( K ) by the definition of C ( K ) . /star 5 6 .

For the rest of this section, in addition to the running assumption that κ is a singular cardinal of cofinality ω , we assume that κ = /beth κ .

Theorem 5.7 For κ as above and τ a fixed vocabulary, we have:

$$( L ^ { 1 } _ { \kappa }, \models _ { L ^ { 1 } _ { \kappa } }, \mathcal { K } ) \leq ( L ^ { c, * } _ { \kappa, \kappa }, \models ^ { c }, \mathcal { K } ^ { c } ),$$

where K is the class of all models of τ and K c the class of all weak chain models of τ .

Proof. We define a Chu transform ( f, g ) which will witness the desired relation.

To define f , suppose that K is a sentence of L 1 κ . We shall define f ( K ) to be a certain sentence of L c κ,κ , as we now describe.

By the definition of what a sentence is in L 1 κ (Definition 4.3), there are β &lt; θ + &lt; κ such that K is the union of certain equivalence classes of A ≡ β θ B and in particular K is closed under the relation ∼ β,θ . To associate a sentence of L c κ,κ to K , we prove that C ( K ) is definable in L c κ,κ . By Lemma 5.4, since κ = /beth κ , it is suffices to show that C ( K ) is closed under ∼ c κ,β . This follows from Lemma 5.6. Hence now we have an L c κ,κ -sentence which defines C ( K ) and we choose any such sentence to be f ( K ) .

To define g , suppose that ( C n n&lt;ω ) is a weak chain model of τ . Then we let g (( C n n&lt;ω ) ) = ⋃ n&lt;ω C n .

Now that we have defined f and g , it remains to prove that the adjointness and the density condition are satisfied. To prove that ( f, g ) satisfies the adjointness condition, suppose that for some chain model ( C n n&lt;ω ) and an

L 1 κ sentence K we have that A = ⋃ n&lt;ω C n | = L 1 κ K . This means that for some relevant β, θ , K is a union of ≡ β θ -equivalence classes and that A ∈ K . By Lemma 5.6, C ( K ) is closed under ≡ L c,β κ,κ and by Lemma 5.4, it is L c κ,κ -definable by a sentence ϕ of quantifier rank &lt; β . Moreover, we have chosen f ( K ) to be some L c κ,κ -equivalent representation of ϕ . Since ( C n n&lt;ω ) ∈ C ( K ) , we have that ( C n n&lt;ω ) | = c ϕ and hence ( C n n&lt;ω ) | = c f ( K ) . In the other direction, suppose that ( C n n&lt;ω ) | = c f ( K ) for some K . We can find the corresponding β, θ and ϕ as in the previous argulent, so that we now have that ( C n n&lt;ω ) | = c ϕ . Then by the choice of ϕ it follows that ⋃ n&lt;ω C n | = L 1 κ K . The density condition is easy to prove since g is onto: any model is the union of a weak chain model. /star 5 7 .

We now show that L c, ∗ κ,κ is strictly stronger than L 1 κ in Shelah's sense. Namely, Shelah [28] only considers the classically studied order between logics, where L ≤ L 1 2 means that for every τ and ϕ ∈ L 1 ( τ ) there is ψ ∈ L 2 ( τ ) such that for every model, M | = L 1 ϕ iff M | = L 2 ψ . In this definition, the models are fixed, so in the language of Chu transforms, g is the identity, whereas we wish to compare two logics for which the notions of a model are different, such as chain logic and L 1 κ . Then non-trivial Chu transforms are needed. In the spirit of the classical definition, our definition of a Chu transform says that g is 'practically' the identity. We shall use similar technology to show that L c, ∗ κ,κ is not in this 'Chu identitary' sense weaker than L κ,κ , in contrast to our results in Theorem 7.6, which say that L c, ∗ κ,κ is Chu below a model class of L κ,κ .

Definition 5.8 Suppose that ( f, g ) is a Chu transform between logics L 1 = ( L , 1 | = 1 , S 1 ) and L 2 = ( L , 2 | = 2 , S 2 ) is in the same vocabulary τ , where the elements of S 1 are chain models and the elements of S 2 are ordinary models. Let ∼ be an equivalence relation among the elements of S 2 .

We say that ( f, g ) is an ∼ -identitary Chu transform if g is onto and, moreover, for every chain model ( A n n&lt;ω ) in S 1 and A ∈ S 2 with A = ⋃ n&lt;ω A n , there is B ∈ S 2 such that

$$g ( \mathfrak { B } ) = \langle A _ { n } \, \colon \, n < \omega \rangle \ a n d \, \mathfrak { B } \sim \mathfrak { A }.$$

We write L ≤ 1 ∼ i L 2 if there is an ∼ -identitary Chu transform ( f, g ) between L 1 and L 2 .

Theorem 5.9 Suppose that κ is a singular cardinal of countable cofinality, τ is a fixed vocabulary containing a binary relation symbol &lt; , K is the class of all models of τ and K c the class of all weak chain models of τ . (1) Let ≡ stand for the elementary equivalence in L κ,κ . Then we have:

$$( L _ { \kappa, \kappa } ^ { c, * }, \models ^ { c }, \mathcal { K } ^ { c } ) \not \leq _ { i } ^ { \equiv } ( L _ { \kappa, \kappa }, \models, \mathcal { K } ).$$

(2) Suppose that in addition κ = /beth κ and for β &lt; θ + &lt; κ let ≡ β θ be the relation defined in Definition 4.1. For A B , ∈ K define A ≡ 1 κ B iff for all θ &lt; κ and all β &lt; θ + we have A ≡ β θ B .

Then

$$( L _ { \kappa, \kappa } ^ { c, * }, \models ^ { c }, \mathcal { K } ^ { c } ) \not \leq _ { i } ^ { \equiv ^ { 1 } _ { \kappa } } ( L _ { \kappa } ^ { 1 }, \models _ { L _ { \kappa } ^ { 1 } }, \mathcal { K } ).$$

Proof. Let ϕ be the L ω ,ω 1 1 sentence which says that &lt; is a well-order. In particular, this is an L c, ∗ κ,κ -sentence. Similarly to the proof in Example 3.5, let us define an ordinary model A of ¬ ϕ as the lexicographic sum of ω ∗ many copies of κ , i.e. an infinite decreasing sequence of copies of κ . Then A | = ¬ ϕ . We now define a chain model ( A n n&lt;ω ) such that each A n consists of the first n copies of κ within A . Therefore ( A n n&lt;ω ) | = c ϕ . Next, we define an ω -sequence ¯ a by taking exactly one point from each copy of κ in A , so ¯ a is an infinite decreasing &lt; -sequence in A . Finally, let B n = A n ∪ ran (¯) a , for each n . Then ( B n n&lt;ω ) | = c ¬ ϕ and ⋃ n&lt;ω B n = ⋃ n&lt;ω A n = A . We shall use these models in both parts of the proof.

- (1) By the definition of an identitary Chu transform, there are C and D in K such that:
- · g ( C ) = ( A n n&lt;ω ) ,
- · g ( D ) = ( B n n&lt;ω ) and
- · C ≡ D ≡ A .

By the defining property of elementary equivalence, we have that either C D , | = f ( ϕ ) or C D , | = ¬ f ( ϕ ) . However, the adjointness condition implies that C | = f ( ϕ ) , since ( A n n&lt;ω ) | = c ϕ , while D | = ¬ f ( ϕ ) , since ( B n n&lt;ω ) | = c ¬ ϕ . A contradiction.

(2) Consider f ( ϕ ) . It is an L 1 κ -sentence, so there are β &lt; θ + &lt; κ such that f ( ϕ ) is a union of ≡ β θ -equivalence classes. By the definition of an identitary Chu transform with respect to ≡ 1 κ , there are C and D in S 2 such that:

- · g ( C ) = ( A n n&lt;ω ) ,
- · g ( D ) = ( B n n&lt;ω ) ,
- · C ≡ β θ A ≡ β θ D .

In particular, C ≡ β θ D , which means by the properties of f ( ϕ ) , that either C D , | = L 1 κ f ( ϕ ) or C D , | = L 1 κ ¬ f ( ϕ ) . However, the adjointness condition implies that C | = L 1 κ f ( ϕ ) , since ( A n n&lt;ω ) | = c ϕ , while D | = L 1 κ ¬ f ( ϕ ) , since ( B n n&lt;ω ) | = c ϕ . A contradiction. /star 5 9 .

Example 5.10 In Theorem 7.6 (2) we show that ( L c, ∗ κ,κ , | = c , K c ) ≤ /equaldotleftright i L 2 for a model class L 2 of L κ,κ and an equivalence relation /equaldotleftright in which all models with the same τ -reduct are equivalent.

## 6 Maximality of the Chain Logic

Chain logic satisfies the undefinability of well order, by a theorem Theorem 6.1 of Makkai which we recall here 7 . In this section we show that the property UDWO , defined in Definition 6.2, in a sense characterises the chain κ logic L c κ,κ , as per Theorem 6.5.

Theorem 6.1 (Makkai [23] Th. 4.1; Cunningham, Th. 3.4.2. of [7]) Suppose that τ is a vocabulary containing { &lt;, U } where &lt; is a binary relation symbol and U is a unary relation symbol. Further suppose that ϕ is an L κ,κ -sentence in τ such that for each α &lt; κ + there is a chain model B α of ϕ satisfying that ( U B α , &lt; B α ) is a well order of type ≥ α .

Then there is a strict chain model B of ϕ having cardinality ≤ κ and such that ( U B , &lt; B ) contains a copy of the rationals.

We abstract this property of L c κ,κ to arbitrary logics on chain models:

Definition 6.2 A logic on chain models is a logic of the form ( L, | = L , , S ) , where S is a class of weak chain models.

7 We note that Makkai published an errata [24] to this theorem. A corrected proof was given by Cunnigham in [7], where she explains the situation but still credits the theorem to Makkai.

(1) A logic on chain models is said to satisfy the property UDWO κ if every sentence in L with a distinguished binary predicate &lt; such that for all α &lt; κ + there is chain model of ϕ in S in which &lt; is well-ordered in type ≥ α , has a proper chain model of cardinality ≤ κ in S in which &lt; is non-well-ordered. (2) A logic on chain models is said to satisfy UDWO &lt;κ if for every sentence ϕ in L with a distinguished binary predicate &lt; , there is λ &lt; κ such that if for all α &lt; λ + there is chain model of ϕ in S in which &lt; is well-ordered in type ≥ α , then ϕ has a proper chain model of cardinality ≤ λ in S in which &lt; is non-well-ordered.

Let us define

Definition 6.3 Suppose that κ is a limit of singular cardinals λ with cf( λ ) = ω . Then we define L c &lt;κ,&lt;κ = ⋃ λ&lt;κ, cf( λ )= ω L c &lt;λ,&lt;λ .

We then have the following corollary of Theorem 6.1:

Corollary 6.4 Suppose that κ is a limit of singular cardinals λ with cf( λ ) = ω . Then L c &lt;κ,&lt;κ has UDWO &lt;κ .

It turns out that for κ as in Corollary 6.4 which is in addition a strong limit, L c &lt;κ,&lt;κ is a maximal logic on chain models having UDWO &lt;κ . This section is devoted to the proof of that fact, which is given in Theorem 6.11. The main theorem leading to the maximality result is the following Theorem 6.5, which can be seen as a quasi-maximality result for chain logic L c κ,κ .

Theorem 6.5 Let κ be a singular cardinal of countable cofinality, τ a fixed vocabulary and K c the class of all weak chain models of τ . Suppose that L ∗ is a logic on chain models such that:

- · L c κ,κ ≤ L ∗ and
- · ( L ∗ , | = c , K c ) satisfies UDWO . κ

Then for every sentence ϕ of L ∗ there is α &lt; κ + such that the class of models of ϕ is closed under ∼ c κ,α . Hence ϕ is definable in L c λ,κ , where λ = max( κ, ( /beth α +2 ( | τ | ) + ) .

The last sentence in the theorem follows from the rest by Lemma 5.4. To prove the theorem, we shall need some further lemmas. The one is the crucial one and the one where the singularity of κ is really essential. It provides a converse to Observation 5.3 in the case of proper chain models.

A logic is said to relativize if for every sentence ϕ of the logic with vocabulary τ and every unary predicate P / ∈ τ there is a sentence ψ in the logic such that ψ holds in a model with vocabulary τ ∪ { P } if and only if the relativization of the model to P (the ' P -part ' of the model) satisfies ϕ . Our chain logics satisfies this property but one has to bear in mind that the relativization of a proper chain model need not be a proper chain model. For details concerning relativization we refer to [4].

Lemma 6.6 Let κ be a singular cardinal of countable cofinality and suppose that ( M n ) n&lt;ω and ( N n n&lt;ω ) are weak chain models of the same vocabulary such that | M n | &lt; κ and | N n | &lt; κ for all n . If player II has a winning strategy in EF c κ, ∞ (( M n n&lt;ω ) , ( N n n&lt;ω ) ) , then ( M n ) n&lt;ω ∼ = ( c N n n&lt;ω ) .

Proof. We can choose an increasing sequence 〈 κ n : n &lt; ω 〉 of cardinals such that κ = sup n ∈ ω κ n and so that | M , N n | | n | ≤ κ n . We play EF c κ ( M,N ) so that Player I starts by playing a sequence covering M 0 , then one covering N 0 , then M 1 , then N 1 , etc. Player II plays according to the winning strategy. In the end we have a chain isomorphism from ( M n n&lt;ω ) to ( N n n&lt;ω ) . /star 6 6 .

We now prove two lemmas that work for weak as well as proper chain models. Then we formulate the same lemmas appropriately for chain models satisfying extra conditions. The proofs are quite standard and based on [18].

## Lemma 6.7 The following conditions are equivalent:

- 1. Player II has a winning strategy in the game EF c κ,β (( M n n&lt;ω ) , ( N n n&lt;ω ) ) ,
- 2. There are sets 〈 I ξ : ξ &lt; β, n &lt; ω 〉 such that:
- (a) If ξ &lt; ζ &lt; β , then ∅ /negationslash = I ζ ⊆ I ξ .
- (b) if f ∈ I ξ , then f = ( 〈 a , b ζ ζ ) : ζ &lt; κ n 〉 is a partial chain isomorphism from ( M n ) to ( N n ) ,
- (c) if f ∈ I ξ , then for all η &lt; ξ and all bounded A ⊆ ⋃ n&lt;ω M n of cardinality &lt; κ there is g ∈ I η such that f ⊆ g and A ⊆ dom ( g ) .

- (d) If f ∈ I ξ , then for all η &lt; ξ and all bounded B ⊆ ⋃ n&lt;ω N n of cardinality &lt; κ there is g ∈ I η for some k &lt; ω such that f ⊆ g and B ⊆ ran ( g ) .

Proof. During the game EF c κ,β Player I plays, among other things, some elements of β in descending order. Let us call those move rank moves . If (1) holds then we let I ξ be the set of partial chain isomorphisms from ( M n ) to ( N n ) that arise in the game when II is playing her winning strategy and Player I has played ξ as his rank-move. Conversely, suppose such sets I ξ exist. The strategy of II is to make sure that the partial functions she plays after Player I plays ξ as his rank move, are in I ξ . More exactly, suppose she has played a partial chain isomorphism f in I ξ and then Player I plays a bounded set A of cardinality &lt; κ as well as η &lt; ξ as the rank move. Player II uses (c) above to find g ∈ I η such that f ⊆ g and A ⊆ dom ( g ) . She plays this g in the game. /star 6 9 .

Lemma 6.8 The following conditions are equivalent:

- 1. Player II has a winning strategy in the game EF c κ, ∞ (( M n n&lt;ω ) , ( N n n&lt;ω ) ) .
- 2. There is a set J such that

/negationslash

- (a) J = ∅ .
- (b) if f ∈ J , then f is a partial chain isomorphism of cardinality &lt; κ from ( M n ) to ( N n ) ,
- (c) if f ∈ J , then for all bounded A ⊆ ⋃ n&lt;ω M of cardinality &lt; κ there is g ∈ J such that f ⊆ g and A ⊆ dom ( g ) .
- (d) If f ∈ J , then for all bounded B ⊆ ⋃ n&lt;ω N n of cardinality &lt; κ there is g ∈ J such that f ⊆ g and B ⊆ ran ( g ) .

Proof. If (1) holds then we let J be the set of partial chain isomorphisms of cardinality &lt; κ from ( M n ) to ( N n ) that arise in the game when II is playing her winning strategy. Conversely, suppose such sets J exist. The strategy of II is to make sure that the partial functions she plays are in J . More exactly, suppose she has played a partial chain isomorphism f of cardinality &lt; κ in J and then Player I plays a bounded set A of cardinality &lt; κ . Player II uses (c) above to find g ∈ J such that f ⊆ g and A ⊆ dom ( g ) . She plays this g in the game. /star 6 10 .

For singular κ we can be more specific:

Lemma 6.9 Let κ be a singular cardinal of cofinality ω and κ = sup n κ n , where κ n &lt; κ n +1 . The following conditions are equivalent:

- 1. Player II has a winning strategy in the game EF c κ,β (( M n n&lt;ω ) , ( N n n&lt;ω ) ) ,
- 2. There are sets 〈 I n ξ : ξ &lt; β, n &lt; ω 〉 such that:
- (a) If ξ &lt; ζ &lt; β , then ∅ /negationslash = I n ζ ⊆ I n ξ .
- (b) if f ∈ I n ξ , then f = ( 〈 a , b ζ ζ ) : ζ &lt; κ n 〉 is a partial chain isomorphism from ( M n ) to ( N n ) ,
- (c) if f ∈ I n ξ , then for all η &lt; ξ and all bounded A ⊆ ⋃ n&lt;ω M n of cardinality ≤ κ m , m &gt; n , there is g ∈ I m η such that f ⊆ g and A ⊆ dom ( g ) .
- (d) If f ∈ I n ξ , then for all η &lt; ξ and all bounded B ⊆ ⋃ n&lt;ω N n of cardinality ≤ κ m , m &gt; n , there is g ∈ I m η such that f ⊆ g and B ⊆ ran ( g ) .

Proof. If (1) holds then we let I n ξ be the set of partial chain isomorphisms of cardinality ≤ κ n from ( M n ) to ( N n ) which are subsets of cardinality ≤ κ n of partial functions that arise in the game when II is playing her winning strategy and Player I has played ξ as his rank-move. Conversely, suppose such sets I n ξ exist. The strategy of II is to make sure that the partial functions she plays after Player I plays ξ as his rank move, are in I n ξ for a suitable n . More exactly, suppose she has played a partial chain isomorphism f of cardinality ≤ κ n in I n ξ and then Player I plays a bounded set A of cardinality ≤ κ m , where m &gt; n as well as η &lt; ξ as the rank move. Player II uses (c) above to find g ∈ I m η such that f ⊆ g and A ⊆ dom ( g ) . She plays this g in the game. /star 6 9 .

Lemma 6.10 Let κ be a singular cardinal of cofinality ω and κ = sup n κ n , where κ n &lt; κ n +1 . The following conditions are equivalent:

- 1. Player II has a winning strategy in the game EF c κ, ∞ (( M n n&lt;ω ) , ( N n n&lt;ω ) ) .
- 2. There are sets J n , n &lt; ω , such that

/negationslash

- (a) J n = ∅ .

- (b) if f ∈ J n , then f is a partial chain isomorphism of cardinality ≤ κ n from ( M n ) to ( N n ) ,
- (c) if f ∈ J n , then for all bounded A ⊆ ⋃ n&lt;ω M of cardinality ≤ κ m , m&gt;n , there is g ∈ J m such that f ⊆ g and A ⊆ dom ( g ) .
- (d) If f ∈ J n , then for all bounded B ⊆ ⋃ n&lt;ω N n of cardinality ≤ κ m , m&gt;n , there is g ∈ J m such that f ⊆ g and B ⊆ ran ( g ) .

Proof. If (1) holds then we let J n be the set of partial chain isomorphisms of cardinality ≤ κ n from ( M n ) to ( N n ) which are subsets of cardinality ≤ κ n of partial functions that arise in the game when II is playing her winning strategy. Conversely, suppose such sets J n exist. The strategy of II is to make sure that the partial functions she plays are in J n for a suitable n . More exactly, suppose she has played a partial chain isomorphism f of cardinality ≤ κ n in J n and then Player I plays a bounded set A of cardinality ≤ κ m , where m &gt; n . Player II uses (c) above to find g ∈ J m such that f ⊆ g and A ⊆ dom ( g ) . She plays this g in the game. /star 6 10 .

Proof. (of Theorem 6.5) We argue along the lines of the proof of Theorem 3.2 in [3]. Suppose that L ∗ is as in the assumption and let ϕ be an L ∗ -sentence. Suppose for a contradiction that for every α &lt; κ + there are chain models ( M α n ) n&lt;ω and ( N α n ) n&lt;ω in K c such that ( M α n ) n&lt;ω ∼ c κ,α ( N α n ) n&lt;ω , while ( M α n ) n&lt;ω | = c ϕ and ( N α n ) n&lt;ω | = c ¬ ϕ . For each such α we get sets I n ξ , ξ &lt; α, from Lemma 6.9.

We now build a new L ∗ sentence ϕ ∗ in an extended vocabulary in which U, P, Q are new unary relation symbols, &lt; ∗ is a new binary relation symbol and I n is a new 1+ κ n + κ n -ary relation symbol for each n &lt; ω . The sentence ϕ ∗ is the conjunction of sentences saying:

- 1. the sentence ϕ holds in the P part of the (chain) model and ¬ ϕ holds in the Q -part,
- 2. ≤ ∗ is a linear order on U ,
- 3. If I n ( i, ( a ξ ) ξ&lt;ζ , ( b ξ ) ξ&lt;ζ ) , then i ∈ U , ( a ξ ) ξ&lt;ζ ⊆ P and ( b ξ ) ξ&lt;ζ ⊆ Q , both bounded,
- 4. If i &lt; ∗ j and I n ( j, a, b ¯ ¯ ) , then I n ( i, a, b ¯ ¯ ) for all bounded sequences ¯ a and ¯ b of length κ n ,

- 5. For each n &lt; ω , if I n ( i, ( a ξ ) ξ&lt;κ n , ( b ξ ) ξ&lt;κ n ) then for all j &lt; i ∗ , m &gt; n , and all bounded ( a ′ ξ ) κ n ≤ ξ&lt;κ m ∈ P ( ( b ′ ξ ) κ n ≤ ξ&lt;κ m ∈ Q ) there is a bounded ( b ′ ξ ) κ n ≤ ξ&lt;κ m ∈ Q ( ( a ′ ξ ) κ n ≤ ξ&lt;κ m ∈ P ) such that

$$I _ { m } ( j, ( a _ { \xi } ) _ { \xi < \kappa _ { n } } \wedge ( a ^ { \prime } _ { \xi } ) _ { \kappa _ { n } \leq \xi < \kappa _ { m } }, ( b _ { \xi } ) _ { \kappa _ { n } \leq \xi < \kappa _ { m } } \wedge ( b ^ { \prime } _ { \xi } ) _ { \kappa _ { n } \leq \xi < \kappa _ { m } } ) ).$$

- 6. If I n ( i, ( a ξ ) ξ&lt;κ n , ( b ξ ) ξ&lt;κ n ) , then for all atomic formulas φ (( v ξ ) ξ&lt;κ n ) we have

$$( M _ { m } ) _ { m < \omega } \models ^ { c } \phi ( ( a _ { \xi } ) _ { \xi < \kappa _ { n } } ) \iff ( N _ { m } ) _ { m < \omega } \models ^ { c } \phi ( ( b _ { \xi } ) _ { \xi < \kappa _ { n } } ),$$

where ( M m m&lt;ω ) is the P -part of ( K m m&lt;ω ) and ( N m m&lt;ω ) is the Q -part.

Using the fact that L c κ,κ is included in L ∗ , we can express this by an L ∗ -sentence, which we take to be ϕ ∗ .

For every κ ≤ α &lt; κ + we build a chain model ( K n ) α n&lt;ω of ϕ ∗ in which &lt; ∗ has order type α , by declaring K α 0 to be the ordinal α , interpreting U as K α 0 and &lt; ∗ as the natural order on α , letting K α n +1 = M α n ⋃ N α n and declaring ⋃ n&lt;ω M α n to be the P -part and ⋃ n&lt;ω N α n to be the Q -part of the model. The interpretation of the predicates I n in ( K m m&lt;ω ) α is as follows: I n ( γ, ( a ξ ) ξ&lt;ζ , ( b ξ ) ξ&lt;ζ ) , ζ &lt; α , is defined to hold in ( K m m&lt;ω ) α if and only if the relation { ( a , b ξ ξ ) : ξ &lt; ζ } is in the set I n γ .

Now we are in the situation to apply UDWO κ of L ∗ . Doing so, we obtain a strict chain model ( K n n&lt;ω ) of ϕ ∗ in which &lt; ∗ is not well-founded. Let e 0 &gt; ∗ e 1 &gt; ∗ e 2 . . . be a descending chain in &lt; ∗ in ( K n n&lt;ω ) . Let J n consist of functions f such that f ( a ξ ) = b ξ for some pair (( a ξ ) ξ&lt;ζ , ( b ξ ) ξ&lt;ζ ) for which ( K n n&lt;ω ) satisfies I n ( e m , ( a ξ ) ξ&lt;ζ , ( b ξ ) ξ&lt;ζ ) for some m &lt; ω . By Lemma 6.10, Player II has a winning strategy in the game EF c κ, ∞ (( M n n&lt;ω ) , ( N n n&lt;ω ) ) , where ( M n n&lt;ω ) is the P -part of ( K n n&lt;ω ) and ( N n n&lt;ω ) is the Q -part. By Lemma 6.6, ( M n n&lt;ω ) ∼ = ( c N n n&lt;ω ) , contradicting the fact that ( M n ) n&lt;ω | = c ϕ and ( N n n&lt;ω ) | = c ¬ ϕ . /star 6 5 .

Theorem 6.11 Suppose that κ is a strong limit of singular cardinals of countable cofinality, τ a fixed vocabulary and K c the class of all weak chain models of τ . Suppose that L ∗ is a logic on chain models such that:

- · L c &lt;κ,&lt;κ ≤ L ∗ and
- · ( L ∗ , | = c , K c ) satisfies UDWO &lt;κ .

## Then L ≤ ∗ L c &lt;κ,&lt;κ .

Proof. Corollary 6.4 shows that L c &lt;κ,&lt;κ satisfies UDWO &lt;κ . Let 〈 λ i : i &lt; i ∗ 〉 be an increasing sequence of singular cardinals of countable cofinality converging to κ . Theorem 6.5 shows that for every sentence ϕ of L ∗ , there is i &lt; i ∗ such that ϕ is a definable in L c λ ,λ i i , and therefore ϕ is a definable in L c &lt;κ,&lt;κ . /star 6 11 .

The above results in conjunction with Shelah's characterisation of L 1 κ as maximal above ⋃ λ&lt;κ L λ,ω to satisfy SUDWO, indicate that it is likely that SUDWO is a strict strengthening of UDWO. However, the conclusion cannot be drawn directly since Shelah's characterisation is obtained in the class of logics with the ordinary meaning of a model, which does not fit the chain logic. For all we know, SUDWO and UDWO might be equivalent.

The reader might now be curious to see the definition of SUDWO, so we recall its definition embedded in Problem 1.5. of [28] (see also Conclusion 3.2. of [28] ).

Definition 6.12 Let τ be a vocabulary of size &lt; κ , including a constant symbol c and two place predicates &lt; and R . Let ψ be any L 1 κ sentence in τ .

Then ψ does not define a well order, in the concrete sense that for any large enough θ &lt; κ and large enough λ , for any given model A of ψ which is a τ -expansion of the model ( H ( λ , θ, ) ∈ , &lt; ) where &lt; A extends the order of the ordinals in H ( λ ) , R A extends the membership relation on H ( λ ) , and c A = θ , there is a τ -model B such that:

- · B is a model of ψ which is a τ -expansion of the model ( H ( λ , θ, ) ∈ , &lt; ) and &lt; B extends the order of the ordinals in H ( λ ) , R B extends the membership relation on H ( λ ) , and c B = θ ,
- · there is a sequence 〈 a n : n &lt; ω 〉 of subsets of the universe of B (i.e. unary relations) such that
- 1. for every n ,

$$\mathfrak { B } \models ( \forall x ) [ x R a _ { n } \implies x R a _ { n + 1 } ],$$

- 2. for every n ,

B | = ' θ is a cardinal such that | a n | ≤ θ ' ,

(note that the above sentence is expressible in B since B is an expansion of ( H ( λ , θ, ) ∈ , &lt; ) ) and

3. for every b ∈ B there is n such that B | = ' b ∈ a n ' .

The properties of the model B above clearly imply that &lt; B is not a well order, as it violates the rule of cardinal arithmetic ℵ · 0 θ &lt; λ . Hence ψ cannot characterise the models in which &lt; is a well order.

It is quite interesting that the defining property of SUDWO basically says that every rich enough model has a twin which looks like a strange chain model. We have not been able to make more of this remark.

## 7 Further properties of chain logic and Shelah's Problem 1.4.

Among other results, in this section we shall show that chain logic satisfies the requirements of Shelah's Problem 1.4.

We first discuss (in)compacteness properties of the chain logic, in §7.1. This leads us to a method to compare the chain logic to model classes of L c, ∗ κ,κ , Theorem 7.6. Using this and Theorem 2.6 of Cunnigham [8] who showed that L c, ∗ κ,κ has Interpolation (for a definition of Interpolation, see Definition 7.12) we show in §shelahproblem that chain logic answers Shelah's Problem, modulo a model class, see Corollary 7.13.

In addition to the above results, we also note (§7.3) that the chain logic satisfies the Union Lemma. Finally and somewhat surprisingly, in §7.4, we show that the chain independent fragment of the chain logic is quite nontrivial.

## 7.1 The incompactness of L c κ,κ

A property that does not seem to have been studied classically for chain logic is its degree of compactness. Positive compactness results have been obtained for restricted classes of chain models: Green [16] proved a Σ 1 -compactness result for admissible sets, which was given another proof by Makkai [23]. Possibly Karp and her school were aware of the incompactness of full chain logic, but in the absence of any literature on it, we give a proof. In fact we give two proofs, as the proofs for the logics L c κ,κ and L c, ∗ κ,κ turn out to be different.

It is not straightforward to determine all cardinals λ such that the logic L θ,ω is λ -compact or satisfies some weak version of λ -compactness. Clearly,

if θ = λ is a strongly compact cardinal, this is the case. However, Boos [5] showed that it is even possible to have analogues of weak compactness of L θ,ω for θ below the continuum (though θ needs to be a large cardinal in L ). 8 By the results of Keisler and Tarski [20], see Theorem 3.1.4 of [10], L κ,ω is never κ -compact for κ -singular. Moreover, see Corollary 3.1.6 in [10], L λ,ω is λ -compact iff λ is a strongly compact cardinal.

Corollary 7.1 The logic L c, ∗ κ,κ is not κ -compact.

Proof. Theorem 3.9 shows that L c, ∗ κ,κ is Chu above L κ,ω and so by Corollary 2.6, κ -compactness of L c, ∗ κ,κ would imply the κ -compactness of L κ,ω , a contradiction. /star 7 1 .

Theorem 3.9 does not immediately apply to the logic L c κ,κ so it does not rule out some degree of compactness of this logic. If L κ,ω had some degree of upwards Löwenheim-Skolem theorem, we would be able to replace M ≥ κ in Theorem 3.9 (2) by M and draw the same conclusion for L c κ,κ as we did for L c, ∗ κ,κ . However, there is no sufficiently strong such upwards theorem. 9 For example, the following is a well known open question:

Question 7.2 If a complete L ω ,ω 1 -sentence has a model of size ℵ ω n for every n , does it then have a model of size ℵ ω ω ?

Therefore, we need another argument to deal with the question whether the chain logic L c κ,κ is κ -compact.

Theorem 7.3 L c κ,κ is not κ -compact.

Proof. We construct a set Γ of L c κ,κ -sentences which is ( &lt; κ ) -satisfiable but not κ -satisfiable. We need the following lemma.

Lemma 7.4 There is an L κ,ω -sentence θ in the language consisting of one binary predicate &lt; ∗ whose models are exactly the models of size κ , where &lt; ∗ is a well order of the domain of order type κ .

8 Moreover, Stavi [29] showed that below a measurable cardinal this is true for basically any logic.

9 See Chapter IV of [10].

Proof of the Lemma. By Observation 1.4, it suffices to find an L κ + ,ω -sentence θ with the required properties. Following Dana Scott [26], starting from the first order sentence stating that &lt; ∗ is a linear order, one can define by induction on α &lt; κ an L κ + ,ω formula E α ( x ) so that

$$E _ { \alpha } ( x ) \iff ( \forall y ) [ y < ^ { * } x \iff \bigvee _ { \beta < \alpha } E _ { \beta } ( y ) ].$$

Then one shows by induction on α that E α ( x ) means that the &lt; ∗ -predecessors of x form a well-order of order type α . The sentence for our proof is

$$\bigwedge _ { \alpha < \kappa } ( \exists x ) E _ { \alpha } ( x ) \wedge ( \forall x ) \bigvee _ { \alpha < \kappa } E _ { \alpha } ( x ).$$

## /star 7 4 .

Now we formulate Γ in the language { &lt; ∗ } ∪ { c α : α &lt; κ } ∪ { d } as

$$\Gamma = \{ \theta \} \cup \{ c _ { \alpha } < ^ { * } c _ { \beta } \, \colon \, \alpha < \beta < \kappa \} \cup \{ c _ { \alpha } < ^ { * } d \, \colon \, \alpha < \kappa \}.$$

Then for any subset Γ 0 of Γ of size &lt; κ , any model M of θ easily gives rise to an actual model of Γ 0 by interpreting the relevant c α as the α -th element of M in the well order provided by &lt; ∗ and d as any element of M which is of large order in M than any of these relevant c α s. This model is also a chain model, since all sentences in Γ 0 are in L κ + ,ω . On the other hand, Γ does not have any models or chain models. /star 7 3 .

We now turn to upper bounds for the compactness number of the chain logic.

## Convention 7.5 Let τ be a vocabulary.

- (1) We define a new vocabulary τ ′ = τ ∪ { P n : n &lt; ω } where P n are new unary predicate symbols.
- (2) For each n &lt; ω we define an L κ,κ -sentence ψ n in the vocabulary τ ′ as follows

$$( \exists ( x _ { \alpha } ) _ { \alpha < \kappa _ { n } } ) ( \forall y ) [ P _ { n } ( y ) \implies \bigvee _ { \alpha < \kappa _ { n } } y = x _ { \alpha } ].$$

(This sentence expresses that the realization of the predicate P n has size ≤ κ n .)

## (3) Let σ 0 be the L κ,κ -sentence

$$( \forall x ) \bigvee _ { n < \omega } P _ { n } ( x ) \wedge \bigwedge _ { n < \omega } ( \forall x ) [ P _ { n } ( x ) \implies P _ { n + 1 } ( x ) ].$$

(Notice that if this sentence is true for any x then it is trivially true for finitary ¯ x , but this is not necessarily the case for ¯ x of infinite length). Let σ 1 be σ 0 ∧ ∧ n&lt;ω ψ n .

(4) For l &lt; 2 , we define M od σ ( l ) to be the class of all L κ,κ -models of σ l .

Theorem 7.6 To avoid problems with extending vocabularies, for this theorem we assume that all statements are relativized to a vocabulary τ ′ as in convention 7.5, in particular, τ ′ was obtained from a vocabulary τ as in that convention. Then:

- (1) (a) L c, ∗ κ,κ ≤ ( L κ,κ , | = , M od σ ( 0 )) and (b) L c κ,κ ≤ ( L κ,κ , | = , M od σ ( 1 )) .

(2) For models A and B in M od σ ( 0 ) let /equaldotleftright be the equivalence relation saying that the reducts of A and B to τ are the same. Then, in addition to (1)(a),

$$L _ { \kappa, \kappa } ^ { c, * } \leq _ { i } ^ { i = 1 } ( L _ { \kappa, \kappa }, \models, \mathcal { M } o d ( \sigma _ { 0 } ) ).$$

Proof. (1) (a) For the first inequality, we define f ( ψ ) for sentences ψ in L c, ∗ κ,κ by induction on the complexity of ψ . For atomic sentences we have f ( ψ ) = ψ and this is extended through the logical operations ¬ and conjunctions and disjunctions of size &lt; κ . It remains to define f ( ψ ) for ψ of the form ∀ ¯ xϕ x y (¯; ¯) where ¯ y is a sequence of parameters and ¯ = x 〈 x α : α &lt; α ∗ 〉 for some α ∗ &lt; κ .

Welet f ( ∀ ¯ xϕ x y (¯; ¯)) be the sentence ∀ ¯([ x ∨ n&lt;ω ∧ α&lt;α ∗ P n ( x α )] = ⇒ ϕ x y ( ; ¯)) . To define g , let M be a model of σ 0 and define g M ( ) = ( P M 0 , P M 1 , . . . ) n&lt;ω , which gives a weak chain model by the choice of σ 0 . The pair ( f, g ) is well defined, f preserves the logical operations of L κ,κ and g is onto. It remains to verify the adjointness condition, which will imply that ( f, g ) is indeed a Chu transform.

Suppose that ψ is in L c, ∗ κ,κ and M ∈ S ′ 0 is such that M | = f ( ψ ) . By induction on the complexity of ψ we have to check that ( P M 0 , P M 1 , . . . ) n&lt;ω | = c ψ . The nontrivial case of this induction is the quantifier case, so suppose that ψ is of the form ∀ ¯ xϕ x y (¯; ¯) , where ¯ y bounded, that is, ¯ y is such that there is n for which all individual elements of y are in P M n . Let ¯ x also be bounded. The definition is made so that M | = f ( ψ ) implies that M | = ϕ x y (¯; ¯) , and therefore, since ¯ y is bounded we have that g M ( ) = ( P M 0 , P M 1 , . . . ) n&lt;ω | = c ∀ ¯ xϕ x, y (¯ ¯) .

(b) The definition of f remains the same for this proof. The definition of σ 1 is such as to guarantee that for every M ∈ S ′ 1 and for every n &lt; ω we have | P n | M ≤ κ n . Therefore, leaving the definition of g the same as in the proof of (a), we have that g M ( ) = ( P M 0 , P M 1 , . . . ) n&lt;ω is a strict chain model. The proof of the adjointness property remains the same. However, g is not necessarily onto, as it is perfectly possible to have chain models ( A n n&lt;ω ) for which there are n that satisfy | A n | &gt; κ n . We shall however show that g satisfies the density condition.

So suppose that ϕ is a sentence of L c κ,κ which has a proper chain model ( A n n&lt;ω ) . We shall define B n by induction on n &lt; ω . For convenience let us define A 1 = ∅ . Let B 0 be A k for the largest k such that | A k | ≤ κ 0 . Such a k exists because the sets A k are increasing and | ⋃ n&lt;ω A n | = κ . Having defined B n as A k n with | A k n | ≤ κ n and k n the largest k with that property, let B n +1 = A k for the largest k such that | A k | ≤ κ n +1 . In this way we necessarily have B n ⊆ B n +1 . The chain model ( B n n&lt;ω ) = g M ( ) for M in S ′ 1 which is obtained on ⋃ n&lt;ω ( B n ) by interpreting each P n as the corresponding B n . By the same argument as in Observation 3.4(3), ( B n n&lt;ω ) is a model of ϕ .

- (2) We use the same ( f, g ) as in (1)(a). Suppose that we are given a chain model ( A n n&lt;ω ) and A ∈ M od σ ( 0 ) with A = ⋃ n&lt;ω A n . Define B to be the the model whose reduct to τ is the same as that one of A , but P B n = A n for each n . Then it is easily seen that B /equaldotleftright A and g ( B ) = ( A n n&lt;ω ) . /star 7 6 .

The following is a classical argument resembling the projective class arguments, for example Proposition II 3.1.9 in [4].

Theorem 7.7 Suppose that σ is in L κ,κ and that θ is a cardinal such that L κ,κ is θ -compact. Then so is ( L κ,κ , | = , M od σ ( )) .

Proof. Suppose that Γ is a set of sentences of L κ,κ such that every subset of Γ of size &lt; θ is satisfiable in M od σ ( ) . In particular, Γ ∪ { σ } is a ( &lt; θ ) -satisfiable set of sentences of L κ,κ in the vocabulary τ ′ obtained by enlarging τ by the symbols in σ . Hence, by the assumption, Γ ∪ { σ } has a model M . Then M ∈ M od σ ( ) by definition. /star 7 7 .

Corollary 7.8 L c, ∗ κ,κ and L c κ,κ are θ -compact whenever θ is a strongly compact cardinal &gt; κ .

Proof. By the definition of a strongly compact cardinal, L θ,θ is θ -compact. Let Γ be a ( &lt; θ ) -satisfiable set of L κ,κ -sentences. Then Γ is in particular a set of L θ,θ -sentences and hence has a model in the sense of L θ,θ . By the definition of | = in the two logics, this model is also an L κ,κ model. So, L κ,κ is θ -compact. (In fact, all this just says that L κ,κ ≤ L θ,θ ). By Theorem 7.7, ( L κ,κ , | = , M od σ ( l )) for l &lt; 2 are θ -compact. Then, by Theorem 7.6 and Corollary 2.6, L c, ∗ κ,κ and L c κ,κ are θ -compact. /star 7 8 .

Finally, we show that, as in the case of L 2 ω,ω , the second order logics ( L c ω,ω ) 2 and ( L c, ∗ ω,ω ) 2 are not compact, or even ( ω, ω ) -compact. The definition of these logics is the same as in ordinary chain logic, except that we now consider all second order sentences of L 2 ω,ω , only allowing ordinary or set variables which are bounded by an element of the chain.

Theorem 7.9 Neither ( L c ω,ω ) 2 nor ( L c, ∗ ω,ω ) 2 are ( ω, ω ) -compact.

Proof. Let φ be the second order sentence

$$\exists X \forall y \left ( P ( y ) \rightarrow X ( y ) \right ).$$

Lemma 7.10 The chain models of φ are the chain models in which P is contained in one level of the chain.

Proof. Suppose that M = ( M n ) n&lt;ω as above is a chain model of φ . Then there is an interpretation Q of the variable X such that P M ⊆ Q . By the truth definition of chain models the variable X ranges over subsets of M which are included in some M n . Thus Q ⊆ M n for some n . Hence P M ⊆ M n . For the other direction, suppose that M = ( M n n&lt;ω ) is a chain model in which P M is contained in some M n . Then we can pick P M as the interpretation of X and φ becomes true.

Lemma 7.11 In models of φ we have full second order quantification over subsets of P .

Proof. Suppose M = ( M n ) n&lt;ω is a chain model of φ . By Lemma 7.10, there is n such that P M ⊆ M n . If we relativize second order quantification to P as follows:

↦

$$\exists X \psi ( X ) \mapsto \exists X [ ( \forall y ( X ( y ) \to P ( y ) ) \wedge \psi ( X ) ]$$

↦

$$\forall X \psi ( X ) \mapsto \forall X [ ( \forall y ( X ( y ) \to P ( y ) ) \to \psi ( X ) ]$$

then we can allow the standard interpretation for second order quantifiers because the relativization forces the bound second order variables to range over subsets of P , and hence to be always subsets of M n .

To finish the proof, let θ be the second order sentence which says that &lt; is a well-order on the predicate P . In chain models of θ we have no guarantee that &lt; is really a well-order because a descending sequence may cross over all the sets M n . In models of θ ∧ φ we know by the above that &lt; is really a well-order because any potential descending chain is a subset of P and hence a subset of some M n . We can now form a finitely consistent theory { θ, φ } ∪ { c 0 &gt; c 1 &gt; c 2 &gt; . . . } ∪ { P c ( n ) : n &lt; ω } , which has no models. /star 7 9 .

## 7.2 Shelah's Problem 1.4

Let us recall the definition of Craig's Interpolation:

Definition 7.12 (1) For a logic L and sentences ρ , ρ 0 1 we say ρ 0 | = L ρ 1 if for any model M of L in a vocabulary including those of ρ 0 and ρ 1 , we have

$$M \models _ { \mathcal { L } } \rho _ { 0 } \implies M \models _ { \mathcal { L } } \rho _ { 1 }.$$

(2) A logic L is said to satisfy Interpolation if for any two vocabularies τ 0 and τ 1 and sentences ρ l ∈ L ( τ l )( l &lt; 2) , if ρ 0 | = L ρ 1 then there is a sentence ρ in L ( τ 0 ∩ τ 1 ) such that ρ 0 | = L ρ and ρ | = L ρ 1 .

Shelah [28] showed that L 1 κ satisfies Interpolation. This motivated him to ask:

Problem 1.4. from [28] : Suppose that κ is a singular strong limit of countable cofinality. Is there a logic between L κ + ,ω and L κ + ,κ + which satisfies Interpolation ?

The logic L 1 κ does not solve Problem 1.4. from [28], since it is not above L κ + ,ω . We show that, modulo a model class, chain logic does. That actually follows easily from the above results and the earlier work of Cunnigham [8] who showed various versions of interpolation for chain logic, including Craig, Malitz and Lyndon interpolation. Her proofs are quite different from Shelah's proof for L 1 κ , because she uses the method of chain consistency properties, which has not yet been applied to L 1 κ but is well developed for

chain logic through the work of Karp and Cunnigham. This method is quite powerful and very close to showing that a logic is complete since it consists of recursively isolating sets of sentences that capture all sentences that are true in a certain class of models.

Corollary 7.13 Suppose that κ is a singular strong limit cardinal of countable cofinality. Then the chain logic L c, ∗ κ,κ satisfies

$$L _ { \kappa ^ { + }, \omega } \leq L _ { \kappa, \kappa } ^ { c, * } \leq ( L _ { \kappa ^ { + }, \kappa ^ { + } }, \models, \mathcal { M } o d ( \sigma _ { 0 } ) )$$

and has the Interpolation, so modulo a model class, it gives a solution to Problem 1.4. from [28].

Proof. Theorem 2.6 of Cunnigham [8] shows that L c, ∗ κ,κ has Interpolation. The Chu inequalities are proved in Theorem 3.9 and Theorem 7.6 respectively (note also Observation 1.4). /star 7 13 .

## 7.3 The Union Lemma

The Union Lemma features in several proofs about L 1 κ , see for example Remark 1.17. (b) in [28] 10 We show that the Union Lemma holds for chain logic.

Definition 7.14 For chain models ( A n n&lt;ω ) and ( B n n&lt;ω ) we define

- 1. ( A n n&lt;ω ) ⊆ ( B n n&lt;ω ) if ⋃ n A n ⊆ ⋃ n B n and ∀ n m A ∃ ( n ⊆ B m )
- 2. ( A n n&lt;ω ) ≺ L c κ,κ ( B n n&lt;ω ) if ( A n n&lt;ω ) ⊆ ( B n n&lt;ω ) and for any bounded sequence ¯ a in ( A n n&lt;ω ) and formula φ x (¯) in L c κ,κ we have

$$( A _ { n } ) _ { n < \omega } \models ^ { c } \phi ( \bar { a } ) \Leftrightarrow ( B _ { n } ) _ { n < \omega } \models ^ { c } \phi ( \bar { a } ).$$

Observation 7.15 Suppose ( A n n&lt;ω ) ⊆ ( B n n&lt;ω ) . Then:

- 1. If ¯ a is bounded in ( A n n&lt;ω ) , then it is bounded in ( B n n&lt;ω ) .
- 2. If ( A n n&lt;ω ) | = c φ and φ is existential sentence, then ( B n n&lt;ω ) | = c φ .

10 It says that some concessions were made in the definition of L 1 κ in order to have the Union Lemma hold for L 1 κ .

Definition 7.16 Suppose that for each m&lt;ω we have a chain model ( A m n ) n&lt;ω and that these models satisfy ( A m n ) ⊆ ( A m +1 n ) for all m . Let A ω n = ⋃ m n ≤ A m n , for each n .

We define the union of the sequence 〈 ( A n n&lt;ω ) : m &lt; ω 〉 , as the chain model ( A ω n ) n&lt;ω .

Observation 7.17 Using the notation of Definition 7.16, we have that

$$( A _ { n } ^ { m } ) _ { n < \omega } \subseteq ( A _ { n } ^ { \omega } ) _ { n < \omega }$$

for all m .

Putting these observations together, we easily obtain that the chain logic satisfies the following Union Lemma. The Union Lemma for L 1 κ , in contrast, is a difficult theorem.

Theorem 7.18 (Union Lemma) If ( A m n ) n&lt;ω ≺ L c κ,κ ( A m +1 n ) n&lt;ω for all m&lt; ω , then ( A m n ) n&lt;ω ≺ L c κ,κ ( A ω n ) n&lt;ω .

Proof. By the usual Tarski-Vaught argument, noticing that every bounded sequence in the union is bounded in one of the models. /star 7 18 .

## 7.4 The chain-independent fragment

A point in favour of chain models seems to be the difference between the views that various chain decompositions of the same model can take on the same sentence. The following theorem renders that intuition formal. To avoid trivialities, we formulate it in terms of proper chain models.

Definition 7.19 An L κ,κ -sentence ϕ is said to be chain-independent if for any proper chain models ( A n n&lt;ω ) , ( B n n&lt;ω ) we have that

$$\bigcup _ { n < \omega } A _ { n } = \bigcup _ { n < \omega } B _ { n } \implies [ ( A _ { n } ) _ { n < \omega } \models ^ { c } \varphi \iff ( B _ { n } ) _ { n < \omega } \models ^ { c } \varphi ].$$

The chain-independent fragment of L κ,κ is the set of chain-independent sentences of L κ,κ .

It is obvious that L κω is included in the chain-independent fragment of L κ,κ .

Theorem 7.20 An L κ,κ -sentence ϕ is chain-independent iff for any model A of size κ

$$\mathfrak { A } \models \varphi \iff \text{ for any proper chain model } ( A _ { n } ) _ { n < \omega } \, [ \bigcup _ { n < \omega } A _ { n } = \mathfrak { A } \implies ( A _ { n } ) _ { n < \omega } \models ^ { c } \varphi ].$$

Proof. For the proof we require the following lemma.

Lemma 7.21 Suppose that A is a τ model and ϕ an L κ,κ -sentence such that ( A n n&lt;ω ) | = c ϕ for any chain decomposition 〈 A n : n &lt; ω 〉 of A . Then A | = ϕ .

Proof of Lemma 7.21. By induction on the complexity of ϕ . /star 7 21 .

For the proof of the Theorem, first suppose that ϕ is chain-independent, A | = ϕ and ( A n n&lt;ω ) is a proper chain decomposition of A . If ( A n n&lt;ω ) /notsatisfies c ϕ then by the definition of chain-independence it follows that for any proper chain decomposition ( B n n&lt;ω ) of A we have ( B n n&lt;ω ) | = c ¬ ϕ . By Lemma 7.21 it follows that A | = ¬ ϕ , a contradiction.

In the other direction, suppose that ϕ satisfies the equivalence, but ϕ is not chain-independent. Then there are proper chain decompositions ( A n n&lt;ω ) and ( B n n&lt;ω ) of A such that ( A n ) n&lt;ω | = c ϕ and ( B n n&lt;ω ) | = c ¬ ϕ , a contradiction. /star 7 20 .

Theorem 7.20 can be used to show that the chain-independent fragment can express a number of classical concepts:

Theorem 7.22 Suppose that λ &lt; κ and cf( λ ) &gt; ℵ 0 . The following properties can be expressed by chain-independent sentences of L κ,κ .

- · G is a graph which omits a clique of size λ ,
- · T is a tree which omits a branch of length λ ,
- · &lt; is a linear order with no decreasing sequences of length λ .

Proof. The proof is basically the same for all three examples, so let us show it for the case of graphs. Let ρ be an L κ,κ sentence which says that R is a binary relation and that it has no clique of size λ . We claim that ρ is chain-independent.

Let A be a model of ρ size κ and let ( A n n&lt;ω ) a proper chain model with ⋃ n&lt;ω A n = A . If A | = ρ then clearly no A n can have a clique of size λ .

Suppose on the other hand that no A n has a clique of size λ , but that A has such a clique, say K . Since cf( λ ) &gt; ℵ 0 and A , there will be n such that K ∩ A n has size λ . Therefore ( A n n&lt;ω ) | = c ¬ ρ. /star 7 22 .

## 8 Concluding remarks

We have shown that in the case of a singular cardinal κ of countable cofinality which in addition satisfies κ = /beth κ , the chain logic L c, ∗ κ,κ satisfies all the motivating requirements for the introduction of the logic L 1 κ , including solving Problem 1.4 from [28] which was left open by L 1 κ . A caveat to note, however, is that L 1 κ and L c, ∗ κ,κ have a major difference in what they consider a structure: the former has the classical concept of a structure while the latter is based on chain models. On the other hand, L c, ∗ κ,κ has a classical syntax, while this is not the case with L 1 κ .

One could look for further desirable properties of a logic at a singular cardinal, most importantly the property of κ -compactness. Neither L 1 κ nor chain logic have it.

We finish by some philosophical remarks about the nature of the work done in the paper. We solved Shelah's problem, admittedly changing it along the way, by moving from classical logics to chain logics. However, our position has been to study Karp's old and very nice chain logic, which we have already studied in the context of singular cardinals. Here, we succeeded to further emphasise its canonical nature by characterising it among all chain logics. The characterisation is very much in the spirit of Lindström's characterisation of first order logic. This complements a programme which was already started by Barwise [1] who extended Lindström's proof to infinitary logics by means of a rather strong assumption called Karp Property. Shelah found a characterisation for his infinitary logic L 1 κ in the context of singular cardinals and was able to avoid the use of Karp Property. In the process Shelah gave up the requirement, which some might find natural, that L 1 κ should have an easily recognisable syntax. We allow the change to chain models and can achieve a Lindström-like proof without without giving up the syntax. In the context of studying Karp's chain logic, which has already been a subject of study, our results seem to emphasise its overall naturality.

## References

- [1] K.J. Bairwise. Axioms for abstract model theory. Annals of Mathematical Logic , 7:221-265, 1974.
- [2] Michael Barr. ∗ -Autonomous Categories , volume 752 of Lecture Notes in Mathematics . Springer-Verlag, Berlin Heidelberg, 1979.
- [3] K. Jon Barwise. Axioms for abstract model theory. Annals of Mathematical Logic , 2-3(7):221-265, 1974.
- [4] K. Jon Barwise and Solomon Feferman, editors. Model-theoretic logics . Perspectives in Mathematical Logic. Springer, New York, Berlin, Heidelberg, Tokyo, 1985.
- [5] William Boos. Infinitary compactness without strong inaccessibility. J. Symbolic Logic , 41(1):33-38, 1976.
- [6] Po-Hsiang Chu. ∗ -Autonomous Categories , volume 752 of Lecture Notes in Mathematics , chapter Appendix: Constructing ∗ -autonomous categories . Springer-Verlag, Berlin-Heidelberg, 1979.
- [7] Ellen Cunningham. Chain models for infinite quantifier languages . PhD thesis, University of Maryland, 1974.
- [8] Ellen Cunningham. Chain models: applications of consistency properties and back-and-forth techniques in infinite-quantifier languages. In Infinitary logic: in memoriam Carol Karp , pages 125-142. Lecture Notes in Math., Vol. 492. Springer, Berlin, 1975.
- [9] Maarten de Rijke. A Lindström theorem for modal logic. In Modal logic and process algebra (Amsterdam, 1994) , volume 53 of CSLI Lecture Notes , pages 217-230. CSLI Publ., Stanford, CA, 1995.
- [10] M. A. Dickmann. Large Infinitary Languages , volume 83 of Studies in Logic and the Foundations of Mathematics . North Holland, Amsterdam, 1975.
- [11] Mirna Džamonja and Jouko Väänänen. Chain models, trees of singular cardinality and dynamic EF games. Journal of Mathematical Logic , 11(1):61-85, 2011.

| [12]   | H.-D. Ebbinghaus. Extended logics: the general framework. In Model- theoretic logics , Perspect. Math. Logic, pages 25-76. Springer, New York, 1985.                                                                                                                                                                                                                                                                                                          |
|--------|---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [13]   | Sebastian Enqvist. Ageneral Lindström theorem for some normal modal logics. Log. Univers. , 7(2):233-264, 2013.                                                                                                                                                                                                                                                                                                                                               |
| [14]   | Sebastian Enqvist. A new coalgebraic Lindström theorem. J. Logic Comput. , 26(5):1541-1566, 2016.                                                                                                                                                                                                                                                                                                                                                             |
| [15]   | Marta García-Matos and Jouko Väänänen. Abstract model theory as a framework for universal logic. In Logica universalis , pages 19-33. Birkhäuser, Basel, 2005.                                                                                                                                                                                                                                                                                                |
| [16]   | Judy Green. σ 1 compactness for next admissible sets. J. Symbolic Logic , 39(1):105-116, 03 1974.                                                                                                                                                                                                                                                                                                                                                             |
| [17]   | Judy Green. Consistency properties for finite quantifier languages. In D.W. Kueker, editor, Infinitary logic: in memoriam Carol Karp , volume 492 of Lecture Notes in Mathematics , pages 73-123. Springer-Verlag, Berlin-Heidelberg-New York, 1975.                                                                                                                                                                                                          |
| [18]   | Carol R. Karp. Finite-quantifier equivalence. In Theory of Models (Proc. 1963 Internat. Sympos. Berkeley) , pages 407-412. North-Holland, Am- sterdam, 1965.                                                                                                                                                                                                                                                                                                  |
| [19]   | Carol R. Karp. Infinite-quantifier languages and ω -chains of models. In William Craig, C. C. Chang, Leon Henkin, John Addison, Dana Scott, and Robert Vaught, editors, Proceedings of the Tarski Symposium , Pro- ceedings of Symposia in Pure Mathematics, XXV, pages 225-232. Amer- ican Mathematical Society, Providence, R.I., 1979. Held at the Univer- sity of California, Berkeley, Calif., June 23-30, 1971, Corrected reprint of the 1974 original. |
| [20]   | H. J. Keisler and A. Tarski. From accessible to inaccessible cardinals. Re- sults holding for all accessible cardinal numbers and the problem of their extension to inaccessible ones. Fund. Math. , 53:225-308, 1963/1964.                                                                                                                                                                                                                                   |
| [21]   | Alexander Kurz and Yde Venema. Coalgebraic Lindström theorems. In Advances in modal logic. Volume 8 , pages 292-309. Coll. Publ., London,                                                                                                                                                                                                                                                                                                                     |

| [22]   | Per Lindström. On extensions of elementary logic. Theoria , 35(1):1-11, 1969.                                                                                                                                                                                           |
|--------|-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [23]   | M. Makkai. Generalizing Vaught sentences from ω to strong cofinality ω . Fund. Math. , 82:105-119, 1974. Collection of articles dedicated to Andrzej Mostowski on the occasion of his sixtieth birthday, VI.                                                            |
| [24]   | M. Makkai. Errata to the paper: 'Generalizing Vaught sentences from ω to strong confinality ω ' (Fund. Math., 82 (1974), 105-119). Fund. Math. , 82:385, 1974/75. Collection of articles dedicated to Andrzej Mostowski on the occasion of his sixtieth birthday, VIII. |
| [25]   | Francesco Parente. On Chu transforms. private communication, August 2019.                                                                                                                                                                                               |
| [26]   | Dana Scott. Logic with denumerably long formulas and finite strings of quantifiers. In Theory of Models (Proc. 1963 Internat. Sympos. Berke- ley) , pages 329-341. North-Holland, Amsterdam, 1965.                                                                      |
| [27]   | Saharon Shelah. Isomorphic limit ultrapowers for infinitary logic. arXiv:1810.12729.                                                                                                                                                                                    |
| [28]   | Saharon Shelah. Nice infinitary logics. Journal of AMS , 25:395-427, 2012.                                                                                                                                                                                              |
| [29]   | Jonathan Stavi. Compactness properties of infinitary and abstract languages. I. General results. In Logic Colloquium '77 (Proc. Conf., Wrocław, 1977) , volume 96 of Stud. Logic Foundations Math. , pages 263-275. North-Holland, Amsterdam-New York, 1978.            |
| [30]   | Jouko Väänänen. Models and Games . Cambridge University Press, New York, NY, USA, 1st edition, 2011.                                                                                                                                                                    |
| [31]   | Jouko Väänänen. Lindström's theorem. In Jean-Yves Beziau, editor, Universal Logic: An Anthology , pages 231-236. Springer, 2012.                                                                                                                                        |
| [32]   | Jouko Väänänen and Boban Veličković. Astrengthening of L 1 κ . in prepa- ration.                                                                                                                                                                                        |
| [33]   | Jouko Väänänen and Andrés Villaveces. A fragment of L 1 κ . in prepara- tion.                                                                                                                                                                                           |

- [34] Johan van Benthem. A new modal Lindström theorem. Log. Univers. , 1(1):125-138, 2007.
- [35] Johan Van Benthem, Balder Ten Cate, and Jouko Väänänen. Lindström theorems for fragments of first-order logic. Log. Methods Comput. Sci. , 5(3):3:3, 27, 2009.
- [36] Peter Vojtáš. Topological cardinal invariants and the Galois-Tukey category. In Recent Developments of General Topology and its Applications , volume 67, Berlin, 1992. International Conference in Memory of Felix Hausdorff (1868-1942), Mathematical Research.
- [37] Reihane Zoghifard and Massoud Pourmahdian. First-order modal logic: frame definability and a Lindström theorem. Studia Logica , 106(4):699720, 2018.
Mirna Džamonja Jouko Väänänen
Chain Logic and Shelah's Infinitary Logic
For a cardinal of the form $\kappa=\beth_\kappa$, Shelah's logic $L^1_\kappa$
has a characterisation as the maximal logic above $\bigcup_{\lambda<\kappa}
L_{\lambda, \omega}$ satisfying Strong Undefinability of Well Order (SUDWO).
SUDWO is a strengthening of the Undefinability of Well Order (UDWO). We prove
that if $\kappa$ is singular of countable cofinality, Karp's chain logic
\cite{Karpintroduceschain} is above $L^1_\kappa$, while it is already known
that it satisfies UDWO and Interpolation. Moreover, we show that in these
circumstances, the chain logic is -- in a sense -- maximal among logics with
chain models to satisfy UDWO. We then show that the chain logic gives a partial
solution to Problem 1.4. from Shelah's \cite{Sh797}, which asked whether for
$\kappa$ singular of countable cofinality there was a logic strictly between $
L_{\kappa^+, \omega}$ and $L_{\kappa^+, \kappa^+}$ having Interpolation. We
show that modulo accepting as the upper bound a model class of $L_{\kappa,
\kappa}$, Karp's chain logic satisfies the required properties. In addition, we
show that this chain logic is not $\kappa$-compact, a question that we have
asked on various occasions. We contribue to the further development of chain
logic by proving the Union Lemma and identifying the chain-independent fragment
of the logic, showing that it still has considerable expressive power. In
conclusion, we have shown that the simply defined chain logic emulates the
logic $L^1_\kappa$ in satisfying Interpolation, undefinability of well-order
and maximality with respect to it, and the Union Lemma. In addition it has a
Completeness Theorem.