Denis I. Saveliev
Identifiers
- name variant Denis I. Saveliev 0.60 · backfill
Papers (7)
- More on expressibility of satisfiability in submodels and extensions math.LO · 2026 · author #2
- On first-order expressibility of satisfiability in submodels math.LO · 2019 · author #1
- Ultrafilter extensions of linear orders math.LO · 2013 · author #1
- Common idempotents in compact left topological left semirings math.GN · 2010 · author #1
- Choice and Regularity: Common Consequences in Logic math.LO · 2007 · author #1
- A Note on Singular Cardinals in Set Theory Without Choice math.LO · 2007 · author #1
- A game on the universe of sets math.LO · 2006 · author #1
Mentions
Frequent Coauthors
- Nikolai L. Poliakov 1 shared papers