On the homogeneity property for certain quantifier logics. - Heike Mildenberger (Arch. Math. Log., 1992)

Order Types of Free Subsets. - Heike Mildenberger (Ann. Pure Appl. Log., 1997)

Non-Constructive Galois-Tukey Connections. - Heike Mildenberger (J. Symb. Log., 1997)

Meeting infinitely many cells of a partition once. - Heike Mildenberger; Otmar Spinas (Arch. Math. Log., 1998)

Changing Cardinal Invariants of the Reals without Changing Cardinals or the Reals. - Heike Mildenberger (J. Symb. Log., 1998)

On The Confinality of Ultrapowers. - Andreas Blass; Heike Mildenberger (J. Symb. Log., 1999)

Borel on the Questions Versus Borel on the Answers. - Heike Mildenberger (Math. Log. Q., 1999)

Changing cardinal characteristics without changing Omega-sequences or cofinalities. - Heike Mildenberger; Saharon Shelah (Ann. Pure Appl. Log., 2000)

Groupwise dense families. - Heike Mildenberger (Arch. Math. Log., 2001)

The Strengths of Some Violations of Covering. - Heike Mildenberger (Math. Log. Q., 2001)

The Relative Consistency of g < cf (Sym(omega)). - Heike Mildenberger; Saharon Shelah (J. Symb. Log., 2002)

No Borel Connections for the Unsplitting Relations. - Heike Mildenberger (Math. Log. Q., 2002)

Specialising Aronszajn trees by countable approximations. - Heike Mildenberger; Saharon Shelah (Arch. Math. Log., 2003)

More canonical forms and dense free subsets. - Heike Mildenberger (Ann. Pure Appl. Log., 2004)

Covering the Baire space by families which are not finitely dominating. - Heike Mildenberger; Saharon Shelah; Boaz Tsaban (Ann. Pure Appl. Log., 2006)

Increasing the groupwise density number by c.c.c. forcing. - Heike Mildenberger; Saharon Shelah (Ann. Pure Appl. Log., 2007)

There may be infinitely many near-coherence classes under 픲 < 픡. - Heike Mildenberger (J. Symb. Log., 2007)

Creatures on omega1 and weak diamonds. - Heike Mildenberger (J. Symb. Log., 2009)

Finding generic filters by playing games. - Heike Mildenberger (Arch. Math. Log., 2010)

The club principle and the distributivity number. - Heike Mildenberger (J. Symb. Log., 2011)

The minimal cofinality of an ultrapower of ω and the cofinality of the symmetric groupcan be larger than +. - Heike Mildenberger; Saharon Shelah (J. Symb. Log., 2011)

On Milliken-Taylor Ultrafilters. - Heike Mildenberger (Notre Dame J. Formal Log., 2011)

Many countable support iterations of proper forcings preserve Souslin trees. - Heike Mildenberger; Saharon Shelah (Ann. Pure Appl. Log., 2014)

Specializing Aronszajn Trees with Strong Axiom A and Halving. - Heike Mildenberger; Saharon Shelah (Notre Dame J. Formal Log., 2019)

A version of κ-Miller forcing. - Heike Mildenberger; Saharon Shelah (Arch. Math. Log., 2020)

Uncountable structures are not classifiable up to bi-embeddability. - Filippo Calderoni; Heike Mildenberger; Luca Motto Ros (J. Math. Log., 2020)

Higher Miller forcing May collapse Cardinals. - Heike Mildenberger; Saharon Shelah (J. Symb. Log., 2021)

On splitting trees. - Giorgio Laguzzi; Heike Mildenberger; Brendan Stuber-Rousselle (Math. Log. Q., 2023)

Mathias and silver forcing parametrized by density. - Giorgio Laguzzi; Heike Mildenberger; Brendan Stuber-Rousselle (Arch. Math. Log., 2023)

Exactly two and exactly three near-coherence classes. - Heike Mildenberger (J. Math. Log., 2024)