Martin Zeman

14 papers Journal 14

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Games with filters I. J. Math. Log. Matthew Foreman, Menachem Magidor, Martin Zeman
2017	J	`jnl`	Downward Transference of mice and Universality of Local Core Models. J. Symb. Log. Andrés Eduardo Caicedo, Martin Zeman
2017	J	`jnl`	Two Upper Bounds on Consistency Strength of ¬□ℵω and Stationary Set Reflection at Two Successive ℵn. Notre Dame J. Formal Log. Martin Zeman
2014	J	`jnl`	Ideal Projections and forcing Projections. J. Symb. Log. Sean Cox, Martin Zeman
2013	J	`jnl`	A characterization of $${\square(\kappa^{+})}$$ in extender models. Arch. Math. Log. Kyriakos Kypriotakis, Martin Zeman
2010	J	`jnl`	Global square sequences in extender models. Ann. Pure Appl. Log. Martin Zeman
2009	J	`jnl`	More fine structural global square sequences. Arch. Math. Log. Martin Zeman
2008	J	`jnl`	Cardinal transfer properties in extender models. Ann. Pure Appl. Log. Ernest Schimmerling, Martin Zeman
2004	J	`jnl`	Characterization of □ J. Math. Log. Ernest Schimmerling, Martin Zeman
2004	J	`jnl`	Dodd parameters and λ-Indexing of Extenders. J. Math. Log. Martin Zeman
2002	J	`jnl`	Deconstructing Inner Model Theory. J. Symb. Log. Ralf-Dieter Schindler, John R. Steel, Martin Zeman
2001	J	`jnl`	Square in core models. Bull. Symb. Log. Ernest Schimmerling, Martin Zeman
2000	J	`jnl`	Diamond at Mahlo Cardinals. J. Symb. Log. Martin Zeman
2000	J	`jnl`	Smooth Categories and Global square. Ann. Pure Appl. Log. Ronald B. Jensen, Martin Zeman