BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Slawomir Solecki

Slawomir Solecki appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.LOmath.COmath.FALogic in Computer Sciencemath.DSmath.GRmath.PRmath.RT

Catalog footprint

What is connected

9works
8topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

9 published item(s)

preprint2022arXiv

Logics for Epistemic Actions: Completeness, Decidability, Expressivity

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 of languages parameterized by action signatures) for dynamic epistemic logic. It had been shown that validity in the language is Pi-1-1-complete, so there are no recursively axiomatized complete logical systems for it. In contrast, this paper proves a weak completeness result for the fragment without action iteration, and a strong completeness result for the fragment without action iteration and common knowledge. Our work involves a detour into term rewriting theory. The argument uses modal filtration, and thus we obtain the finite model property and hence decidability. We also give a translation of our largest language into PDL, thereby obtaining a second proof of decidability. The paper closes with some results on expressive power. These are mostly concerned with comparing the action-iteration-free language with modal logic augmented by transitive closure operators. We answer a natural question about the languages we obtain by varying the action signature: we prove that a logical language with operators for private announcements is more expressive than one for public announcements.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A combinatorial model for the Menger curve

We represent the universal Menger curve as the topological realization $|\mathbb{M}|$ of the projective Fraïssé limit ${\mathbb M}$ of the class of all finite connected graphs. We show that $\mathbb{M}$ satisfies combinatorial analogues of the Mayer-Oversteegen-Tymchatyn homogeneity theorem and the Anderson-Wilson projective universality theorem. Our arguments involve only $0$-dimensional topology and constructions on finite graphs. Using the topological realization $\mathbb{M}\mapsto|\mathbb{M}|$, we transfer some of these properties to the Menger curve: we prove the approximate projective homogeneity theorem, recover Anderson's finite homogeneity theorem, and prove a variant of Anderson-Wilson's theorem. The finite homogeneity theorem is the first instance of an "injective" homogeneity theorem being proved using the projective Fraïssé method. We indicate how our approach to the Menger curve may extend to higher dimensions.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Unitary representations of the groups of measurable and continuous functions with values in the circle

We give a classification of unitary representations of certain Polish, not necessarily locally compact, groups: the groups of all measurable functions with values in the circle and the groups of all continuous functions on compact, second countable, zero-dimensional spaces with values in the circle. In the proofs of our classification results, certain structure theorems and factorization theorems for linear operators are used.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Abstract approach to finite Ramsey theory and a self-dual Ramsey theorem

We give an abstract approach to finite Ramsey theory and prove a general Ramsey-type theorem. We deduce from it a self-dual Ramsey theorem, which is a new result naturally generalizing both the classical Ramsey theorem and the dual Ramsey theorem of Graham and Rothschild. In fact, we recover the pure finite Ramsey theory from our general Ramsey-type result in the sense that the classical Ramsey theorem, the Hales--Jewett theorem (with Shelah's bounds), the Graham--Rothschild theorem, the versions of these results for partial rigid surjections due to Voigt, and the new self-dual Ramsey theorem are all obtained as iterative applications of the general result.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A Boolean action of C(M,U(1)) without a spatial model and a re-examination of the Cameron-Martin theorem

We will demonstrate that if M is an uncountable compact metric space, then there is an action of the Polish group of all continuous functions from M to U(1) on a separable probability algebra which preserves the measure and yet does not admit a point realization in the sense of Mackey. This is achieved by exhibiting a strong form of ergodicity of the Boolean action known as whirliness. This is in contrast with Mackey's point realization theorem, which asserts that any measure preserving Boolean action of a locally compact second countable group on a separable probability algebra can be realized as an action on the points of the associated probability space. In the course of proving the main theorem, we will prove a result concerning infinite dimensional Gaussian measure space which is in contrast with the Cameron-Martin Theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Abstract approach to Ramsey theory and Ramsey theorems for finite trees

I will give a presentation of an abstract approach to finite Ramsey theory found in an earlier paper of mine. I will prove from it a common generalization of Deuber's Ramsey theorem for regular trees and a recent Ramsey theorem of Jasinski for boron tree structures. This generalization appears to be new. I will also show, in exercises, how to deduce from it the Milliken Ramsey theorem for strong subtrees.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Borel equivalence relations and Lascar strong types

The space of Lascar strong types, on some sort and relative to a given first order theory T, is in general not a compact Hausdorff space. This paper has at least three aims. First to show that spaces of Lascar strong types and other related spaces such as the Lascar group, have well-defined Borel cardinalities. The second is to compute the Borel cardinalities of the known examples as well as some new examples. The third is to explore notions of definable map, embedding and isomorphism between these and related quotient objects. The motivation for writing this paper is the recent discovery, via definable groups, of new examples of non G-compact first order theories.

0 citations0 reviewsNo code linkedOpen access