Mitchell, William John

43 papers

3696073
Mitchell, William J.(1-FL)

Department of Mathematics, University of Florida
Gainesville, Florida, 32611
The sharp for the Chang model is small. (English summary)
Arch. Math. Logic 56 (2017), no. 7-8, 935-982.
03E35 (03E45 03E55)

3696073
Mitchell, William J.(1-FL)

3409862
Mitchell, William J.(1-FL-NDM)
Inner models for large cardinals. Sets and extensions in the twentieth century, 415-456,
Handb. Hist. Log., 6, Elsevier/North-Holland, Amsterdam, 2012.
03E45 (03E55)

2768697
Mitchell, William J.(1-FL)
The covering lemma. Handbook of set theory. Vols. 1, 2, 3, 1497–1594, Springer, Dordrecht, 2010.
03E45 (03E05 03E55)

2768696
Mitchell, William J.(1-FL)
Beginning inner model theory. Handbook of set theory. Vols. 1, 2, 3, 1449–1495, Springer, Dordrecht, 2010.
03E45 (03E55)

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)