Source author record

Vera Fischer

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

13works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Strong Projective Witnesses

We show Shelah's original creature forcing from 1984 strongly preserves tight mad families. In particular, answering questions of Fischer and Friedman and Friedman and Zdomskyy, we show the constellation $\aleph_1 = \mathfrak{a} < \mathfrak{s} = \aleph_2$ is consistent with the existence of a $Δ_3^1$ wellorder of the reals and tight mad families of sizes $\aleph_1, \aleph_2$ which are $Π_1^1, Π_2^1$ -definable, respectively. Each of these projective definitions is of minimal possible complexity.

preprint2022arXiv

Cohen Preservation and Independence

We provide a general preservation theorem for preserving selective independent families along countable support iterations. The theorem gives a general framework for a number of results in the literature concerning models in which the independence number $\mathfrak{i}$ is strictly below $\mathfrak{c}$ , including iterations of Sacks forcing, Miller partition forcing, $h$ -perfect tree forcings, coding with perfect trees. Moreover, applying the theorem, we show that $\mathfrak{i} = \aleph_1$ in the Miller Lite model. An important aspect of the preservation theorem is the notion of "Cohen preservation", which we discuss in detail.

preprint2022arXiv

Filters and Ideal Independence

A family $\mathscr{I} \subseteq [ω]^ω$ such that for all finite $\{X_i\}_{i\in n}\subseteq \mathcal I$ and $A \in \mathscr{I} \setminus \{X_i\}_{i\in n}$ , the set $A \setminus \bigcup_{i < n} X_i$ is infinite, is said to be ideal independent. An ideal independent family which is maximal under inclusion is said to be a maximal ideal independent family and the least cardinality of such family is denoted $\mathfrak{s}_{mm}$ . We show that $\mathfrak{u}\leq\mathfrak{s}_{mm}$ , which in particular establishes the independence of $\mathfrak{s}_{mm}$ and $\mathfrak{i}$ . Given an arbitrary set $C$ of uncountable cardinals, we show how to simultaneously adjoin via forcing maximal ideal independent families of cardinality $λ$ for each $λ\in C$ , thus establishing the consistency of $C\subseteq \hbox{spec}(\mathfrak{s}_{mm})$ . Assuming $\mathsf{CH}$ , we construct a maximal ideal independent family, which remains maximal after forcing with any proper, $^ωω$ -bounding, $p$ -point preserving forcing notion and evaluate $\mathfrak{s}_{mm}$ in several well studied forcing extensions.

preprint2022arXiv

Games on base matrices

Using a game characterization of distributivity, we show that base matrices for $\mathcal{P}(ω)/\text{fin}$ of regular height larger than $\mathfrak{h}$ necessarily have maximal branches which are not cofinal.

preprint2022arXiv

Higher Independence

We study higher analogues of the classical independence number on $ω$ . For $κ$ regular uncountable, we denote by $i(κ)$ the minimal size of a maximal $κ$ -independent family. We establish ZFC relations between $i(κ)$ and the standard higher analogues of some of the classical cardinal characteristics, e.g. $\mathfrak{r}(κ)\leq\mathfrak{i}(κ)$ and $\mathfrak{d}(κ)\leq\mathfrak{i}(κ)$ . For $κ$ measurable, assuming that $2^κ=κ^+$ we construct a maximal $κ$ -independent family which remains maximal after the $κ$ -support product of $λ$ many copies of $κ$ -Sacks forcing. Thus, we show the consistency of $κ^+=\mathfrak{d}(κ)=\mathfrak{i}(κ)<2^κ$ . We conclude the paper with interesting open questions and discuss difficulties regarding other natural approaches to higher independence.

preprint2022arXiv

On heights of distributivity matrices

We construct a model in which there exists a distributivity matrix of regular height $λ$ larger than $\mathfrak{h}$ ; both $λ= \mathfrak{c}$ and $λ< \mathfrak{c}$ are possible. A distributivity matrix is a refining system of mad families without common refinement. Of particular interest in our proof is the preservation of $\mathcal{B}$ -Canjarness.

preprint2022arXiv

Projective well-orders and coanalytic witnesses

We further develop a forcing notion known as Coding with Perfect Trees and show that this poset preserves, in a strong sense, definable $P$ -points, definable tight MAD families and definable selective independent families. As a result, we obtain a model in which $\mathfrak{a}=\mathfrak{u}=\mathfrak{i}=\aleph_1<2^{\aleph_0}=\aleph_2$ , each of $\mathfrak{a}$ , $\mathfrak{u}$ , $\mathfrak{i}$ has a $Π^1_1$ witness and there is a $Δ^1_3$ well-order of the reals. Note that both the complexity of the witnesses of the above combinatorial cardinal characteristics, as well as the complexity of the well-order are optimal. In addition, we show that the existence of a $Δ^1_3$ well-order of the reals is consistent with $\mathfrak{c}=\aleph_2$ and each of the following: $\mathfrak{a}=\mathfrak{u}<\mathfrak{i}$ , $\mathfrak{a}=\mathfrak{i}<\mathfrak{u}$ , $\mathfrak{a}<\mathfrak{u}=\mathfrak{i}$ , where the smaller cardinal characteristics have co-analytic witnesses. Our methods allow the preservation of only sufficiently definable witnesses, which significantly differs from other preservation results of this type.

preprint2021arXiv

Strong independence and its spectrum

