Pages that link to "Item:Q5469105"
From MaRDI portal
The following pages link to Some preservation theorems in an intermediate logic (Q5469105):
Displaying 7 items.
- Omitting types in an intermediate logic (Q539154) (← links)
- Some preservation theorems for the infinitary logic \({\mathcal L}_{\omega_1\omega}'\) (Q2744362) (← links)
- Diagram Construction in Intuitionistic Logic (Q3424136) (← links)
- Preservation and Interpolation Through Binary Relations Between Theories (Q3797168) (← links)
- On Preservation Theorems for Two-Variable Logic (Q4264532) (← links)
- (Q4873213) (← links)
- (Q4873222) (← links)