EPISTEME

Episteme is a (crude) blog which automatically keeps track of changes in the preprint webpages of some people working in set theory. This version (June 2014) should be more discriminating, with fewer false positives. However the detailing/description of new eprints will be sparser.

[More explanation]

New Episteme Archive:

Old Episteme Archive:


[More explanation]

How crude is Episteme? Very! 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 probably not much if at all. The idea is to have some minimal mechanical notification.

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

Which people? Currently:

January 2017

Saturday 28th January 2017

Don Monk

new: [3] [link] closed and added
new: [4] [link] closed and added
----

Friday 27th January 2017

Jakob Kellner

new: PDF,
----
deleted: PDF,
----

Thursday 26th January 2017

Sy Friedman

new: Sinapova) The eightfold way. ( PDF file)
new: Subset bounded recursion and a circuit model of Cobham Recursive set functions. ( PDF file)
----

Péter Komjáth

new: pdf
new: pdf
----

Don Monk

new: [1] [link] closed and added
new: [2] [link] closed and added
----

Wednesday 25th January 2017

Sy Friedman

new: iterations and projective wellorders. ( PDF file)
new: The Cichon diagram at $\kappa$. ( PDF file)
new: The Hyperuniverse Programme, Chiemsee summer school, July 2014 ( PDF file)
new: hyperuniverse programme. ( PDF file)
new: PDF file)
----
deleted: $\alpha_{\omega+2}$ with a finite gap. ( PDF file)
deleted: (with Claudio Ternullo) Believing the new axioms. ( PDF file)
deleted: The Hyperuniverse Programme, Chiemsee summer school, July 2014 ( PDF file)
----

Alecho Kechris

new: .pdf file
----
deleted: [pdf].
----

Sunday 22nd January 2017

Nam Trang

new: 13. Compactness of \omega_1, UCLA Logic Colloquium, Jan 2017, slides.
----

Wednesday 18th January 2017

Brent Cody

new: Adding a non-reflecting weakly compact set. (submitted - [pdf])
----

Sunday 15th January 2017

Philipp Schlicht

new: -->
new: The recognizability strength of infinite time Turing machines with ordinal parameters
----

Friday 13th January 2017

Jouko Väänänen

new: A dichotomy theorem for the generalized Baire space and elementary embeddability at uncountable [link] closed and added
----
deleted: A dichotomy theorem for the generalized Baire space and elementary embeddability at uncountable [added closing tag]
----

Thursday 12th January 2017

Alecho Kechris

new: .pdf[link] closed and added
----
deleted: .pdf [added closing tag]
----

Maryanthe Malliaris

deleted: "Keisler's order has infinitely many classes." arxiv
----

Christian Rosendal

new: DEA, Mathematical Logic, Paris 7, 2000.
new: Curriculum Vitae.
----

Tuesday 10th January 2017

Laura Fontanella

new: paper for the book project `FOMUS - What are suitable criteria for a foundation of Mathematics?' Editeurs: S. Centrone, D. Kant et D. Sarikaya. (pdf).
new: of the workshops: `Paris-Davis workshop on Ontological Commitment in Math' IHPST Paris 14.12.2015, and `Crossing worlds: mathematical logic, philosophy, art' Univ. Helsinki 03.06.2016 (pdf).
----
deleted: (pdf).
----

Saturday 7th January 2017

Dima Sinapova

new: James Cummings, Sy Friedman, Menachem Magidor, Assaf Rinot, and Dima Sinapova, The eightfold way.
new: PDF file
----

Thursday 5th January 2017

Alecho Kechris

