Prime model 1970-01-01
Read the full article
Pseudoelementary class 1970-01-01
Read the full article
Quantifier elimination 1970-01-01
Read the full article
Quantifier rank 1970-01-01
Read the full article
Real closed ring 1970-01-01
Read the full article
Reduced product 1970-01-01
Read the full article
Satisfiability 1970-01-01
Read the full article
Gödel's completeness theorem 1970-01-01
Read the full article
Hereditary property 1970-01-01
Read the full article
Hilmi Volkan Demir 1970-01-01
Read the full article
Hrushovski construction 1970-01-01
Read the full article
Imaginary element 1970-01-01
Read the full article
Indiscernibles 1970-01-01
Read the full article
Institutional model theory 1970-01-01
Read the full article
Institution (computer science) 1970-01-01
Read the full article
Interpretation (logic) 1970-01-01
Read the full article
Yaşar Önel 1970-01-01
Read the full article
Ziya Burhanettin Güvenç 1970-01-01
Read the full article
Differentially closed field 1970-01-01
Read the full article
Ehrenfeucht–Fraïssé game 1970-01-01
Read the full article