Pages that link to "Item:Q796519"
From MaRDI portal
The following pages link to Positive results in abstract model theory: a theory of compact logics (Q796519):
Displaying 21 items.
- A topological characterization of \((\lambda,\mu)^*-compactness\) (Q796520) (← links)
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073) (← 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)
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- Remarks in abstract model theory (Q1080418) (← links)
- On the homogeneity property for certain quantifier logics (Q1204106) (← links)
- Compactness and normality in abstract logics (Q1208083) (← links)
- Downward transfer of satisfiability for sentences of <i>L</i><sup>1,1</sup> (Q3322083) (← links)
- (Q3340840) (← links)
- Duality for Compact Logics and Substitution in Abstract Model Theory (Q3347866) (← links)
- Compactness and Independence in Non First Order Frameworks (Q3370626) (← links)
- Compactness=JEP in any logic (Q3677753) (← links)
- Embeddings, amalgamation and elementary equivalence: the representation of compact logics (Q3734379) (← links)
- Vopěnka's principle and compact logics (Q3760532) (← links)
- Limit ultrapowers and abstract logics (Q3767333) (← links)
- (Q3808081) (← links)
- (Q3812223) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Paris, 1985 (Q4724593) (← links)
- UNIVERSAL THEORIES AND COMPACTLY EXPANDABLE MODELS (Q5195065) (← links)
- Model theoretic characterizations of large cardinals revisited (Q6658107) (← links)
