Carnegie Mellon Logic Seminar – Set Theory Talks
https://settheory.mathtalks.org
Global set theory seminar and conference announcementsFri, 26 May 2017 04:04:47 +0000en-UShourly1https://wordpress.org/?v=4.7.5James Cummings: Definable subsets of singular cardinals
https://settheory.mathtalks.org/cmu-math-logic-seminar-tue-apr-11-cummings-on-definable-subsets/
https://settheory.mathtalks.org/cmu-math-logic-seminar-tue-apr-11-cummings-on-definable-subsets/#respondTue, 11 Apr 2017 03:24:31 +0000http://settheory.mathtalks.org/cmu-math-logic-seminar-tue-apr-11-cummings-on-definable-subsets/continue reading…]]>https://settheory.mathtalks.org/cmu-math-logic-seminar-tue-apr-11-cummings-on-definable-subsets/feed/0Jing Zhang: A polarized partition theorem for large saturated linear orders
https://settheory.mathtalks.org/cmu-math-logic-seminar-tomorrow-zhang-on-a-polarized-partition/
https://settheory.mathtalks.org/cmu-math-logic-seminar-tomorrow-zhang-on-a-polarized-partition/#respondTue, 28 Mar 2017 02:26:59 +0000http://settheory.mathtalks.org/cmu-math-logic-seminar-tomorrow-zhang-on-a-polarized-partition/continue reading…]]>https://settheory.mathtalks.org/cmu-math-logic-seminar-tomorrow-zhang-on-a-polarized-partition/feed/0Dana Bartošová: Freedom of action in combinatorial terms
https://settheory.mathtalks.org/cmu-math-logic-seminar-tue-mar-21-bartosova-on-freedom-of-action-in-combinatorial-terms/
https://settheory.mathtalks.org/cmu-math-logic-seminar-tue-mar-21-bartosova-on-freedom-of-action-in-combinatorial-terms/#respondMon, 20 Mar 2017 20:06:13 +0000http://settheory.mathtalks.org/cmu-math-logic-seminar-tue-mar-21-bartosova-on-freedom-of-action-in-combinatorial-terms/continue reading…]]>https://settheory.mathtalks.org/cmu-math-logic-seminar-tue-mar-21-bartosova-on-freedom-of-action-in-combinatorial-terms/feed/0Rick Statman: Backus FP is Turing complete
https://settheory.mathtalks.org/cmu-math-logic-seminar-tues-28-feb-statman-backus-fp-is-turing/
https://settheory.mathtalks.org/cmu-math-logic-seminar-tues-28-feb-statman-backus-fp-is-turing/#respondSat, 25 Feb 2017 17:21:07 +0000http://settheory.mathtalks.org/cmu-math-logic-seminar-tues-28-feb-statman-backus-fp-is-turing/continue reading…]]>https://settheory.mathtalks.org/cmu-math-logic-seminar-tues-28-feb-statman-backus-fp-is-turing/feed/0Deirdre Haskell: Using model theory to find upper bounds on VC density
https://settheory.mathtalks.org/cmu-logic-seminar-tuesday-haskell-on-using-model-theory-to-find/
https://settheory.mathtalks.org/cmu-logic-seminar-tuesday-haskell-on-using-model-theory-to-find/#respondSun, 19 Feb 2017 20:37:14 +0000http://settheory.mathtalks.org/cmu-logic-seminar-tuesday-haskell-on-using-model-theory-to-find/continue reading…]]>https://settheory.mathtalks.org/cmu-logic-seminar-tuesday-haskell-on-using-model-theory-to-find/feed/0Andy Zucker: An ultrafilter proof of the 2-dimensional Halpern-Laüchli Theorem
https://settheory.mathtalks.org/cmu-math-logic-seminar-tues-31-zucker-on-an-ultrafilter-proof-of/
https://settheory.mathtalks.org/cmu-math-logic-seminar-tues-31-zucker-on-an-ultrafilter-proof-of/#respondMon, 30 Jan 2017 19:17:07 +0000http://settheory.mathtalks.org/cmu-math-logic-seminar-tues-31-zucker-on-an-ultrafilter-proof-of/continue reading…]]>https://settheory.mathtalks.org/cmu-math-logic-seminar-tues-31-zucker-on-an-ultrafilter-proof-of/feed/0James Cummings: Universal graphs
https://settheory.mathtalks.org/cmu-math-logic-seminar-tues-24-jan-cummings-on-universal-graphs/
https://settheory.mathtalks.org/cmu-math-logic-seminar-tues-24-jan-cummings-on-universal-graphs/#respondTue, 24 Jan 2017 00:09:07 +0000http://settheory.mathtalks.org/cmu-math-logic-seminar-tues-24-jan-cummings-on-universal-graphs/continue reading…]]>https://settheory.mathtalks.org/cmu-math-logic-seminar-tues-24-jan-cummings-on-universal-graphs/feed/0Andy Zucker: Ramsey degrees big and small II
https://settheory.mathtalks.org/cmu-math-logic-seminar-tues-29-november-zucker-on-ramsey-degrees/
https://settheory.mathtalks.org/cmu-math-logic-seminar-tues-29-november-zucker-on-ramsey-degrees/#respondMon, 28 Nov 2016 23:42:01 +0000http://settheory.mathtalks.org/cmu-math-logic-seminar-tues-29-november-zucker-on-ramsey-degrees/continue reading…]]>https://settheory.mathtalks.org/cmu-math-logic-seminar-tues-29-november-zucker-on-ramsey-degrees/feed/0Andy Zucker : Ramsey degrees big and small
https://settheory.mathtalks.org/cmu-math-logic-seminar-tuesday-zucker-on-ramsey-degrees-big-and/
https://settheory.mathtalks.org/cmu-math-logic-seminar-tuesday-zucker-on-ramsey-degrees-big-and/#respondSat, 12 Nov 2016 17:23:13 +0000http://settheory.mathtalks.org/cmu-math-logic-seminar-tuesday-zucker-on-ramsey-degrees-big-and/continue reading…]]>https://settheory.mathtalks.org/cmu-math-logic-seminar-tuesday-zucker-on-ramsey-degrees-big-and/feed/0Appalachian Set Theory workshop: Benjamin Miller, January 21, 2017
https://settheory.mathtalks.org/no-cmu-math-logic-seminar-tomorrow-set-theory-workshop-at-cmu-on/
https://settheory.mathtalks.org/no-cmu-math-logic-seminar-tomorrow-set-theory-workshop-at-cmu-on/#respondMon, 31 Oct 2016 21:25:02 +0000http://settheory.mathtalks.org/no-cmu-math-logic-seminar-tomorrow-set-theory-workshop-at-cmu-on/continue reading…]]>https://settheory.mathtalks.org/no-cmu-math-logic-seminar-tomorrow-set-theory-workshop-at-cmu-on/feed/0