EPISTEME

Episteme is a (crude) blog which automatically keeps track of changes in the preprint webpages of some people working in set theory.

[More explanation]

Episteme Archive:

May 2007
April 2007
March 2007
February 2007
January 2007
December 2006
November 2006
October 2006
September 2006
August 2006
July 2006
June 2006
May 2006


August 2005
July 2005
June 2005


[More explanation]

How crude is Episteme? Very! Currently it doesn't display much context, merely making a record of changes. And it doesn't try to figure out which changes are interesting or useful.

I may tidy the contents up a bit manually, but the idea is to have some minimal, relatively readable mechanical notification.

Which people? The people on my list of set theory preprint pages.

Of course comments and suggestions are very welcome, but I don't promise to act on them.




Wed 28 Mar, 2007


Friedman_S: (with Katherine Thompson) Perfect trees and generic modification (Postscript file)
--- (with Katherine Thompson) Hypermeasurables and the singular cardinal hypothesis (Postscript file)


Sun 25 Mar, 2007


Schindler:
new: Institut für mathematische Logik und Grundlagenforschung
--- Institut für mathematische Logik und Grundlagenforschung new: Fachbereich Mathematik und Informatik

Welch:
new:
new: Turing Unbound: Transfinite Computation
new:
to appear in Computation and Logic new: in the Real World new: Proceedings of new: CiE-2007 Siena, Edited S.B. Cooper et al. new: Lecture Notes in Computer Science ps dvi


Tue 20 Mar, 2007


Farah:
new: 1. All automorphisms of the Calkin algebra are inner, March 2007. dvi file postscript file pdf file 2. Nonhomogeneity in products of beta-N spaces, version of February 2007. To appear in Topology and its applications. dvi file postscript file pdf file


Sat 17 Mar, 2007


Welch:
deleted:
deleted: Arithmetical quasi-inductive definitions and the transfinite action of 1-tape
deleted: Turing machines
deleted:
submitted dvi%endtag pdf%endtag


Wed 14 Mar, 2007


Steel: Derived models associated to mice, preliminary draft, last revised March 11, 2007.
new: pdf.
--- Derived models associated to mice, preliminary draft March 2007. pdf.

Thomas:
new: accepted for publication in J. Math. Logic
new: as of 3/11/07.
---
deleted: submitted September 2004. This page includes material based upon work supported by the
new: National Science Foundation under successive grants including
new: Grants No 9803417, 0100794 and 0600940. Any opinions, findings, conclusions,
new: or
new: recommendations expressed herein are those of the authors and do
new: not
new: necessarily reflect the views of the National Science Foundaion.


Wed 7 Mar, 2007


Moore:
new: Minimality of non sigma-scattered orders*
new: preprint 3/6/07. dvi file new: > postscript file new: > pdf file new: >
new: Israel Journal of Mathematics (accepted).
---
deleted: accepted in the Israel Journal of Mathematics.
new: Proceedings of the 2005 Logic Colloquium in Athens, Greece (accepted).
---
deleted: accepted in the Proceedings of the 2005 Logic Colloquium in Athens, Greece
new: Michigan Math. Journal (accepted).
---
deleted: preprint. Revised 7/26/06.
new: unpublished note, 2004.
---
deleted: unpublished note, 2004 .
new: unpublished note, 2000.
---
deleted: unpublished note, 2000 .

