Pages that link to "Item:Q5639710"

The following pages link to Infinitary analogs of theorems from first order model theory (Q5639710):

Displaying 21 items.

• \(\lambda\)-satisfiability, \(\lambda\)-consistency property, the downward Löwenheim-Skolem theorem, and the failure of the interpolation theorem for \(L_{\kappa,\kappa}\) with \(\kappa\) a strong limit cardinal of cofinality \(\lambda\) (Q582286) (← links)
• Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
• Karp's interpolation theorem for some classes of infinitary languages (Q914662) (← links)
• The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
• An analysis of Karp's interpolation theorem and the notion of k- consistency property (Q1164043) (← links)
• Strong Maehara and Takeuti type interpolation theorems for \(L_{k,k}^{2+}\) (Q1177671) (← links)
• Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\) (Q1192073) (← links)
• Model theory via set theory (Q1244220) (← links)
• Definability and automorphisms in abstract logics (Q1762731) (← links)
• Beth's theorem in cardinality logics (Q2561208) (← links)
• CHAIN MODELS, TREES OF SINGULAR CARDINALITY AND DYNAMIC EF-GAMES (Q3094360) (← links)
• Pragmatic truth and approximation to truth (Q3744152) (← links)
• Beth's property fails in <i>L</i>^&lt;ω (Q3880816) (← links)
• A direct proof of the Feferman-Vaught theorem and other preservation theorems in products (Q3984437) (← links)
• One hundred and two problems in mathematical logic (Q4079563) (← links)
• On the Failure of the Weak Beth Property (Q4110977) (← links)
• Scott's interpolation theorem fails for L_{ω1, ω} (Q4111528) (← links)
• A heterogeneous interpolant (Q4770379) (← links)
• Weak definability in infinitary languages (Q4770396) (← links)
• LOGICALITY AND MODEL CLASSES (Q5037517) (← links)
• WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE? (Q5884253) (← links)