Pages that link to "Item:Q3864498"

The following pages link to Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin (Q3864498):

Displaying 13 items.

• Positive results in abstract model theory: a theory of compact logics (Q796519) (← links)
• A topological characterization of \((\lambda,\mu)^*-compactness\) (Q796520) (← 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)
• Completeness theorems for continuous functions and product topologies (Q1232838) (← links)
• Are Newtonian gravitation and geometrized Newtonian gravitation theoretically equivalent? (Q1706751) (← links)
• The Interior Operator Logic and Product Topologies (Q3861367) (← links)
• Interpolation Fails for the Souslin-Kleene Closure of the Open Set Quantifier Logic (Q3898483) (← links)
• The theorems of beth and Craig in abstract model theory II. Compact logics (Q3926560) (← links)
• Interpolation, compactness and JEP in soft model theory (Q3958441) (← links)
• Duality Between Logics and Equivalence Relations (Q3960670) (← links)