new: .pdf[link] closed and added
----
deleted: (with
deleted: .pdf [added closing tag]
----

Wednesday 4th January 2017

Joel Hamkins

new: A. Enayat and J. D. Hamkins, “ZFC proves that the class of ordinals is not weakly compact for definable classes.” (manuscript under review)  
new: Citation arχiv
new: title = {A class of strong diamond principles},
new: journal = {mathematics arxiv preprint http://arxiv.org/abs/math/0211419},
new: A class of strong diamond principles
new: J. D. Hamkins, “A class of strong diamond principles,” mathematics arxiv preprint http://arxiv.org/abs/math/0211419, 2002.  
new: A. Blass, J. Brendle, W. Brian, J. D. Hamkins, M. Hardy, and P. B. Larson, “The rearrangement number.” (manuscript under review)  
new: Citation arχiv
new: J. D. Hamkins and M. Kikuchi, “Set-theoretic mereology,” Logic and Logical Philosophy, special issue “Mereology and beyond, part II”, vol. 25, iss. 3, pp. 1-24, 2016.  
new: Journal Citation arχiv
----
deleted: A class of strong diamond principles
deleted: J. D. Hamkins, “A class of strong diamond principles,” preprint \hrefhttp://arxiv.org/abs/math/0211419arxiv:math/0211419, 2002.  
deleted: J. D. Hamkins, “Upward closure and amalgamation in the generic multiverse of a countable model of set theory.” (manuscript under review, Newton Institute preprint ni15066)  
deleted: Citation arχiv
deleted: title = {A class of strong diamond principles},
deleted: journal = {preprint \href{http://arxiv.org/abs/math/0211419}{arxiv:math/0211419}},
----

Friday 23rd December 2016

Sy Friedman

new: $\alpha_{\omega+2}$ with a finite gap. ( PDF file)
----

Piotr Zakrzewski

new: [ pdf ]
new: [ pdf ]
----
deleted: [ pdf ]
deleted: [ pdf ]
----

Wednesday 21st December 2016

Andrew Marks

new: Borel circle squaring (with Spencer Unger). [ arXiv | pdf ].
----

Monday 19th December 2016

Sakaé Fuchino

new: Conjecture implies Fodor-type Reflection Principle.
new: Sakaé Fuchino, Rado's [link] closed and added
----

Sunday 18th December 2016

Andrew Marks

new: Borel circle squaring (with Spencer Unger). [ pdf ].
----
deleted: Borel circle squaring (with Spencer Unger). [ pdf ].
----

Saturday 17th December 2016

Andrew Marks

new: Borel circle squaring (with Spencer Unger). [ pdf ].
----
deleted: Borel circle squaring (with Spencer Unger). [ pdf ].
----

Jouko Väänänen

new: Inner Models from Extended Logics, with J. Kennedy and M. Magidor. Isaac Newton Institute preprint series, January 2016.
----
deleted: Inner Models from Extended Logics, with J. Kennedy and M. Magidor. Isaac Newton Institute preprint series, January 2016.
----

Friday 16th December 2016

Aki Kanamori

new: A shorter curriculum vitae
new: Gödel vis-à-vis Russell: From logic and set[link] closed and added
----
deleted: A shorter curriculum vitae
deleted: Gödel vis-à-vis Russell: From logic and set [added closing tag]
----

Philipp Lücke

deleted: Choiceless Ramsey theory of linear orders.
deleted: Characterizing large cardinals in terms of layered posets.
deleted: Simplest possible locally definable well-orders.
----

Andrew Marks

new: Borel circle squaring (with Spencer Unger). [ pdf ].
----

Spencer Unger

new: (Joint with Andrew Marks) Borel circle squaring.
----

Thursday 15th December 2016

Joan Bagaria

deleted: Full CV
----

Raphaël Corroy

new: Following a talk, Taras Banakh suggested a quasi-order between functions that is bqo for simple reasons. I explain here on an example why it does not respect the Borel complexity of preimages, or Borel degree function. (pdf)
----

Wednesday 14th December 2016

Sean Cox

new: Three papers related to the Mitchell order, to appear in the Bulletin of Symbolic Logic.
new: Review of Foreman’s Distinguished Lecture Series, Fields Notes, Winter 2013, Volume 12:3.
----

Monday 12th December 2016

Nam Trang

deleted: 6. PFA and guessing models pdf, to appear on the Israel Journal of Mathematics.
deleted: 8. (with X. Shi) I_0 and combinatorics at lambda^+ pdf, accepted to the Archive of Mathematical Logic
----

Wednesday 7th December 2016

Brent Cody

new: (with Monroe Eskew) Rigid ideals. (accepted at Israel Journal of Mathematics - [pdf])
new: (with Sean Cox) Indestructibility of generically strong cardinals, Fundamenta Mathematicae, 232 (2):131-149, 2016 ([arxiv], [pdf] or [journal])
----
deleted: (with Sean Cox) Indestructibility of generically strong cardinals. (accepted at Fundamenta Mathematicae - [arxiv] or [pdf])
----

Slawomir Solecki

new: [pdf]
----
deleted: [pdf]
----

Tuesday 6th December 2016

Philipp Lücke

deleted: Class forcing, the forcing theorem and Boolean completions.
----

Ralf Schindler

new: PDF
----

Nam Trang

new: 8. (with X. Shi) I_0 and combinatorics at lambda^+ pdf, accepted to the Archive of Mathematical Logic
----
deleted: 8. (with X. Shi) I_0 and combinatorics at lambda^+ pdf, submitted
----

Monday 5th December 2016

Ilijas Farah

new: pdf file
----

Saturday 3rd December 2016

Arnie Miller

new: jstor
----
deleted: jstor
----

Friday 2nd December 2016

Ralf Schindler

deleted: [added closing tag]
----

Slawomir Solecki

new: [pdf]
----

Thursday 1st December 2016

Sam Coskey

deleted: The conjugacy problem for automorphism groups of countable homogeneous structures
deleted: With Paul Ellis. Accepted to Mathematical logic quarterly, 2016. (arχiv)
----





Charles Morgan,
February 2005, June 2014





Music
Dance

A mix of independently minded music from Brazil


Grupo Candomba dance company and
Beatriz's
Afro Brazilian Dance classes