Denis I. Saveliev

Identifiers

• name variant Denis I. Saveliev 0.60 · backfill

Papers (7)

1. More on expressibility of satisfiability in submodels and extensions math.LO · 2026 · author #2
2. On first-order expressibility of satisfiability in submodels math.LO · 2019 · author #1
3. Ultrafilter extensions of linear orders math.LO · 2013 · author #1
4. Common idempotents in compact left topological left semirings math.GN · 2010 · author #1
5. Choice and Regularity: Common Consequences in Logic math.LO · 2007 · author #1
6. A Note on Singular Cardinals in Set Theory Without Choice math.LO · 2007 · author #1
7. A game on the universe of sets math.LO · 2006 · author #1

Mentions

• 1310.4533 #1 · backfill · confidence 0.70 Denis I. Saveliev
• 1002.1599 #1 · backfill · confidence 0.70 Denis I. Saveliev
• 0709.2979 #1 · backfill · confidence 0.70 Denis I. Saveliev
• 0709.2436 #1 · backfill · confidence 0.70 Denis I. Saveliev

Frequent Coauthors

• Nikolai L. Poliakov 1 shared papers