Saveliev, Denis I.

1. On ultrafilter extensions of first-order models and ultrafilter interpretations
   2018/12/15 by Poliakov, Nikolai L., Saveliev, Denis I. · 3 citations
   #03C30 #03C55 #03C80 #54A20 #54B05 #54B10 #54B20 #54C08 #54C10 #54C15 #54C20 #54C50 #54D35 #54D80 (Primary) #54E05 #54F65 #54H10 (Secondary) #FOS: Mathematics #Logic (math.LO)
2. On two types of ultrafilter extensions of binary relations
   2020/01/08 by Denis I. Saveliev, Saveliev, Denis I. · 1 citation
   Computer Science · Decision Sciences · #08A02 #54B20 #54C08 #54C10 #54C20 (Secondary) #54D35 #54D80 (Primary) 03G15 #Advanced Algebra and Logic #FOS: Mathematics #Fuzzy and Soft Set Theory #General Topology (math.GN) #Logic (math.LO) #Rough Sets and Fuzzy Logic