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.




Thu 30 Jun, 2005


Friedman_S: (with John Krueger) Thin stationary sets and disjoint club sequences.(Postscript file)
--- (with John Krueger) Thin stationary sets and disjoint club sequences.


Wed 29 Jun, 2005


Kruger:
new:
new: Thin Stationary Sets and Disjoint Club Sequences,
new: joint with Sy Friedman, submitted.
---
deleted: "Thin Stationary Sets and Disjoint Club Sequences",
deleted: joint with Sy Friedman, in preparation.

Truss:
new: papers [64], [67-69].
---
deleted: papers [64], [67,68]. M. Droste and J. K. Truss, On representing words in the automorphism
new: group of the random graph,
new: University of Leeds preprint, 16, 2005. dvi file |
new: Postscript file
new: Last changed 28-6-2005.
---
deleted: Last changed 1-4-2005.


Mon 27 Jun, 2005


Friedman_S: (with John Krueger) Thin stationary sets and disjoint club sequences.

Komjath:
deleted:
deleted: Budapest Semesters in Mathematics Reunion
,
deleted: June 16-22, 2005.


Fri 24 Jun, 2005


Apter: Current Publication List (last revised 6/21/05):
--- Current Publication List (last revised 5/19/05): (with
new: G. Sargsyan) "Can A Large
new: Cardinal Be Forced From
new: A Condition Implying Its Negation?",
new: Proceedings of the American
new: Mathematical Society 133, 2005, 3103-3108.
new: .dvi file,
new: LaTeX file. "Universal Partial Indestructibility
new: and Strong Compactness",
new: to appear in volume 51(5), 2005, of the
new: Mathematical Logic Quarterly.
new: .dvi file, LaTeX file. "Universal Indestructibility
new: is Consistent with Two Strongly
new: Compact Cardinals",
new: to appear in the Bulletin of
new: the Polish Academy of Sciences.
new: .dvi file, LaTeX file. (with
deleted: G. Sargsyan) "Can A Large
deleted: Cardinal Be Forced From
deleted: A Condition Implying Its Negation?",
deleted: to appear in
deleted: Proceedings of the American
deleted: Mathematical Society.
deleted: Note: The final revised version of
deleted: this paper is now available. .dvi file, LaTeX file. "Universal Partial Indestructibility
deleted: and Strong Compactness",
deleted: submitted for publication to the
deleted: Mathematical Logic Quarterly. .dvi file, LaTeX file.

Halbeisen:
new: Acta Mathematica Universitatis Comenianae, 14 pages, to appear.
---
deleted: Acta Mathematica Universitatis Comenianae, 14 pages, accepted. Studia Mathematica,
new:
new: 170(2) (2005)
147-171.

---
deleted: Studia Mathematica
, 22 pages, accepted. (ps) (pdf) Extracta Mathematicae,
new: 3 pages, to appear.
--- 3 pages, submitted.
new: Elemente der Mathematik
, 11 pages, to appear.
---
deleted: Elemente der Mathematik, 11 pages, accepted. Last modified on June 18, 2005
--- Last modified on June 9, 2005

