Martin Zeman

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat Ideals and strong axioms of determinacy 2024 Dominik Adolf
Grigor Sargsyan
Nam Trang
Trevor M. Wilson
Martin Zeman
+ Games with filters I 2023 Matthew Foreman
Menachem Magidor
Martin Zeman
+ Games with Filters 2020 Matthew Foreman
Menachem Magidor
Martin Zeman
+ Games with Filters 2020 Matthew Foreman
Menachem Magidor
Martin Zeman
+ PDF Chat DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS 2017 Andrés Eduardo Caicedo
Martin Zeman
+ PDF Chat Square principles in ℙmax extensions 2017 AndrĂ©s Eduardo Caicedo
Paul Larson
Grigor Sargsyan
Ralf Schindler
John R. Steel
Martin Zeman
+ PDF Chat Two Upper Bounds on Consistency Strength of ÂŹâ–Ąâ„”Ï‰ and Stationary Set Reflection at Two Successive â„”n 2017 Martin Zeman
+ Modelling $Z\rightarrow\tau\tau$ processes in ATLAS with $\tau$-embedded $Z\rightarrow\mu\mu$ data 2015 G. Aad
A. Kupčo
P. Davison
S. Webb
S. J. Sekula
J. Huston
K. Jakobs
Sara Diglio
Tomoyuki Saito
M. Spousta
+ PDF Chat IDEAL PROJECTIONS AND FORCING PROJECTIONS 2014 Sean Cox
Martin Zeman
+ A characterization of (Îș + ) in extender models 2013 Kyriakos Kypriotakis
Martin Zeman
+ A characterization of $${\square(\kappa^{+})}$$ in extender models 2012 Kyriakos Kypriotakis
Martin Zeman
+ William J. Mitchell. <i>I</i>[ω<sub>2</sub>] <i>can be the nonstationary ideal on</i> Cof (ω<sub>1</sub>). Transactions of the American Mathematical Society, vol. 361 (2009), no. 2, pp. 561–601. 2011 Martin Zeman
+ Global square sequences in extender models 2010 Martin Zeman
+ PDF Chat Diamond, GCH and weak square 2010 Martin Zeman
+ Middle diamond. Archive for Mathematical Logic, vol. 44 2010 Saharon Shelah
Martin Zeman
+ Fine Structure 2009 Ralf Schindler
Martin Zeman
+ PDF Chat More fine structural global square sequences 2009 Martin Zeman
+ Cardinal transfer properties in extender models 2008 Ernest Schimmerling
Martin Zeman
+ Ernest Schimmerling. Covering properties of core models. Sets and proofs. (Leeds, 1997), London Mathematical Society Lecture Note Series 258. Cambridge University Press, Cambridge, 1999, pp. 281–299. - Peter Koepke. An introduction to extenders and core models for extender sequences. Logic Colloquium '87 (Granada, 1987), Studies in Logic and the Foundations of Mathematics 129. North-Holland, Amsterdam, 1989, pp. 137–182. - William J. Mitchell. The core model up to a Woodin cardinal. Logic, 
 2004 Martin Zeman
