Denis I. Saveliev

From MaRDI portal
(Redirected from Person:831221)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
A note on restriction rules2023-12-11Paper
Medvedev's logic and products of converse well orders2023-03-24Paper
On reduction and separation of projective sets in Tychonoff spaces
Russian Mathematical Surveys
2022-05-09Paper
On ultrafilter extensions of first-order models and ultrafilter interpretations
Archive for Mathematical Logic
2021-07-21Paper
On modal logics of model-theoretic relations
Studia Logica
2021-05-11Paper
Ultrafilter extensions do not preserve elementary equivalence
Mathematical Logic Quarterly
2020-05-06Paper
On first-order expressibility of satisfiability in submodels
(available as arXiv preprint)
2020-03-04Paper
On two types of ultrafilter extensions of binary relations2020-01-08Paper
On first-order expressibility of satisfiability in submodels
(available as arXiv preprint)
2019-03-12Paper
On ultrafilter extensions of first-order models and ultrafilter interpretations
(available as arXiv preprint)
2018-12-15Paper
On two concepts of ultrafilter extensions of first-order models and their generalizations2017-12-20Paper
A note on singular cardinals without the axiom of choice
Russian Mathematical Surveys
2016-08-25Paper
On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements
Mathematical Logic Quarterly (MLQ)
2016-06-24Paper
Ultrafilter extensions of linearly ordered sets.
Order
2015-03-20Paper
On idempotents in compact left topological universal algebras
Topology Proceedings
2013-11-20Paper
Ultrafilter extensions of models
Logic and Its Applications
2010-12-17Paper
Common idempotents in compact left topological left semirings2010-02-08Paper
Choice and Regularity: Common Consequences in Logic2007-09-19Paper
A Note on Singular Cardinals in Set Theory Without Choice2007-09-15Paper
Hindman's finite sums theorem and its application to topologizations of algebras
(available as arXiv preprint)
N/APaper


Research outcomes over time


This page was built for person: Denis I. Saveliev