•  96
    Covering at limit cardinals of K
    with Ernest Schimmerling
    Journal of Mathematical Logic 24 (1). 2023.
    Assume that there is no transitive class model of [Formula: see text] with a Woodin cardinal. Let [Formula: see text] be a singular ordinal such that [Formula: see text] and [Formula: see text]. Suppose [Formula: see text] is a regular cardinal in K. Then [Formula: see text] is a measurable cardinal in K. Moreover, if [Formula: see text], then [Formula: see text].
  •  87
    Groundhog Day and the Epoché
    Critical Inquiry 47 (S2): 95-99. 2021.
  •  110
    Present Tense 2020: An Iconology of the Epoch
    Critical Inquiry 47 (2): 370-406. 2021.
    When is it a good time to think about time? The answer provided by this essay is that there is no time like the present, especially the crazy, tense present of the year 2020. In this year four distinct scales of temporality have collided in a prolonged period of crisis and uncertainty: (1) the onset of a global pandemic that devastated the world economy and killed over a million people, the worst public health disaster since the Spanish flu of 1918; (2) a political crisis featuring the rise of a…Read more
  • The Covering Lemma up to a Woodin Cardinal
    with Ernest Schimmerling and John Steel
    Bulletin of Symbolic Logic 9 (3): 414-416. 2003.
  •  117
  •  123
    Dead Again
    Critical Inquiry 33 (2): 219. 2007.
  •  60
    Does God roll dice? Neutrality and determinism in evolutionary ecology
    with Som B. Ale, Abdel Halloway, and Christopher J. Whelan
    Biology and Philosophy 34 (1): 3. 2019.
    A tension between perspectives that emphasize deterministic versus stochastic processes has sparked controversy in ecology since pre-Darwinian times. The most recent manifestation of the contrasting perspectives arose with Hubbell’s proposed “neutral theory”, which hypothesizes a paramount role for stochasticity in ecological community composition. Here we shall refer to the deterministic and the stochastic perspectives as the niche-based and neutral-based research programs, respectively. Our go…Read more
  •  89
    The sharp for the Chang model is small
    Archive for Mathematical Logic 56 (7-8): 935-982. 2017.
    Woodin has shown that if there is a measurable Woodin cardinal then there is, in an appropriate sense, a sharp for the Chang model. We produce, in a weaker sense, a sharp for the Chang model using only the existence of a cardinal \ having an extender of length \.
  • Extender Based Forcings
    with Moti Gitik and Menachem Magidor
    Bulletin of Symbolic Logic 9 (2): 237-241. 2003.
  • Covering Properties of Core Models
    with Ernest Schimmerling, Peter Koepke, and John R. Steel
    Bulletin of Symbolic Logic 10 (4): 583-588. 2004.
  •  114
    911: Criticism and Crisis
    Critical Inquiry 28 (2): 567-572. 2002.
  •  76
    Gainesville, Florida March 10–13, 2007
    with Michael Benedikt, Andreas Blass, Natasha Dobrinen, Noam Greenberg, Denis R. Hirschfeldt, Salma Kuhlmann, Hannes Leitgeb, and Thomas Wilke
    Bulletin of Symbolic Logic 13 (3). 2007.
  •  104
    On the Hamkins approximation property
    Annals of Pure and Applied Logic 144 (1-3): 126-129. 2006.
    We give a short proof of a lemma which generalizes both the main lemma from the original construction in the author’s thesis of a model with no ω2-Aronszajn trees, and also the “Key Lemma” in Hamkins’ gap forcing theorems. The new lemma directly yields Hamkins’ newer lemma stating that certain forcing notions have the approximation property
  •  128
    Review: D. A. Martin, J. R. Steel, Iteration Trees (review)
    Bulletin of Symbolic Logic 8 (4): 545-546. 2002.
  •  105
    Adding Closed Unbounded Subsets of ω₂ with Finite Forcing
    Notre Dame Journal of Formal Logic 46 (3): 357-371. 2005.
    An outline is given of the proof that the consistency of a κ⁺-Mahlo cardinal implies that of the statement that I[ω₂] does not include any stationary subsets of Cof(ω₁). An additional discussion of the techniques of this proof includes their use to obtain a model with no ω₂-Aronszajn tree and to add an ω₂-Souslin tree with finite conditions
  •  294
    A weak variation of Shelah's I[ω₂]
    Journal of Symbolic Logic 69 (1): 94-100. 2004.
    We use a $\kappa^{+}-Mahlo$ cardinal to give a forcing construction of a model in which there is no sequence $\langle A_{\beta} : \beta \textless \omega_{2} \rangle$ of sets of cardinality $\omega_{1}$ such that $\{\lambda \textless \omega_{2} : \existsc \subset \lambda & (\bigcupc = \lambda otp(c) = \omega_{1} & \forall \beta \textless \lambda (c \cap \beta \in A_{\beta}))\}$ is stationary
  •  300
    A Gitik iteration with nearly Easton factoring
    Journal of Symbolic Logic 68 (2): 481-502. 2003.
    We reprove Gitik's theorem that if the GCH holds and o(κ) = κ + 1 then there is a generic extension in which κ is still measurable and there is a closed unbounded subset C of κ such that every $\nu \in C$ is inaccessible in the ground model. Unlike the forcing used by Gitik. the iterated forcing $R_{\lambda +1}$ used in this paper has the property that if λ is a cardinal less then κ then $R_{\lambda + 1}$ can be factored in V as $R_{\kappa + 1} = R_{\lambda + 1} \times R_{\lambda + 1, \kappa}$ w…Read more