Pages that link to "Item:Q2561208"

The following pages link to Beth's theorem in cardinality logics (Q2561208):

Displaying 15 items.

• Definability properties and the congruence closure (Q810007) (← links)
• Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
• The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
• Remarks in abstract model theory (Q1080418) (← links)
• Zum \(L(Q)\)-Interpolationsproblem (Q1846413) (← links)
• Beth's property fails in <i>L</i>^&lt;ω (Q3880816) (← links)
• The theorems of beth and Craig in abstract model theory II. Compact logics (Q3926560) (← links)
• The Härtig quantifier: a survey (Q3984397) (← links)
• The Beth-closure of <i>ℒ</i>(<i>Q_α</i>) is not finitely generated (Q4032628) (← links)
• One hundred and two problems in mathematical logic (Q4079563) (← links)
• Generalized Quantifiers and Compact Logic (Q4083390) (← links)
• On the Failure of the Weak Beth Property (Q4110977) (← links)
• Ideal models and some not so ideal problems in the model theory of <i>L(Q)</i> (Q4165363) (← links)
• TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY (Q5159499) (← links)
• Craig interpolation for decidable first-order fragments (Q6629523) (← links)