Shelah: 2007-03-06 Sh:908 [abstract] new paper Shelah, TBA Sh:907 [abstract] new paper Shelah, EF equivalent not isomorphic model Sh:906 new paper Shelah, No limit model in inaccessibles KrSh:905 [abstract] new paper Kellner+Shelah, A Sacks real out of Nowhere Sh:904 2006-12-22 [pdf] [ps] [abstract] new paper Shelah, Reflexive abelian groups and measurable cardinals and saturated MAD families MShT:903 new paper Machura+Shelah+Tsaban, Squares of Menger-Bounded Groups LrSh:902 new paper Larson+Shelah, The stationary set splitting game JShS:901 2006-12-10 [pdf] [ps] [abstract] [arXiv:mat h.GN/0702296] new paper Juhasz+Shelah+Soukup, Resolvability vs. almost resolvability Sh:900 2007-02-05 [pdf] [ps] [abstract] [arXiv:mat h.LO/0702292] new paper Shelah, Dependent theories and the generic pair conjecture JuSh:899 2006-12-06 [pdf] [ps] [abstract] [arXiv:mat h.LO/0702295] new paper Juhasz+Shelah, Lindel{\"{o}}f spaces of singular density Sh:898 new paper Shelah, More applications of pcf KPSh:896 2007-02-17 [pdf] [ps] [abstract] [arXiv:mat h.LO/0609655] new version available Kellner+Pauna+Shelah, Winning the pressing down game but not Banach Mazur Sh:893 [abstract] abstract now available Shelah, A.E.C. with not too many models FGSSh:892 2006-12-10 [pdf] [ps] [abstract] [arXiv:mat h.GR/0702294] file now available Farjoun+Goebel+Segev+Shelah, On kernels of cellular covers GrSh:891 2007-01-15 [pdf] [ps] [abstract] [arXiv:mat h.LO/0612247] new version available Garti+Shelah, Two cardinal models for singular $\mu$ Sh:887 2006-07-29 [pdf] [ps] [abstract] [arXiv:mat h.LO/0612353] file now available Shelah, Can groupwise density be much bigger than the non-dominating number Sh:886 2007-02-26_1 [pdf] [ps] [abstract] [arXiv:mat h.LO/0703045] file now available Shelah, Definable groups and 2-dependent theories Sh:885 2006-12-09 [pdf] [ps] [abstract] [arXiv:mat h.LO/0404220] new version available Shelah, A comment on ``${\mathfrak p}<{\mathfrak t}$'' KpSh:882 2007-02-25 [pdf] [ps] [abstract] [arXiv:mat h.LO/0606216] new version available Kaplan+Shelah, The automorphism tower of a centerless group (mostly) without choice EFSh:879 2006-08-02 [pdf] [ps] [abstract] [arXiv:mat h.LO/0702293] file now available Eklof+Fuchs+Shelah, Test Groups for Whitehead Groups ShSm:873 2006-09-19 [pdf] [ps] [abstract] [arXiv:mat h.LO/0609638] now published Shelah+Struengmann, A characterization of ${\rm Ext}(G,{\mathbb Z})$ assuming $(V=L)$ -- Fundamenta Math 193 (2007) 141-151 see also 874 KrSh:872 2006-07-07 [pdf] [ps] [abstract] [arXiv:mat h.LO/0601083] new version available Kellner+Shelah, Decisive creatures and large continuum GbSh:867 [abstract] now published Goebel+Shelah, Generalized $E$-Algebras via $\lambda$-Calculus I -- Fundamenta Math 192 (2006) 155-181 HvSh:866 2007-03-01 [pdf] [ps] [abstract] [arXiv:mat h.LO/0612245] new version available Havlin+Shelah, Existence of EF-equivalent Non Isomorphic Models Sh:863 2007-02-26 [pdf] [ps] [abstract] [arXiv:mat h.LO/0504197] new version available Shelah, Strongly dependent theories see also F758%endb f% Sh:861 2006-08-12 [pdf] [ps] [abstract] [arXiv:mat h.LO/0612243] now published Shelah, Power set modulo small, the singular of uncountable cofinality -- J Symbolic Logic 72 (2007) 226-242 KrSh:859 2005-08-13 [pdf] [ps] [abstract] [arXiv:mat h.LO/0511330] file now available Kellner+Shelah, Saccharinity BsSh:854 2004-10-25 [pdf] [ps] [abstract] [arXiv:mat h.LO/0504199] now published Blass+Shelah, Ultrafilters and partial products of infinite cyclic groups -- Communications in Algebra 33 (2005) 1997-2007 KeSh:852 2006-11-30 [pdf] [ps] [abstract] [arXiv:mat h.LO/0504200] new version available Kennedy+Shelah, More on regular reduced products -- J Symbolic Logic 69 (2004) 1261-1266 MdSh:843 2007-01-12 [pdf] [ps] [abstract] [arXiv:mat h.LO/0404147] new version available Mildenberger+Shelah, Increasing the groupwise density number by c.c.c. forcing ShUs:837 2006-12-27 [pdf] [ps] [abstract] [arXiv:mat h.LO/0612350] file now available Shelah+Usvyatsov, Model theoretic stability and categoricity for complete metric spaces Sh:830 2004-07-28 [pdf] [ps] [abstract] [arXiv:mat h.LO/0407498] now published Shelah, The combinatorics of reasonable ultrafilters -- Fundamenta Math 192 (2006) 1-23 KrSh:828 2005-06-09 [pdf] [ps] [abstract] [arXiv:mat h.LO/0405081] new version available Kellner+Shelah, Preserving Preservation -- J Symbolic Logic 70, 3 (2005) 914-945 Sh:816 2007-01-20 [pdf] [ps] [abstract] [arXiv:mat h.CO/0405119] new version available Shelah, What majority decisions are possible with possible abstaining MPSh:813 [abstract] now published Matet+Pean+Shelah, Cofinality of normal ideals on $P_\kappa(\lambda)$, II -- Israel J Math 150 (2005) 253-283 Sh:810 2006-12-14 [pdf] [ps] [abstract] [arXiv:mat h.LO/0405116] new version available Shelah, The height of the automorphism tower of a group ShSr:809 2003-07-31 [pdf] [ps] [abstract] [arXiv:mat h.LO/0405092] now published Shelah+Steprans, Comparing the uniformity invariants of null sets for different measures -- Advances in Math 192 (2005) 403-426 GSSh:805 2002-10-08 [pdf] [ps] [abstract] [arXiv:mat h.LO/0211439] now published Gitik+Schindler+Shelah, Pcf theory and Woodin cardinals -- Proc Logic Colloquium'2002 (ASL) (2006) 172--206 ShVa:790 2004-10-21 [pdf] [ps] [abstract] [arXiv:mat h.LO/0405016] now published Shelah+Vaananen, Recursive logic frames -- Math Logic Quarterly 52 (2006) 151-164 see also E47 Sh:715 2006-09-16 [pdf] [ps] [abstract] [arXiv:mat h.LO/0009056] file now available Shelah, Classification theory for elementary classes with the dependence property - a modest beginning -- Scientiae Math Japonicae 59, No. 2; (special issue: e9, 503--544) (2004) 265-316 Sh:707 2006-12-13 [pdf] [ps] [abstract] [arXiv:mat h.LO/0112238] new version available Shelah, Long iterations for the continuum Sh:705 2007-02-25 [pdf] [ps] [arXiv:mat h.LO/0404272] new version available Shelah, Toward classification theory of good $\lambda$ frames and abstract elementary classes GeSh:558 2004-09-27 [pdf] [ps] [abstract] [arXiv:mat h.LO/0702600] file now available Geschke+Shelah, The number of openly generated Boolean algebras NShS:557 2003-01-20 [pdf] [ps] [abstract] [arXiv:mat h.LO/0404179] file now available Niedermeyer+Shelah+Steffens, The $f$-Factor Problem for Graphs and the Hereditary Property -- Archive for Math Logic 45 (2006) 665-672

Steel:
new: preliminary draft Feb. 2007. pdf.
---
deleted: preliminary draft. pdf. Derived models associated to mice, preliminary draft March 2007.
new: pdf.
--- Models derived from mice, preliminary draft.
deleted: pdf.


Mon 5 Mar, 2007


Apter: Current Publication List (last revised 3/4/07):
--- Current Publication List (last revised 2/28/07):
new: LaTeX file. "Reducing the Consistency Strength of an
new: Indestructibility Theorem", submitted for
new: publication to the Mathematical Logic Quarterly. .dvi file, LaTeX file.
--- LaTeX file.


Sat 3 Mar, 2007


Schindler:
new: pictures, even more

Truss:
new: structures, in 'Algebra, logic, set theory', Festschrift
new: fur Ulrich Felgner zum 65 Geburtstag,
new: Studies in Logic Volume 4, College
new: Publications, 2007
---
deleted: structures, University of Leeds preprint, 10, 2006. To appear in Festschrift
deleted: for Ulrich Fegner's 65th birthday.


Thu 1 Mar, 2007


Apter: Current Publication List (last revised 2/28/07):
--- Current Publication List (last revised 2/6/07):
new: $P_\kappa(\lambda)$", to appear in
new: Fundamenta Mathematicae.
new: Note: The final revised version of this
new: paper is now available.
---
deleted: $P_\kappa(\lambda)$", accepted for
deleted: publication subject to revision
deleted: by Fundamenta Mathematicae.
deleted: Note: A revised version of this
deleted: paper is currently under review.

Friedman_S: Definability degrees, Mathematical Logic Quarterly, Vol. 51, No.5, pp. 448--449, 2005.(Postscript file)
--- Definability degrees, Mathematical Logic Quarterly, Vol. 51, No.5, pp. 448--449, 2005.(Postscript file) (with Peter Koepke and Boris Piwinger) Hyperfine structure theory and gap 1 morasses, Journal of Symbolic Logic, Vol.71, No.2, pp. 480--490, June 2006.(Post script file)
--- (with Peter Koepke and Boris Piwinger) Hyperfine structure theory and gap 1 morasses, Journal of Symbolic Logic, Vol.71, No.2, pp. 480--490, June 2006..(Pos tscript file) (with John Krueger) Thin stationary sets and disjoint club sequences, Transactions of the American Mathematical Society 359, no. 5, 2007, pp. 2407--2420. (Postscript file)
--- (with John Krueger) Thin stationary sets and disjoint club sequences, Transactions of the American Mathematical Society 359, no. 5, 2007, pp. 2407--2420.. (Postscript file) (with Mirna Dzamonja and Katherine Thompson) Global complexity results, Set theory: recent trends and applications, Quaderni di Matematica. (Pos tscript file)
--- (with Mirna Dzamonja and Katie Thompson) Global complexity results, Set theory: recent trends and applications, Quaderni di Matematica. (Pos tscript file) (with Katherine Thompson) Hypermeasurables and the singular cardinal hypothesis (Postscript file)





Charles Morgan, February 2005




Music
Dance
Design
[Sonic Caipirinha]
A mix of independently minded music from Brazil


Grupo Candomba dance company and
Beatriz's Afro Brazilian Dance classes
Qualé peixe design

Website and flyer design