相关论文: Perfectly meager sets and universally null sets

We call a finite, spanning set of a semi-simple real Lie algebra a distinguished set if it satisfies the following property: The Lie bracket of any two elements out of the set is, up to some constant, another element in the set; conversely,…

We show that the statement "every universally Baire set of reals has the perfect set property" is equiconsistent modulo ZFC with the existence of a cardinal that we call a virtually Shelah cardinal. These cardinals resemble Shelah cardinals…

The set-theoretical model of Goedel's system T is not fully abstract. We also briefly discuss fully abstract models of system T.

In contrast to the robust mutual interpretability phenomenon in set theory, Ali Enayat proved that bi-interpretation is absent: distinct theories extending ZF are never bi-interpretable and models of ZF are bi-interpretable only when they…

Union-free families of subsets of $[n]=\{1,... n\}$ have been studied in \cite{FF}. In this paper, we provide a complete characterization of maximal {\it symmetric difference}-free families of subsets of $[n]$.

A cuf space (set, resp.) is a space (set, resp.) which is a countable union of finite subspaces (subsets, resp.). It is proved in $\mathbf{ZF}$ (with the absence of the axiom of choice) that all countable unions of cuf (denumerable, resp.)…

In this paper we investigate full box spaces and coarse equivalences between them. We do this in two parts. In part one we compare the full box spaces of free groups on different numbers of generators. In particular the full box space of a…

We investigate the existence of a class of ZFC-provably total recursive unary functions, given certain constraints, and apply some of those results to show that, for $\Sigma_1$-sound set theory, ZFC$\not\vdash P<NP$.

In this paper, when the order of $\theta$ is even, we prove that there exists no central difference sets in $A_2(m,\theta)$ and establish some non-existence results of central partial difference sets in $A_p(m,\theta)$ with $p>2$. When the…

We prove (ZF+DC) e.g. : if mu =|H(mu)| then mu^+ is regular non measurable. This is in contrast with the results for mu = aleph_{omega} on measurability see Apter Magidor [ApMg]

In this paper we consider a notion of universal sets for ideals. We show that there exist universal sets of minimal Borel complexity for classic ideals like null subsets of $2^\omega$ and meager subsets of any Polish space, and demonstrate…

Our aim in this note is to show that, for any $\epsilon>0$, there exists a union-closed family $\mathcal F$ with (unique) smallest set $S$ such that no element of $S$ belongs to more than a fraction $\epsilon$ of the sets in $\mathcal F$.…

We show that a random set of integers with density 0 has almost always more differences than sums. This proves a conjecture by Martin and O'Bryant.

Let $\mu$ be a positive measure on the real line with locally finite support $\Lambda$ and integer masses such that its Fourier transform in the sense of distributions is a purely point measure. An explicit form is found for an entire…

We exhibit an example of a finitely presented monoid that is congruence-free and simple but not bisimple.

We find new "reasons" for a class of models for not having a universal model in a cardinal $\lambda$. This work, though it has consequences in model theory, is really in combinatorial set theory. We concentrate on a prototypical class which…

In this note we present a ZFC construction of a non-meager filter which fails to be countable dense homogeneous. This answers a question of Hern\'andez-Guti\'errez and Hru\v{s}\'ak. The method of the proof also allows us to obtain a…

We study Baire category for subsets of 2^omega that are downward-closed with respect to the almost-inclusion ordering (on the power set of the natural numbers, identified with 2^omega). We show that it behaves better in this context than…

We give model-theoretic characterizations of UHF algebras and of AF algebras as C*-algebras that omit certain sets of types.

We survey results about Haar null subsets of (not necessarily locally compact) Polish groups. The aim of this paper is to collect the fundamental properties of the various possible definitions of Haar null sets, and also to review the…