Mitchell, William John

• 2525447
  Džamonja, M.(4-EANG); Larson, J. A.(1-FL); Mitchell, W. J.(1-FL)
  Partitions of large Rado graphs. (English summary)
  Arch. Math. Logic 48 (2009), no. 6, 579--606.
  03E02 (05C75 05D10)
  
• 2520110
  Džamonja, M.(4-EANG); Larson, J. A.(1-FL); Mitchell, W. J.(1-FL)
  A partition theorem for a large dense linear order. (English summary)
  Israel J. Math. 171 (2009), 237--284.
  03E02 (03E35)
  
• 2452816
  Mitchell, William J.(1-FL)
  $I[\omega\sb 2]$ can be the nonstationary ideal on ${\rm Cof}(\omega\sb 1)$. (English summary)
  Trans. Amer. Math. Soc. 361 (2009), no. 2, 561--601.
  03E35
  
• 2279659
  Mitchell, William J.(1-FL)
  On the Hamkins approximation property. (English summary)
  Ann. Pure Appl. Logic 144 (2006), no. 1-3, 126--129.
  03E40 (03E35)
  
• 2162106
  Mitchell, William J.(1-FL)
  Adding closed unbounded subsets of $\omega\sb 2$ with finite forcing. (English. English summary)
  Notre Dame J. Formal Logic 46 (2005), no. 3, 357--371 (electronic).
  03E35 (03E04)
• 2058177
  Mitchell, William(1-FL); Schindler, Ralf(D-MUNS-ML)
  A universal extender model without large cardinals in $V$. (English. English summary)
  J. Symbolic Logic 69 (2004), no. 2, 371--386.
  03E45 (03E55)
• 2039349
  Mitchell, William J.(1-FL)
  A weak variation of Shelah's $I[\omega\sb 2]$. (English. English summary)
  J. Symbolic Logic 69 (2004), no. 1, 94--100.
  03E35 (03E05 03E55)
• 1976587
  Mitchell, William J.(1-FL)
  A Gitik iteration with nearly Easton factoring. (English. English summary)
  J. Symbolic Logic 68 (2003), no. 2, 481--502.
  03E35 (03E50 03E55)
• 1852085
  Mitchell, William(1-FL)
  A measurable cardinal with a closed unbounded set of inaccessibles from $o(\kappa)=\kappa$. (English. English summary)
  Trans. Amer. Math. Soc. 353 (2001), no. 12, 4863--4897 (electronic).
  03E35 (03E45 03E55)
• 1779751
  Mitchell, W. J.(1-FL)
  Jónsson cardinals, Erdös cardinals, and the core model. (English. English summary)
  J. Symbolic Logic 64 (1999), no. 3, 1065--1086.
  03E55 (03E35 03E45)
• 1665735
  Mitchell, William J.(1-FL)
  The complexity of the core model. (English. English summary)
  J. Symbolic Logic 63 (1998), no. 4, 1393--1398.
  03E45 (03E55)
• 1602001
  Mitchell, W. J.(1-FL)
  A hollow shell: covering lemmas without a core. (English. English summary)
  Set theory (Curaçao, 1995; Barcelona, 1996), 183--198,
  Kluwer Acad. Publ., Dordrecht, 1998.
  03E45 (03E35 03E40)
• 1630775
  Larson, Jean A.(1-FL); Mitchell, William J.(1-FL)
  On a problem of Erdös and Rado. (English. English summary)
  Ann. Comb. 1 (1997), no. 3, 245--252.
  05C55 (05C20 06A07)
• 1437646
  Mitchell, W. J.(1-FL); Schimmerling, E.(1-MIT); Steel, J. R.(1-UCLA)
  The covering lemma up to a Woodin cardinal.
  Ann. Pure Appl. Logic 84 (1997), no. 2, 219--255.
  03E05 (03E45 03E55)
• 1423421
  Gitik, Moti(IL-TLAV-DM); Mitchell, William J.(1-FL)
  Indiscernible sequences for extenders, and the singular cardinal hypothesis. (English. English summary)
  Ann. Pure Appl. Logic 82 (1996), no. 3, 273--316.
  03E50 (03E10 03E35 03E45 03E55)
• 1359965
  Mitchell, W. J.(1-FL); Schimmerling, E.(1-MIT)
  Weak covering without countable closure.
  Math. Res. Lett. 2 (1995), no. 5, 595--609.
  03E45 (03E55)
• 1327980
  Mitchell, William(1-FL)
  The core model up to a Woodin cardinal.
  Logic, methodology and philosophy of science, IX (Uppsala, 1991), 157--175,
  Stud. Logic Found. Math., 134,
  North-Holland, Amsterdam, 1994.
  03E55 (03E45)
