Pages that link to "Item:Q1024119"
From MaRDI portal
The following pages link to The Craig interpolation theorem in abstract model theory (Q1024119):
Displaying 10 items.
- The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics (Q912089) (← links)
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- Some remarks on the bearing of model theory on the theory of theories (Q1024117) (← links)
- CHAIN MODELS, TREES OF SINGULAR CARDINALITY AND DYNAMIC EF-GAMES (Q3094360) (← links)
- (Q3358708) (← links)
- Coinductive formulas and a many-sorted interpolation theorem (Q3822150) (← links)
- (Q4392088) (← links)
- Algebraic Characterization of the Local Craig Interpolation Property (Q4556007) (← links)
- MODEL THEORY OF MEASURE SPACES AND PROBABILITY LOGIC (Q5402232) (← links)
- Craig interpolation for decidable first-order fragments (Q6629523) (← links)