+ CHARACTERIZATION OF □<sub>Îș</sub> IN CORE MODELS 2004 Ernest Schimmerling
Martin Zeman
+ DODD PARAMETERS AND λ-INDEXING OF EXTENDERS 2004 Martin Zeman
+ Deconstructing inner model theory 2002 Ralf‐Dieter Schindler
John R. Steel
Martin Zeman
+ Square in Core Models 2001 Ernest Schimmerling
Martin Zeman
+ ◇ at Mahlo cardinals 2000 Martin Zeman
+ Smooth categories and global □ 2000 Ronald Björn Jensen
Martin Zeman
Common Coauthors
Commonly Cited References
Action Title Year Authors # of times referenced
+ Fine Structure and Iteration Trees 2017 William J. Mitchell
John R. Steel
10
+ The Core Model Iterability Problem 1996 John R. Steel
9
+ CHARACTERIZATION OF □<sub>Îș</sub> IN CORE MODELS 2004 Ernest Schimmerling
Martin Zeman
9
+ Combinatorial principles in the core model for one Woodin cardinal 1995 Ernest Schimmerling
7
+ PDF Chat Weak covering without countable closure 1995 William J. Mitchell
Ernest Schimmerling
6
+ Square in Core Models 2001 Ernest Schimmerling
Martin Zeman
6
+ PDF Chat The covering lemma up to a Woodin cardinal 1997 William J. Mitchell
Ernest Schimmerling
John R. Steel
6
+ PDF Chat Generic embeddings and the failure of box 1995 Douglas Burke
6
+ SQUARES, SCALES AND STATIONARY REFLECTION 2001 James Cummings
Matthew Foreman
Menachem Magidor
5
+ An Outline of Inner Model Theory 2009 John R. Steel
5
+ Large cardinals and definable counterexamples to the continuum hypothesis 1995 Matthew Foreman
Menachem Magidor
5
+ A finite family weak square principle 1999 Ernest Schimmerling
5
+ The maximality of the core model 1999 Ernest Schimmerling
John R. Steel
5
+ A weak Dodd-Jensen lemma 1999 Itay Neeman
John R. Steel
5
+ Inner models in the region of a Woodin limit of Woodin cardinals 2002 Itay Neeman
4
+ Deconstructing inner model theory 2002 Ralf‐Dieter Schindler
John R. Steel
Martin Zeman
4
+ Smooth categories and global □ 2000 Ronald Björn Jensen
Martin Zeman
4
+ Global square sequences in extender models 2010 Martin Zeman
4
+ Some exact equiconsistency results in set theory. 1985 Leo Harrington
Saharon Shelah
3
+ The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal 1999 W. Hugh Woodin
3
+ Iterated Forcing and Elementary Embeddings 2009 James Cummings
3
+ The domestic levels ofK c are iterable 2001 Alessandro Andretta
Itay Neeman
John R. Steel
3
+ PDF Chat More fine structural global square sequences 2009 Martin Zeman
3
+ Ideals and Generic Elementary Embeddings 2009 Matthew Foreman
3
+ Covering theorems for the core model, and an application to stationary set reflection 2009 Sean Cox
3
+ Hod mice and the Mouse Set Conjecture 2014 Grigor Sargsyan
3
+ A new class of order types 1976 James E. Baumgartner
2
+ Handbook of Set Theory 2009 Matthew Foreman
Akihiro Kanamori
2
+ Indexed squares 2002 James Cummings
Ernest Schimmerling
2
+ Strong axioms of infinity and elementary embeddings 1978 Robert M Solovay
William N. Reinhardt
Akihiro Kanamori
2
+ PDF Chat Projective determinacy 1988 Donald A. Martin
John R. Steel
2
+ Large Cardinals from Determinacy 2009 Peter Koellner
W. Hugh Woodin
2
+ The weak □* is really weaker than the full □ 1986 Shai Ben-David
Menachem Magidor
2
+ PDF Chat Stationary reflection in extender models 2005 Ernest Schimmerling
2
+ DODD PARAMETERS AND λ-INDEXING OF EXTENDERS 2004 Martin Zeman
2
+ The core model for almost linear iterations 2002 Ralf‐Dieter Schindler
2
+ Cardinal transfer properties in extender models 2008 Ernest Schimmerling
Martin Zeman
2
+ <i>K</i>Without the Measurable 2013 Ronald Björn Jensen
John R. Steel
2
+ Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on <i>ω</i><sub>1</sub> 2012 Benjamin Claverie
Ralf Schindler
2
+ A universal extender model without large cardinals in <i>V</i> 2004 William J. Mitchell
Ralf Schindler
2
+ PDF Chat The Jensen Covering Property 2001 Ernest Schimmerling
W. Hugh Woodin
2
+ ÎŁ* Fine Structure 2009 Philip Welch
2
+ The number of normal measures 2009 Sy-David Friedmanc
Menachem Magidor
1
+ On Successors of Singular Cardinals 1979 Saharon Shelah
1
+ Jensen's <i>ÎŁ</i>* theory and the combinatorial content of <i>V</i> = <i>L</i> 1994 Sy D. Friedman
1
+ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi>λ</mml:mi></mml:math>-structures and <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si2.gif" display="inline" overflow="scroll"><mml:mi>s</mml:mi></mml:math>-structures: Translating the models 2010 GĂŒnter Fuchs
1
+ PDF Chat Indiscernible sequences for extenders, and the singular cardinal hypothesis 1996 Moti Gitik
William J. Mitchell
1
+ PDF Chat The higher infinite: large cardinals in set theory from their beginnings 1996 Akihiro Kanamori
1
+ PDF Chat Indescribable cardinals without diamonds 1992 Kai Hauser
1
+ PDF Chat Pileup subtraction using jet areas 2007 Matteo Cacciari
Gavin P. Salam
1