For $μ, κ$ infinite, say $\mathcal{A}\subseteq [κ]^κ$ is a $(μ,κ)$ -maximal independent family if whenever $\mathcal{A}_0$ and $\mathcal{A}_1$ are pairwise disjoint non-empty in $[\mathcal{A}]^{<μ}$ then $\bigcap\mathcal{A}_0\backslash\bigcup\mathcal{A}_1 \not= \emptyset$ , $\mathcal{A}$ is maximal under inclusion among families with this property, and moreover all such Booelan combinations have size $κ$ . We denote by $\mathfrak{sp}_{\mathfrak i}(μ,κ)$ the set of all cardinalities of such families, and if non-empty, we let $\mathfrak{i}_μ(κ)$ be its minimal element. Thus, $\mathfrak{i}_μ(κ)$ (if defined) is a natural higher analogue of the independence number on $ω$ for the higher Baire spaces. In this paper, we study $\mathfrak{sp}_{\mathfrak i}(μ,κ)$ for $μ,κ$ uncountable. Among others, we show that: (1) The property $\mathfrak{sp}_{\mathfrak i}(μ,κ)\neq\emptyset$ cannot be decided on the basis of ZFC plus large cardinals. (2) Relative to a measurable, it is consistent that: (a) $(\exists κ{>}ω) \, \mathfrak{i}_κ(κ)<2^κ$ ; (b) $(\exists κ{>}ω)\,κ^+<\mathfrak{i}_{ω_1}(κ)<2^κ$ . To the best knowledge of the authors, this is the first example of a $(μ,κ)$ -maximal independent family of size strictly between $κ^+$ and $2^κ$ , for uncountable $κ$ . (3) $\mathfrak{sp}_{\mathfrak i}(μ,κ)$ cannot be quite arbitrary.

preprint2020arXiv

Non-linear iterations and higher splitting

We show that generalized eventually narrow sequences on a strongly inaccessible cardinal $κ$ are preserved under the Cummings-Shaleh non-linear iterations of the higher Hechler forcing on $κ$ . Moreover assuming GCH, $κ^{<κ}=κ$ , we show that: (1) if $κ$ is strongly unfoldable, $κ^+\leqβ=\hbox{cf}(β)\leq \hbox{cf}(δ)\leqδ\leqμ$ and $\hbox{cf}(μ)>κ$ ,then there is a cardinal preserving generic extension in which $\mathfrak{s}(κ)=κ^+\leq\mathfrak{b}(κ)=β\leq\mathfrak{d}(κ)=δ\leq 2^κ=μ.$ (2) if $κ$ is strongly inaccessible, $λ>κ^+$ , then in the generic extension obtained as the $<κ$ -support iteration of $κ$ -Hechler forcing of length $λ$ there are no $κ$ -towers of length $λ$ .

preprint2020arXiv

Parallel non-linear iterations

Developing a system of parallel non-linear iterations, we establish the consistency of $\mathfrak{b}<\mathfrak{s}<\mathfrak{d}<\mathfrak{c}$ where $\mathfrak{b}, \mathfrak{d}, \mathfrak{c}$ are arbitrary subject to the known ZFC restrictions and $\mathfrak{s}$ is regular. By evaluating other invariants we achieve also the constellations $\mathfrak{b}<\mathfrak{r}<\mathfrak{d}<\mathfrak{c}$ , $\mathfrak{b}<\mathfrak{e}<\mathfrak{d}<\mathfrak{c}$ and $\mathfrak{b}<\mathfrak{u}<\mathfrak{d}<\mathfrak{c}$ .

preprint2016arXiv

Definable maximal cofinitary groups

Using countable support iteration of $S$ -proper posets, for some appropriate stationary set $S$ , we obtain a generic extension of the constructible universe, in which $\mathfrak{b}=\mathfrak{c}=\aleph_2$ and there is a maximal cofinitary group with a $Π^1_2$ -definable set of generators.

preprint2013arXiv

Template iterations and maximal cofinitary groups

The main result of the present paper is that $\mathfrak a_g$ , the minimal size of maximal cofinitary group, can be of countable cofinality. To prove this we define a natural poset for adding a maximal cofinitary group of a given cardinality, which enjoys certain combinatorial properties allowing it to be used within a similar template forcing construction. Additionally we obtain that $\mathfrak a_p$ , the minimal size of a maximal family of almost disjoint permutations, and $\mathfrak a_e$ , the minimal size of a maximal eventually different family, can be of countable cofinality.

preprint2011arXiv

Projective maximal families of orthogonal measures with large continuum

We study maximal orthogonal families of Borel probability measures on $2^ω$ (abbreviated m.o. families) and show that there are generic extensions of the constructible universe $L$ in which each of the following holds: (1) There is a $Δ^1_3$ -definable well order of the reals, there is a $Π^1_2$ -definable m.o. family, there are no $\mathbfΣ^1_2$ -definable m.o. families and $\mathfrak{b}=\mathfrak{c}=ω_3$ (in fact any reasonable value of $\mathfrak{c}$ will do). (2) There is a $Δ^1_3$ -definable well order of the reals, there is a $Π^1_2$ -definable m.o. family, there are no $\mathbfΣ^1_2$ -definable m.o. families, $\mathfrak{b}=ω_1$ and $\mathfrak{c}=ω_2$ .

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.

Vera Fischer

Research overview

Is this your work?

13 publications

Strong Projective Witnesses

Cohen Preservation and Independence

Filters and Ideal Independence

Games on base matrices

Higher Independence

On heights of distributivity matrices

Projective well-orders and coanalytic witnesses

Strong independence and its spectrum

Non-linear iterations and higher splitting

Parallel non-linear iterations

Definable maximal cofinitary groups

Template iterations and maximal cofinitary groups

Projective maximal families of orthogonal measures with large continuum

See the researcher in context

Building this map preview