(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:
----
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)
----