7 citations · 13 across the 7 of their papers we have counts for
1 paper · 1 filter
Grigori Zhitomirski
The connection between classical model theoretical types (MT-types) and logically-geometrical types (LG-types) introduced by B. Plotkin is considered. It is proved that MT-types of…