• 1300637
  Mitchell, William J.(1-FL); Steel, John R.(1-UCLA)
  Fine structure and iteration trees.
  Lecture Notes in Logic, 3.
  Springer-Verlag, Berlin, 1994. iv+130 pp. ISBN 3-540-57494-8
  03E45 (03-02 03E35 03E55)
• 1233825
  Mitchell, William J.(1-FL)
  $Sigma\sp 1\sb 3$-absoluteness for sequences of measures. (English. English summary)
  Set theory of the continuum (Berkeley, CA, 1989), 311--355,
  Math. Sci. Res. Inst. Publ., 26,
  Springer, New York, 1992.
  03E55 (03C62 03E15 03E35)
• 1166464
  Mitchell, William J.(1-FL)
  An infinitary Ramsey property.
  Ann. Pure Appl. Logic 57 (1992), no. 2, 151--160.
  03E05 (03E35 03E55 04A20)
• 1073778
  Mitchell, W. J.(1-FL)
  On the singular cardinal hypothesis.
  Trans. Amer. Math. Soc. 329 (1992), no. 2, 507--530.
  03E55 (03E35 03E50)
• 1036006
  Mitchell, William J.(1-PAS)
  Definable singularity.
  Trans. Amer. Math. Soc. 327 (1991), no. 1, 407--426.
  03E45 (03E55)
• 877852
  Mitchell, William(1-PAS)
  Prikry forcing at $\kappa\sp +$ and beyond.
  J. Symbolic Logic 52 (1987), no. 1, 44--50.
  03E55 (03E40 03E45)
• 869398
  Mitchell, W.(1-PAS)
  Applications of the covering lemma for sequences of measures.
  Trans. Amer. Math. Soc. 299 (1987), no. 1, 41--58.
  03E45 (03E35 03E55)
• 763900
  Mitchell, William(1-PAS)
  Indiscernibles, skies, and ideals.
  Axiomatic set theory (Boulder, Colo., 1983), 161--182,
  Contemp. Math., 31,
  Amer. Math. Soc., Providence, RI, 1984.
  03E35 (03E05 03E55)
• 735366
  Mitchell, William J.(1-PAS)
  The core model for sequences of measures. I.
  Math. Proc. Cambridge Philos. Soc. 95 (1984), no. 2, 229--260.
  03E55 (03E35)
• 716621
  Mitchell, William J.(1-PASR)
  Sets constructed from sequences of measures: revisited.
  J. Symbolic Logic 48 (1983), no. 3, 600--609.
  03C62 (03E35)
• 713297
  Jech, Thomas J.(1-PAS); Mitchell, William J.(1-PAS)
  Some examples of precipitous ideals.
  Ann. Pure Appl. Logic 24 (1983), no. 2, 131--151.
  03E55 (03E35)
• 673794
  Mitchell, William
  How weak is a closed unbounded ultrafilter?
  Logic Colloquium '80 (Prague, 1980), pp. 209--230,
  Stud. Logic Foundations Math., 108,
  North-Holland, Amsterdam-New York, 1982.
  03E55 (03E05 03E35 03E60)
• 560220
  Jech, T.; Magidor, M.; Mitchell, W.; Prikry, K.
  Precipitous ideals.
  J. Symbolic Logic 45 (1980), no. 1, 1--8.
  03E35 (03E55)
• 567676
  Mitchell, William
  Hypermeasurable cardinals.
  Logic Colloquium '78 (Mons, 1978), pp. 303--316,
  Stud. Logic Foundations Math., 97,
  North-Holland, Amsterdam-New York, 1979.
  03E55 (03E45)
• 550379
  Martin, D. A.; Mitchell, W.
  On the ultrafilter of closed, unbounded sets.
  J. Symbolic Logic 44 (1979), no. 4, 503--506.
  03E35 (03E55 03E60)
• 534574
  Mitchell, William
  Ramsey cardinals and constructibility.
  J. Symbolic Logic 44 (1979), no. 2, 260--266.
  03E55
• 344123
  Mitchell, William J.
  Sets constructible from sequences of ultrafilters.
  J. Symbolic Logic 39 (1974), 57--66.
  02K30
• 357117
  Mitchell, William
  Categories of Boolean topoi.
  J. Pure Appl. Algebra 3 (1973), 193--201.
  02K15 (18B05)
• 347927
  Mitchell, William
  On topoi as closed categories.
  J. Pure Appl. Algebra 3 (1973), 133--139.
  18A15
• 319757
  Mitchell, William
  Boolean topoi and the theory of sets.
  J. Pure Appl. Algebra 2 (1972), 261--274.
  02K15 (18A15)
• 313057
  Mitchell, William
  Aronszajn trees and the independence of the transfer property.
  Ann. Math. Logic 5 (1972/73), 21--46.
  02K05 (02K35)