Pages that link to "Item:Q4081206"
From MaRDI portal
The following pages link to A new look at the interpolation problem (Q4081206):
Displayed 6 items.
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- Partially definable forcing and bounded arithmetic (Q2257103) (← links)
- An Interpolation Theorem (Q2711348) (← links)
- Coinductive formulas and a many-sorted interpolation theorem (Q3822150) (← links)
- (Q3863858) (← links)
- From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory (Q5214779) (← links)