author={Tomek Bartoszynski},
  journal={arXiv: Logic},
The purpose of this chapter is to discuss various results concerning the relationship between measure and category. The focus is on set-theoretic properties of the associated ideals, particularly, their cardinal characteristics. The key notion is the Tukey reducibility which compares partial orders with respect to their cofinality type. We define small sets of reals associated with cardinal invariants and discuss their properties. We present a number of ZFC results and forcing-like… 
Cardinal invariants and the collapse of the continuum by Sacks forcing
A cardinal invariant such that collapses the continuum to and is obtained by applying the Baumgartner-Dordal theorem on preservation of eventually narrow sequences to obtain the consistency of .
On possible restrictions of the null ideal
We prove that the null ideal restricted to a non-null set of reals could be isomorphic to a variety of sigma ideals. Using this, we show that the following are consistent: (1) There is a non-null
Alternative Cichoń Diagrams and Forcing Axioms Compatible with CH
This dissertation surveys several topics in the general areas of iterated forcing, infinite combinatorics and set theory of the reals. There are two parts. In the first half I consider alternative
Cichoń’s diagram for uncountable cardinals
We develop a version of Cichoń’s diagram for cardinal invariants on the generalized Cantor space 2κ or the generalized Baire space κκ, where κ is an uncountable regular cardinal. For strongly
Models of some cardinal invariants with large continuum (Forcing extensions and large cardinals)
We extend the applications of the techniques used in Arch Math Logic 52:261-278, 2013, to present various examples of consistency results where some cardinal invariants of the continuum take
Cantor’s Continuum Hypothesis was proved to be independent from the usual ZFC axioms of Set Theory by Gödel and Cohen. The method of forcing, developed by Cohen to this end, has lead to a profusion
Template iterations with non-definable ccc forcing notions
Generalized Egoroff’s theorem
Abstract This note is closely related to the paper [R. Pinciroli: On theindependence of a generalized statement of Egoroff’s theorem from ZFC afterT. Weiss, Real Anal. Exchange 32 (2006-2007),
Infinite dimensional perfect set theorems
What largeness and structural assumptions on A ⊆ [R]ω can guarantee the existence of a non-empty perfect set P ⊆ R such that [P ]ω ⊆ A? Such a set P is called A-homogeneous. We show that even if A is
The Special Tree Number
Define the special tree number, denoted st, to be the least size of a tree of height ω1 which is neither special nor has a cofinal branch. This cardinal had previously been studied in the context of


Reductions Between Cardinal Characteristics of the Continuum
We discuss two general aspects of the theory of cardinal characteristics of the continuum, especially of proofs of inequalities between such characteristics. The first aspect is to express the
On two-cardinal properties of ideals
We investigate two-cardinal properties of ideals. These properties involve notions such as Luzin sets, special coverings, etc. We apply our results to the ideals of meagre sets and of negligible sets
Some properties of measure and category
Several elementary cardinal properties of measure and category on the real line are studied. For example, one property is that every set of real numbers of cardinality less than the continuum has
Analytic Ideals and Cofinal Types
The Structure of σ-Ideals of Compact Sets
Motivated by problems in certain areas of analysis, like measure theory and harmonic analysis, where σ-ideals of compact sets are encountered very often as notions of small or exceptional sets, we
Introduction. Briefly, this paper introduces a category which we call the category of cofinal types. We construct a concrete representation il of X', and we determine explicitly the part of i1
Generic constructions of small sets of reals
Norms on Possibilities I: Forcing With Trees and Creatures
We present a systematic study of the method of "norms on possibilities" of building forcing notions with keeping their properties under full control. This technique allows us to answer several open
A model of set-theory in which every set of reals is Lebesgue measurable*
We show that the existence of a non-Lebesgue measurable set cannot be proved in Zermelo-Frankel set theory (ZF) if use of the axiom of choice is disallowed. In fact, even adjoining an axiom DC to ZF,
Analytic Ideals and Their Applications