9 citations · 12 across the 2 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…