Researcher profile

Vera Fischer

Vera Fischer contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.LO

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author

10works

0followers

1topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

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}$.

Vera Fischer

Quick read

Decide how to stay connected

How to connect with this researcher

Open a focused conversation when the fit is right

See the researcher in context

Building this graph slice

10 published item(s)

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