Pages that link to "Item:Q3431971"
From MaRDI portal
The following pages link to An Institution-independent Generalization of Tarski's Elementary Chain Theorem (Q3431971):
Displaying 6 items.
- Logical systems. I: Internal calculi. (Q326587) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- Saturated models in institutions (Q992038) (← links)
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally (Q2254574) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- Stratified institutions and elementary homomorphisms (Q2379932) (← links)
