Pages that link to "Item:Q4405133"
From MaRDI portal
The following pages link to Two interpolation theorems for a predicate calculus (Q4405133):
Displaying 5 items.
- Seq-consistency property and interpolation theorems (Q790101) (← links)
- Strong Maehara and Takeuti type interpolation theorems for \(L_{k,k}^{2+}\) (Q1177671) (← links)
- Strong Maehara and Takeuti type interpolation theorems for \(L^{2+}_{k,k}\) (Q1192073) (← links)
- Limits to some interpolation theorems (Q1236524) (← links)
- Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality (Q1241504) (← links)