Pages that link to "Item:Q1208083"
From MaRDI portal
The following pages link to Compactness and normality in abstract logics (Q1208083):
Displaying 15 items.
- Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics (Q765524) (← links)
- Positive results in abstract model theory: a theory of compact logics (Q796519) (← links)
- A topological characterization of \((\lambda,\mu)^*-compactness\) (Q796520) (← links)
- Definability theorems in normal extensions of the provability logic (Q918958) (← links)
- A non-compactness phenomenon in logics with hyperintensional predication (Q1264134) (← links)
- Some compactness results for modal logic (Q1823924) (← links)
- Minimally generated abstract logics (Q1931337) (← links)
- Omitting uncountable types and the strength of \([0,1]\)-valued logics (Q2442152) (← links)
- Cauchy completeness in elementary logic (Q3128466) (← links)
- (Q3340840) (← links)
- Duality for Compact Logics and Substitution in Abstract Model Theory (Q3347866) (← links)
- A generalization of abstract model theory (Q3726101) (← links)
- (Q3812223) (← links)
- Infinitary logic and basically disconnected compact Hausdorff spaces (Q4612441) (← links)
- XI Latin American Symposium on Mathematical Logic (Q4946844) (← links)
