Pages that link to "Item:Q3926560"

The following pages link to The theorems of beth and Craig in abstract model theory II. Compact logics (Q3926560):

Displaying 11 items.

• Positive results in abstract model theory: a theory of compact logics (Q796519) (← links)
• Definability properties and the congruence closure (Q810007) (← links)
• The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics (Q912089) (← links)
• Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
• Remarks in abstract model theory (Q1080418) (← links)
• A note on extensions of infinitary logic (Q1765098) (← links)
• Adjunction of a strong unit to a hyper-Archimedean lattice-ordered group (Q2683741) (← links)
• The Beth-closure of <i>ℒ</i>(<i>Q_α</i>) is not finitely generated (Q4032628) (← links)
• Barwise: Abstract Model Theory and Generalized Quantifiers (Q4678933) (← links)
• AN EXPOSITION OF THE COMPACTNESS OF (Q4984858) (← links)
• MAXIMALITY OF LOGIC WITHOUT IDENTITY (Q6123583) (← links)