Ramsey and Hypersmoothness
Combining canonization results of Prömel-Voigt, Mathias, and Soare, we provide a new, natural example of an equivalence relation that is not hypersmooth.
Source author record
Zoltán Vidnyánszky
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
11works
6topics
4close collaborators
Published work
11 publications
preprint2022arXiv
Ramsey, expanders, and Borel chromatic numbers
We construct bounded degree acyclic Borel graphs with large Borel chromatic number using a graph arising from Ramsey theory and limits of expander sequences.
Open access
preprint2020arXiv
Haar-positive closed subsets of Haar-positive analytic sets
We show that every non-Haar-null analytic subset of Zω contains a non-Haar-null closed subset. Moreover, we also prove that the codes of Haar-null analytic subsets, and, consequently, closed Haar-null sets in the Effros Borel space of Zω form a Δ21 set.
Open access
preprint2020arXiv
On the existence of small antichains for definable quasi-orders
We generalize Kada's definable strengthening of Dilworth's characterization of the class of quasi-orders admitting an antichain of a given finite cardinality.
Open access
preprint2016arXiv
Characterization of order types of pointwise linearly ordered families of Baire class 1 functions
In the 1970s M. Laczkovich posed the following problem: Let B1(X) denote the set of Baire class 1 functions defined on an uncountable Polish space X equipped with the pointwise ordering. Characterize the order types of the linearly ordered subsets of B1(X).The main result of the present paper is a complete solution to this problem. We prove that a linear order is isomorphic to a linearly ordered family of Baire class 1 functions iff it is isomorphic to a subset of the following linear order that we call ([0,1]↘0<ω1,<altlex), where [0,1]↘0<ω1 is the set of strictly decreasing transfinite sequences of reals in [0,1] with last element 0, and <altlex, the so called \emph{alternating lexicographical ordering}, is defined as follows: if (xα)α≤ξ,(xα′)α≤ξ′∈[0,1]↘0<ω1, and δ is the minimal ordinal where the two sequences differ then we say that (xα)α≤ξ<altlex(xα′)α≤ξ′⟺(δ is even and xδ<xδ′) or (δ is odd and xδ>xδ′). Using this characterization we easily reprove all the known results and answer all the known open questions of the topic.
Open access
preprint2015arXiv
Almost disjoint refinements and mixing reals
We investigate families of subsets of ω with almost disjoint refinements in the classical case as well as with respect to given ideals on ω. More precisely, we study the following topics and questions: 1) Examples of projective ideals. 2) We prove the following generalization of a result due to J. Brendle: If V⊆W are transitive models, ω1W⊆V, P(ω)∩V=P(ω)∩W, and I is an analytic or coanalytic ideal coded in V, then there is an I-almost disjoint refinement (I-ADR) of I+∩V in W, that is, a family {AX:X∈I+∩V}∈W such that (i) AX⊆X, AX∈I+ for every X and (ii) AX∩AY∈I for every distinct X and Y. 3) The existence of perfect I-almost disjoint (I-AD) families, and the existence of a "nice" ideal I on ω with the property: Every I-AD family is countable but I is nowhere maximal. 4) The existence of (I,Fin)-almost disjoint refinements of families of I-positive sets in the case of everywhere meager (e.g. analytic or coanalytic) ideals. We prove a positive result under Martin's Axiom. 5) Connections between classical properties of forcing notions and adding mixing reals (and mixing injections), that is, a (one-to-one) function f:ω→ω such that ∣f[X]∩Y∣=ω for every X,Y∈[ω]ω∩V.
Open access
preprint2015arXiv
Naively Haar null sets in Polish groups
Let (G,⋅) be a Polish group. We say that a set X⊂G is Haar null if there exists a universally measurable set U⊃X and a Borel probability measure μ such that for every g,h∈G we have μ(gUh)=0. We call a set X naively Haar null if there exists a Borel probability measure μ such that for every g,h∈G we have μ(gXh)=0. Generalizing a result of Elekes and Steprāns, which answers the first part of Problem FC from Fremlin's list, we prove that in every abelian Polish group there exists a naively Haar null set that is not Haar null.
Open access
preprint2015arXiv
Ranks on the Baire class ξ functions
In 1990 Kechris and Louveau developed the theory of three very natural ranks on the Baire class 1 functions. A rank is a function assigning countable ordinals to certain objects, typically measuring their complexity. We extend this theory to the case of Baire class ξ functions, and generalize most of the results from the Baire class 1 case. We also show that their assumption of the compactness of the underlying space can be eliminated. As an application, we solve a problem concerning the so called solvability cardinals of systems of difference equations, arising from the theory of geometric decompositions. We also show that certain other very natural generalizations of the ranks of Kechris and Louveau surprisingly turn out to be bounded in ω1. Finally, we prove a general result showing that all ranks satisfying some natural properties coincide for bounded functions.
Open access
preprint2014arXiv
Haar null sets without Gδ hulls
Let G be an abelian Polish group, e.g. a separable Banach space. A subset X⊂G is called Haar null (in the sense of Christensen) if there exists a Borel set B⊃X and a Borel probability measure μ on G such that μ(B+g)=0 for every g∈G. The term shy is also commonly used for Haar null, and co-Haar null sets are often called prevalent. Answering an old question of Mycielski we show that if G is not locally compact then there exists a Borel Haar null set that is not contained in any Gδ Haar null set. We also show that Gδ can be replaced by any other class of the Borel hierarchy, which implies that the additivity of the σ-ideal of Haar null sets is ω1. The definition of a generalised Haar null set is obtained by replacing the Borelness of B in the above definition by universal measurability. We give an example of a generalised Haar null set that is not Haar null, more precisely we construct a coanalytic generalised Haar null set without a Borel Haar null hull. This solves Problem GP from Fremlin's problem list. Actually, all our results readily generalise to all Polish groups that admit a two-sided invariant metric.
Open access
preprint2014arXiv
Transfinite inductions producing coanalytic sets
A. Miller proved the consistent existence of a coanalytic two-point set, Hamel basis and MAD family. In these cases the classical transfinite induction can be modified to produce a coanalytic set. We generalize his result formulating a condition which can be easily applied in such situations. We reprove the classical results and as a new application we show that in V=L there exists an uncountable coanalytic subset of the plane that intersects every C1 curve in a countable set.
Open access
preprint2014arXiv
Unions of regular polygons with large perimeter-to-area ratio
T. Keleti asked, whether the ratio of the perimeter and the area of a finite union of unit squares is always at most 4. In this paper we present an example where the ratio is greater than 4. We also answer the analogous question for regular triangles negatively and list a number of open problems.
Open access
Research graph
See the researcher in context
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.