Fri 29 Jul, 2005


Friedman_S: Internal consistency and the inner model hypothesis.(Postscript file)


Fri 22 Jul, 2005


Moore:
new: Katetov's problem revisited ^*
new: to be included in Open Problems in Topology II (in preparation).
new:
---
deleted: The necessity of a Luzin set in Gruenhage's counterexample to Katetov's problem^*
deleted: preprint 7/5/05.


Wed 20 Jul, 2005


Cameron: (with R. A. Bailey) Crested products of association schemes (PDF%en dtag%)
deleted:

Schindler: Co-organizer of a mini-workshop in inner model theory, Apr 30 - May 06, 2006, Oberwolfach.
--- Co-organizer of a mini-workshop in inner model theory, Oberwolfach.


Tue 19 Jul, 2005


Truss:
new: papers [64], [67-70].
---
deleted: papers [64], [67-69]. J. K. Truss, On notions of genericity and mutual genericity,
new: University of Leeds preprint, 18, 2005. dvi file |
new: Postscript file


Sun 17 Jul, 2005


Schindler:
new: NEU: Übungsaufgaben zur Klausurvorbereitung HM 2 (SoSe 05): PS PDF.

Steel: PFA implies AD^L(R) (Revised June 2005.) post script.
--- PFA implies AD^L(R) (Revised May 2005.) posts cript.


Fri 15 Jul, 2005


Mitchell:
new: Here are slides for the two talks which I gave at the meeting
new: on Computational Prospects of Infinity at the National
new: University of Singapore during July 2005. * The first talk new: presented a new: new model with no Aronszajn trees on aleph₂ or new: aleph₃. * The second talk new: presented the I[omega₂] model.


Wed 13 Jul, 2005


Mitchell: Papers * A partition new: theorem for a large dense linear order, with Jean Larson new: and Mirna Dzamonja. Submitted to the Israel new: Journal. June, 2005. * An introduction to inner new: models and large cardinals In Postscript PDF. new: April 15, 2004. This should be the final version. new: A chapter for the Handbook on Set Theory. new: Thanks to Paul Larson, Diego Rojas and the referee for comments new: incorporated into the latest versions. * %it %The Covering new: Lemma, a chapter for the Handbook on Set Theory. new: in href="http://www.math.ufl.edu/%7Emitchell/papers/handbook.ps" >Postscript or PDF. new: Last updated April 12, 2004. Thanks to Diego new: Rojas-Robello, Assaf Sharon and the referee for comments new: incorporated into the latest version (which, for what it's new: worth, is not marked preliminary). new: I also have slides from my talks at the Cardinal Arithmetic new: Workshop at the Hebrew University in March 2004: PDF. PDF. "http://www.w3.org/TR/REC-html40/loose.dtd"> o A Measurable new: Cardinal with a club set of inaccessibles from o(kappa)=kappa new: (dvi) new: The published version is available at new: Trans. Amer. Math. Soc. 353 (2001), no. 12, 4863--4897 o A Gitik iteration with href="http://www.math.ufl.edu/%7Emitchell/papers/club.dv href="http://www.math.ufl.edu/%7Emitchell/papers/club.pd f">PDF or Postscript new: format. J. Symbolic Logic 68 new: (2003), no. 2, 481--502. o One repeat point new: gives a closed unbounded ultrafilter new: on omega1, DVI or PDF new: (Preliminary. Latest revision new: November 11, 2002.) o A Weak Variation on new: Shelah's I[omega2] DVI or PDF or Postscript (This is the new: final version, to appear in new: the JSL. May 31, 2003) o I[omega₂] can be new: the nonstationary ideal DVI or PDF or Postscript new: THis has been extensively revised and should new: be much more new: readable than the "final" version posted last January. new: I am letting it sit a bit before submitting it to a journal new: June 6, 2005. Adding closed unbounded subsets of new: $\gw_2$ with finite new: forcing DVI or PDF or Postscript new: Last revised February 20, 2005. new: This will appear in the Proceedings of the new: Workshop on Singular Cardinal Combinatorics held at BIRS in new: Banff, Canada, on May 1 - 6, 2004. href="http://www.math.ufl.edu/%7Emitchell/papers/banff-s lides.dvi" >DVI, Postscript new: or PDF o The next two itemns are fairly rough notes related to the new: last paper. # On Hamkins's Approximation new: Property DVI or PDF or Postscript new: This note gives a short proof of a result generalizing new: Hampkin's "Approximation lemma" (or the "key lemma" in new: several of his papers) as well as of the main lemma in my new: thesis, giving the original model with no Aronszajn trees. new: It will appear in the proceedings of the Baumgartner new: meeting held at Dartmouth in the Fall of 2003. new: Final version, April 8, 2005. # Notes on a proof of new: Koszmider DVI or PDF or Postscript new: This uses some ideas from the I[omega₂] paper to new: simplify the proof in Koszmider's paper "On strong chains of new: uncountable functions". January 4, 2004.


Wed 6 Jul, 2005


Kruger:
new: Journal of Symbolic Logic, 70 (2005), no. 3, pp. 767-777.
---
deleted: to appear in the Journal of Symbolic Logic, September, 2005.

Moore:
new: The necessity of a
new: Luzin set in Gruenhage's counterexample to Katetov's problem
new: preprint 7/5/05. dvi file new: > postscript file new: > pdf file new: >
deleted: Set mapping reflection
deleted: preprint August 2003 .
deleted: dvi file deleted: >
deleted: postscript file deleted: >
deleted: pdf file deleted: >


Sun 3 Jul, 2005


Kruger:
new: Adding Clubs with Square,
new: to appear in the Annals of Pure and Applied Logic.
---
deleted: Adding Clubs with Square, submitted.


Fri 1 Jul, 2005


Cameron: (with Bill Jackson and Jason Rudd) Orbit-counting polynomials for graphs
new: and codes (PDF% endtag%)
new: 30 June 2005
---
deleted: 17 February 2005