Pages that link to "Item:Q1920077"
From MaRDI portal
The following pages link to Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs (Q1920077):
Displaying 5 items.
- The problem of finite axiomatizability for strongly minimal graph theories (Q803149) (← links)
- Expressive power of finitely axiomatizable theories. II: Rigid quasi-succession (Q1920081) (← links)
- Expressive power of finitely axiomatizable theories. III: The main construction (Q1920094) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
- Interpretation of graphs in noncommutative theories of Frechet powers (Q2452705) (← links)