activity
20182022
most citedLogics for Epistemic Actions: Completeness, Decidability, Expressivity

4 citations · 4 across the 4 of their papers we have counts for

collaborators

7 papers

math.LO2022

Polish modules over subrings of

Dexuan Hu, Sławomir Solecki

We give a method of producing a Polish module over an arbitrary subring of from an ideal of subsets of and a sequence in . The method allows us t…

cs.LO20224 cited

Logics for Epistemic Actions: Completeness, Decidability, Expressivity

Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki

We consider dynamic versions of epistemic logic as formulated in Baltag and Moss "Logics for epistemic programs" (2004). That paper proposed a logical language (actually families o…

math.DS2021

The spectral form of Koopman representations of the group of measurable functions with values in the circle

Justin Tatch Moore, Sławomir Solecki

We compute the spectral form of the Koopman representation induced by a natural boolean action of identified earlier by the authors. Our computation establish…

math.LO2020

Tukey order among ideals

Jialiang He, Michael Hrušák, Diego Rojas-Rebolledo +1

We investigate the Tukey order in the class of ideals of subsets of . We show that no nontrivial ideal is Tukey below a ideal of compact sets. We introduce the…

math.LO2019

Transfinite sequences of topologies, descriptive complexity, and approximating equivalence relations

Sławomir Solecki

We introduce the notion of filtration between topologies and study its stabilization properties. Descriptive set theoretic complexity plays a role in this study. Filtrations lead t…

math.PR2019

Concentration of measure, classification of submeasures, and dynamics of

Friedrich Martin Schneider, Sławomir Solecki

Exhibiting a new type of measure concentration, we prove uniform concentration bounds for measurable Lipschitz functions on product spaces, where Lipschitz is taken with respect to…