Martin Zeman

According to our database, Martin Zeman authored at least 13 papers between 2000 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Two Upper Bounds on Consistency Strength of ¬□ℵω and Stationary Set Reflection at Two Successive ℵn.

Martin Zeman

Notre Dame J. Formal Log., 2017

Downward Transference of mice and Universality of Local Core Models.

Andrés Eduardo Caicedo, Martin Zeman

J. Symb. Log., 2017

2014

Ideal Projections and forcing Projections.

Sean Cox, Martin Zeman

J. Symb. Log., 2014

2013

A characterization of $${\square(\kappa^{+})}$$ in extender models.

Kyriakos Kypriotakis, Martin Zeman

Arch. Math. Log., 2013

2010

Global square sequences in extender models.

Martin Zeman

Ann. Pure Appl. Log., 2010

2009

More fine structural global square sequences.

Martin Zeman

Arch. Math. Log., 2009

2008

Cardinal transfer properties in extender models.

Ernest Schimmerling, Martin Zeman

Ann. Pure Appl. Log., 2008

2004

Dodd parameters and λ-Indexing of Extenders.

Martin Zeman

J. Math. Log., 2004

Characterization of □_κ in Core Models.

Ernest Schimmerling, Martin Zeman

J. Math. Log., 2004

2002

Deconstructing Inner Model Theory.

Ralf-Dieter Schindler, John R. Steel, Martin Zeman

J. Symb. Log., 2002

2001

Square in core models.

Ernest Schimmerling, Martin Zeman

Bull. Symb. Log., 2001

2000

Diamond at Mahlo Cardinals.

Martin Zeman

J. Symb. Log., 2000

Smooth Categories and Global square.

Ronald B. Jensen, Martin Zeman

Ann. Pure Appl. Log., 2000