MARTIN ZEMAN: PUBLICATIONS

PAPERS

12. Ideal projections and forcing projections (with Sean Cox), Journal of symbolic Logic 79(4) (2014), 1257-1285(.pdf)

11. A characterization of $\square(\kappa^+)$ in extender models (with Kyriakos Kypriotakis), Archive for Mathematical Logic 52(1-2) (2013), 67-90 (.pdf)

10. Global square squences in extender models (.dvi, .pdf) Annals of Pure and Applied  Logic 161(7) (2010), 956–985

09. More fine structural global square sequences (.dvi, .pdf) Archive for Mathematical  Logic 48(8) (2009), 825–835

08. Diamond, GCH and weak square (.dvi, .pdfProceedings of American Mathematical  Society 138(5) (2010), 1853–1859

07. Cardinal transfer properties in extender models (with Ernest Schimmerling), Annals of Pure and Applied Logic 154 (2008) 163 - 190 (.dvi, .pdf)

06. Dodd paremeters and $\lambda$-indexing of extenders,  Journal of Mathematical Logic  4 (2004), No.1, 73 - 108 (.dvi, .pdf)

05. Characterization of $\square_\kappa$ in core models (with Ernest Schimmerling), Journal of Mathemtaical Logic 4 (2004), No. 1, 1 - 72  (.dvi, .pdf)

04. Deconstructing inner model theory (with Ralf Schindler and John Steel), Journal of Symbolic Logic 67 (2002), No. 2, 721 - 736  (.dvi, .pdf)

03. Square in core models (with Ernest Schimmerling), Bulletin of Symbolic Logic  Vol. 7 (2001), No. 3, 305 - 314 (.dvi, .pdf)

02. Diamond at Mahlo Cardinals, Journal of Symbolic Logic 65 (2000), No. 4, 1813 - 1822 (.pdf)

01. Smooth Categories and global square (with Ronald Jensen), Annals of Pure and Applied Logic 102 (2000), No 1-2, 101 - 138 (.dvi, .ps)

BOOK

1. Inner Models and Large Cardinals, De Gruyter Series in Logic and its Applications Vol. 5, Springer 2002

BOOK CHAPTER

1. Fine Structure Theory (with Ralf Schindler), Handbook of Set Theory, Foreman, M.D. and Kanamori, A. eds., Springer 2010  (.dvi, .pdf)

PREPRINTS AND NOTES

4. Consistency strength of $\neg\square_{\aleph_\omega}$ and reflection at two successive $\aleph_n$, submitted to Notre Dame Jornal of Formal Logic (.pdf)

3. Square principles in P_max extensions (with Andres Caicedo, Paul Larson, Grigor Sargsyan, Ralf Schindler, and John Steel), submitted to Israel Journal of Mathematics  (.pdf

2. Downward transference of mice and universality of local core models (with Andres Caicedo), accepted for publication in Journal of Symbolic Logic  (.pdf)

1. A note on Dodd Parameters  (.dvi, .pdf)