Martin Zeman

Publication Activity (10 Years)

Years Active: 2000-2017
Publications (10 Years): 2

Top Topics

Discrete Tomography

Multiple View Geometry

Super Resolution

Top Venues

Arch. Math. Log.

Notre Dame J. Formal Log.

Publications

Andrés Eduardo Caicedo, Martin Zeman
Downward Transference of mice and Universality of Local Core Models. J. Symb. Log. 82 (2) (2017)
Martin Zeman
Two Upper Bounds on Consistency Strength of ¬□ℵω and Stationary Set Reflection at Two Successive ℵn. Notre Dame J. Formal Log. 58 (3) (2017)
Sean Cox, Martin Zeman
Ideal Projections and forcing Projections. J. Symb. Log. 79 (4) (2014)
Kyriakos Kypriotakis, Martin Zeman
A characterization of $${\square(\kappa^{+})}$$ in extender models. Arch. Math. Log. 52 (1-2) (2013)
Martin Zeman
Global square sequences in extender models. Ann. Pure Appl. Log. 161 (7) (2010)
Martin Zeman
More fine structural global square sequences. Arch. Math. Log. 48 (8) (2009)
Ernest Schimmerling, Martin Zeman
Cardinal transfer properties in extender models. Ann. Pure Appl. Log. 154 (3) (2008)
Ernest Schimmerling, Martin Zeman
in Core Models. J. Math. Log. 4 (1) (2004)
Martin Zeman
Dodd parameters and λ-Indexing of Extenders. J. Math. Log. 4 (1) (2004)
Ralf-Dieter Schindler, John R. Steel, Martin Zeman
Deconstructing Inner Model Theory. J. Symb. Log. 67 (2) (2002)
Ernest Schimmerling, Martin Zeman
Square in core models. Bull. Symb. Log. 7 (3) (2001)
Ronald B. Jensen, Martin Zeman
Smooth Categories and Global square. Ann. Pure Appl. Log. 102 (1-2) (2000)
Martin Zeman
Diamond at Mahlo Cardinals. J. Symb. Log. 65 (4) (2000)