1.8k citations · 1.8k across the 23 of their papers we have counts for
30 papers
Functional Projection and Complexity Reduction
Vera Fischer, Yurii Khomskii, Yipu Li +1
Törnquist (arXiv:1310.3250) proved that if there exists a maximal almost disjoint (MAD) family, then there exists a MAD family. Since then, se…
Generic Selective Independent Families
Vera Fischer, Corey Bacal Switzer
We prove that the generic maximal independent family obtained by iteratively forcing with the Mathias forcing relative to diagonalization filters is densely maximal. Moreover, by c…
Filters, ideal independence and ideal Mrówka spaces
Serhii Bardyla, Jonathan Cancino-Manríquez, Vera Fischer +1
A family such that for all finite and , the set $A \setminus \big…
Cohen Preservation and Independence
Vera Fischer, Corey Bacal Switzer
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 re…
Filters and Ideal Independence
Jonathan Cancino-Manríquez, Vera Fischer, Corey Bacal Switzer
A family such that for all finite and , the set $A \setminus \big…
Games on base matrices
Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky
Using a game characterization of distributivity, we show that base matrices for of regular height larger than necessarily have maximal br…
On heights of distributivity matrices
Vera Fischer, Marlene Koelbing, Wolfgang Wohofsky
We construct a model in which there exists a distributivity matrix of regular height larger than ; both and are possible. A di…
Projective well-orders and coanalytic witnesses
Jeffrey Bergfalk, Vera Fischer, Corey Bacal Switzer
We further develop a forcing notion known as Coding with Perfect Trees and show that this poset preserves, in a strong sense, definable -points, definable tight MAD families and…
Tight Eventually Different Families
Vera Fischer, Corey Bacal Switzer
Generalizing the notion of a tight almost disjoint family, we introduce the notions of a {\em tight eventually different} family of functions in Baire space and a {\em tight eventu…
Strong independence and its spectrum
Monroe Eskew, Vera Fischer
For infinite, say is a -maximal independent family if whenever and are pairwise disjoint non-empty in $[\…
Non-linear iterations and higher splitting
Ömer Faruk Bağ, Vera Fischer
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 for…
Parallel non-linear iterations
Ömer Faruk Bağ, Vera Fischer
Developing a system of parallel non-linear iterations, we establish the consistency of where $\mathfrak{b}, \mathfrak{d}, \mat…
Definable MAD families and forcing axioms
Vera Fischer, David Schrittesser, Thilo Weinert
We show that under the Bounded Proper Forcing Axiom and an anti-large cardinal assumption, there is a MAD family.
Selective independence
Vera Fischer
Let denote the minimal cardinality of a maximal independent family and let denote the minimal cardinality of a maximal family of pairwise almost dis…
Higher Independence
Vera Fischer, Diana Carolina Montoya
We study higher analogues of the classical independence number on . For regular uncountable, we denote by the minimal size of a maximal -independent family. We est…
Towers and gaps at uncountable cardinals
Vera Fischer, Diana Carolina Montoya, Jonathan Schilhan +1
Our goal is to study the pseudo-intersection and tower numbers on uncountable regular cardinals, whether these two cardinal characteristics are necessarily equal, and related probl…
Definable Maximal Independent Families
Jörg Brendle, Vera Fischer, Yurii Khomskii
We study maximal independent families (m.i.f.) in the projective hierarchy. We show that (a) the existence of a m.i.f. is equivalent to the existence of a $\bold…
Good projective witnesses
Vera Fischer, Sy David Friedman, David Schrittesser +1
We develop a new forcing notion for adjoining self-coding cofinitary permutations and use it to show that consistently, the minimal cardinality of a maxima…
Definable Towers
V. Fischer, J. Schilhan
We study the definability of maximal towers and of inextendible linearly ordered towers (ilt's), a notion that is more general than that of a maximal tower. We show that there is,…
A Sacks indestructible co-analytic maximal eventually different family
Vera Fischer, David Schrittesser
In the constructible universe, we construct a co-analytic maximal family of pairwise eventually different functions from to which remains maximal after ad…
Neural Architecture Search: A Survey
Thomas Elsken, Jan Hendrik Metzen, Frank Hutter
Deep Learning has enabled remarkable progress over the last years on a variety of tasks, such as image recognition, speech recognition, and machine translation. One crucial aspect…
More ZFC inequalities between cardinal invariants
Vera Fischer, Daniel T. Soukup
Motivated by recent results and questions of D. Raghavan and S. Shelah, we present ZFC theorems on the bounding and various almost disjointness numbers, as well as on reaping and d…
Coherent systems of finite support iterations
Vera Fischer, Sy D. Friedman, Diego A. Mejía +1
We introduce a forcing technique to construct three-dimensional arrays of generic extensions through FS (finite support) iterations of ccc posets, which we refer to as 3D-coherent…
Definable maximal cofinitary groups
Vera Fischer, Sy David Friedman, Asger Törnquist
Using countable support iteration of -proper posets, for some appropriate stationary set , we obtain a generic extension of the constructible universe, in which $\mathfrak{b}…