Jin:
new: 24
new: 52
---
deleted: 23
deleted: 50
new: 2005-06-22T16:21:00Z
---
deleted: 2005-06-04T18:16:00Z
new: 1037
new: 5913
---
deleted: 1024
deleted: 5842
new: 49
---
deleted: 48
new: 7261
---
deleted: 7174
new: span.text13pt
new: {mso-style-name:text13pt;}
new: accepted by Journal für die reine und angewandte
new: Mathematik (Crelle's Journal).
---
deleted: submitted.
new: mso-list:l0 level1 lfo3;tab-stops:list .5in'>Inverse Problem For
new: Upper Asymptotic Density,
---
deleted: mso-list:l0 level1 lfo3;tab-stops:list .5in'>Inverse Problem For Upper
deleted: Asymptotic Density,
href="http://math.cofc.edu/faculty/jin/research/tree5.pdf">pdf-file%en dtag%, Archive
new: for the Mathematical Logic, 32 (1993), pp. 369---379.
--- href="http://math.cofc.edu/faculty/jin/research/tree5.pdf">pdf-file%en dtag%,
deleted: Archive for the Mathematical Logic, 32 (1993), pp. 369---379. href="http://math.cofc.edu/faculty/jin/research/lusin.pdf">pdf-file%en dtag%, The
new: Journal of Symbolic Logic, 57, No 2 (1992), pp. 528---533.
--- href="http://math.cofc.edu/faculty/jin/research/lusin.pdf">pdf-file%en dtag%,
deleted: The Journal of Symbolic Logic, 57, No 2 (1992), pp. 528---533.
new: mso-list:l0 level1 lfo3;tab-stops:list .5in'>Some Independence Results
new: Related To Kurepa Tree,
---
deleted: mso-list:l0 level1 lfo3;tab-stops:list .5in'>Some Independence
deleted: Results Related To Kurepa Tree,


Kechris:
new: Geometric and Functional Analysis 15 (1) (2005), 106-189.
---
deleted: preprint, 2004 (to appear in Geometric and Functional Analysis)
deleted: Click here for the .ps file
deleted: or .pdf file of this paper
new: Topics in Orbit Equivalence, Lecture Notes in Mathematics, Springer,
---
deleted:
deleted: Topics in Orbit Equivalence, Lecture Notes in Mathematics, Springer,

Moore:
new: Omega1 and omega1* may be the only minimal uncountable order types
new: draft 6/21/05. dvi file new: > postscript file new: > pdf file new: >
deleted: Locally compact locally countable spaces and random reals
deleted: accepted in Topology and its Applications . dvi file deleted: > postscript file deleted: > pdf file deleted: >


Thu 9 Jun, 2005


Jin:
new: 23
new: 50
---
deleted: 22
deleted: 48
new: 2005-06-04T18:16:00Z
---
deleted: 2005-04-13T19:36:00Z
new: 5842
---
deleted: 5841
new: 7174
---
deleted: 7173
new: accepted, Lecture Notes in Logic, 25 edited by N. J. Cutland, M. Di Nasso,
new: and D. A. Ross, 2005.
---
deleted: accepted.

Shelah: 2005-06-08 GbSh:867 new paper Goebel+Shelah, Abelian group with a surjective map HvSh:866 [abstract] new paper Havlin+Shelah, More on ${\rm EF}_{\alpha,\lambda}$ eq not isomorphism Sh:863 2005-04-06 [pdf] [ps] [abstract] [arXiv:mat h.LO/0504197] file now available Shelah, Strongly dependent theories KuSh:857 2005-04-18 [pdf] [ps] [abstract] file now available Kuhlmann+Shelah, $\kappa$-bounded Exponential-Logarithmic Power Series Fields SaSh:841 2004-09-06 [pdf] [ps] [abstract] [arXiv:mat h.LO/0404148] now published Sagi+Shelah, On topological properties of ultraproducts of finite sets -- Math Logic Quarterly 51 (2005) 254-257 Sh:840 2005-03-29 [pdf] [ps] [abstract] [arXiv:mat h.LO/0504196] file now available Shelah, Model theory without choice: Categoricity BmSh:823 2005-05-31 [pdf] [ps] [abstract] [arXiv:mat h.GR/0401305] new version available Bergman+Shelah, Closed subgroups of the infinite symmetric group HLSh:821 2003-09-04 [pdf] [ps] [abstract] [arXiv:mat h.LO/0406481] now published Hyttinen+Lessmann+Shelah, Interpreting groups and fields in some nonelementary classes -- J Math Logic 4 (2005) 1-47 Sh:782 2005-04-25 [pdf] [ps] [abstract] [arXiv:mat h.LO/0112213] new version available Shelah, On the Arrow property -- Advances in Applied Math 34 (2005) 217-251 DjSh:710 2005-05-26 [pdf] [ps] [abstract] [arXiv:mat h.LO/0009078] new version available Dzamonja+Shelah, On properties of theories which preclude the existence of universal models Sh:705 2005-05-12 [pdf] [ps] [arXiv:mat h.LO/0404272] new version available Shelah, Toward classification theory of good $\lambda$ frames and abstract elementary classes Sh:604 2005-04-02 [pdf] [ps] [abstract] [arXiv:mat h.LO/0404240] new version available Shelah, The pair $(\aleph_n,\aleph_0)$ may fail $\aleph_0$--compactness -- Proc LC'2001 (2005) 402--433 Sh:509 2003-04-06 [pdf] [ps] [abstract] [arXiv:mat h.LO/0112237] file now available Shelah, Vive la diff\'erence III


Sat 4 Jun, 2005


Abraham: (
--- (
Last modified on July 12, 2004

Schindler:
new: Probeklausur zu HM 2 (SoSe 05): PS PDF PS PDF.
---
deleted: Musterlösungen zur Nachklausur zu HM 1 (WiSe 04-5) PS PDF
new: Journal of Symbolic Logic 66 (2001), pp. 1837-1847.
---
deleted: Journal of Symbolic Logic (66) 2001, pp. 1837-1847.
new: the reals, Journal of Symbolic Logic 68 (2003), pp. 1065 - 1081.
---
deleted: the reals, Journal of Symbolic Logic, to appear.
new: "Logic colloquium 01" (Baaz et al., eds., Lecture Notes in Logic 20,
new: 2005), pp.386-401. PS,
---
deleted: "Logic colloquium 01" (Baaz et al., eds.), pp.386-401. PS,
new: and their complexity hierarchies" (Löwe et al., eds., Kluwer 2004), pp.207-222.
---
deleted: and their complexity hierarchies" (Löwe et al., eds.), pp.207-222.
new: Mathematik 139 (4) (2003), pp.335-340.
---
deleted: Mathematik 139 (4), pp.335-340.
new: for infinite time Turing machines, Journal
new: of Logic and Computation
, to appear. P S.
---
deleted: for infinite time Turing machines, Journal
deleted: of Logic and Computation, to appear. P S.
new: and Bounded Martin's Maximum, Mathematical Logic Quarterly 50 (6)
new: (2004),
---
deleted: and Bounded Martin's Maximum, Mathematical Logic Quarterly 50 (6),
new: Archive for Mathematical Logic,
---
deleted: Archive for Mathematical Logic, Wozu brauchen wir grosse Kardinalzahlen? Mathematische
new: Semesterberichte
, submitted. PS Core models in the presence of Woodin cardinals, J. Symb. Logic,
new: submitted. PS% endtag%, PD F.
--- Wozu brauchen wir grosse Kardinalzahlen? PS Core models in the presence of Woodin cardinals, PS% endtag%. DMV meeting, Mainz, June 05, Projective equivalence relations
new: and inner model theory
.
--- DMV meeting, Mainz, June 05.
new:

---


Steel: PFA implies ADL(R) (Revised May 2005.) posts cript.
--- PFA implies ADL(R) post script.


Sat 28 May, 2005


Fuchino: W_Æu[ã, wZ~i[ (Sugaku Seminar),
--- $B=89gO@$H%V!<%kBe?t(B, $B?t3X%;%_%J!<(B (Sugaku Seminar), Countable Chain Condition Ì Variations ÉÖ·é}[N,
new: w (Sugaku), Vol.43 (1991), No.2, 174--175.
--- Countable Chain Condition $B$N(B Variations $B$K4X$9$k%j%^!<%/(B,
deleted: $B?t3X(B (Sugaku), Vol.43 (1991), No.2, 174--175. Open Coloring Axiom É¢Ä, wîb_Æ»ÌpC
new: ðͤu^930(1995), såwðͤ, 28--41.
--- Open Coloring Axiom $B$K$D$$$F(B, $B?t3X4pACO@$H$=$N1~MQ!$(B
deleted: $B?tM}2r@O8&5f=j9V5fO?(B930(1995), $B5~ETBg3X?tM}2r@O8&5f=j(B, 28--41.
new: Open Coloring Axiom and Forcing Axioms,
a survey, preprint (2000).
new: On the weak Freese-Nation property of P(omega),
new: Co-authors: Stefan Geschke and Lajos Soukup, Archive for
new: Mathematical Logic, Vol.40, (2001) 425-435.
---
deleted: On the weak Freese-Nation property of P(omega)
deleted: Co-authors: Stefan Geschke and Lajos Soukup, to appear.
new: On the weak Freese-Nation property of complete Boolean algebras,
---
deleted: On the weak Freese-Nation property of complete Boolean algebras
new: Annals of Pure and Applied Logic, 110 (1-3) (2001) 89-105. Some combinatorial principles defined in terms of elementary submodels,
new: Co-author:Stefan Geschke, (revised version of the
new: preprint: ``Remarks on a paper by Juh\'asz and Kunen''), Fundamenta
new: Mathematicae 181, (2004) 233-255. Forcing Axioms ÆA±Ìâè --- öIW_ÌÅßÌbè©ç ---,
new: w (Sugaku), Vol.56, No.3 (2004), 248--259. Destructibility of stationary subsets of
new: P_kappa lambda
, Co-author:Greg Piper, preprint. Principles capturing features of generic extensions by
new: almost side-by-side product
,
new: Co-authors:Stefan Geschke and Lajos Soukup, in preparation.
---
deleted: submitted.
deleted: Open Coloring Axiom and Forcing Axioms,
a survey, preprint (2000). 20¢IÌ\zC»ãwÌOÕ, ¤¯·Miú{]_ÐÒjC
new: ú{]_Ð (2000). Emacs Lisp Åìé, ú{]_ÐC(2003), i--ixx, 1--256. I[g}g, ú{]_ÐCin preparation.
--- Set theoretic aspects of almost free Boolean algebras,
deleted: Elsevier Science, in preparation. »ãÌu[ã, ÄóFA£ ,
new: ¤§oÅ ()(Kyoritsu-Shuppan Co.Ltd, 1986) 1--182.
--- $B8=Be$N%V!<%kBe?t(B, $B4FLu!'W"@%(B $B7z(B,
deleted: $B6&N)=PHG(B ($B3t(B)(Kyoritsu-Shuppan Co.Ltd, 1986) 1--182. wÌîb, ¤óÒFgc ÄF,
new: VvK[EtFA[N()
--- $B?t3X$N4pAC(B, $B6&Ludeleted: $B%7%e%W%j%s%,! åîÌW_, VvK[EtFA[N()
--- $B5pBg4p?t$N=89gO@(B, $B%7%e%W%j%s%,!
new: Last modified: Sat May 28 01:47:22 2005
---
deleted: Last modified: Sun Apr 9 11:03:31 2000

Kruger:
--- John Krueger,
new: "Thin Stationary Sets and Disjoint Club Sequences",
new: joint with Sy Friedman, in preparation.

Welch:
new:
new: Interactions between combinatorics of stationary sets, bounded forcing axioms and inner models of set theory

---
deleted: Interactions between combinatorics of stationary sets, bounded forcing axioms and inner models of set theory
new:
new: Mathematics into Philosophy: analysing complexity theoretic issues in
new: current philosophical theories of epistemology, semantics and truth
new:

new: Funded by EPSRC. From October 6'th 2005. Recent papers or new: preprints
--- deleted: Recent deleted: papers or preprints





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