2 citations · 5 across the 11 of their papers we have counts for
1 paper · 2 filters
Denis I. Saveliev
We consider a certain class of infinitary rules of inference, called here restriction rules, using of which allows us to deduce complete theories of given models. The first instanc…