Smooth Categories and Global square. - Ronald B. Jensen; Martin Zeman (Ann. Pure Appl. Log., 2000)

Diamond at Mahlo Cardinals. - Martin Zeman (J. Symb. Log., 2000)

Square in core models. - Ernest Schimmerling; Martin Zeman (Bull. Symb. Log., 2001)

Deconstructing Inner Model Theory. - Ralf-Dieter Schindler; John R. Steel; Martin Zeman (J. Symb. Log., 2002)

Characterization of □κ in Core Models. - Ernest Schimmerling; Martin Zeman (J. Math. Log., 2004)

Dodd parameters and λ-Indexing of Extenders. - Martin Zeman (J. Math. Log., 2004)

Cardinal transfer properties in extender models. - Ernest Schimmerling; Martin Zeman (Ann. Pure Appl. Log., 2008)

More fine structural global square sequences. - Martin Zeman (Arch. Math. Log., 2009)

Global square sequences in extender models. - Martin Zeman (Ann. Pure Appl. Log., 2010)

A characterization of $${ square( kappa^{+})}$$ in extender models. - Kyriakos Kypriotakis; Martin Zeman (Arch. Math. Log., 2013)

Ideal Projections and forcing Projections. - Sean Cox 001; Martin Zeman (J. Symb. Log., 2014)

Downward Transference of mice and Universality of Local Core Models. - Andrés Eduardo Caicedo; Martin Zeman (J. Symb. Log., 2017)

Two Upper Bounds on Consistency Strength of ¬□ℵω and Stationary Set Reflection at Two Successive ℵn. - Martin Zeman (Notre Dame J. Formal Log., 2017)

Games with filters I. - Matthew Foreman 001; Menachem Magidor; Martin Zeman (J. Math. Log., 2024)