Boise Set Theory Seminar – Set Theory Talks
http://settheory.mathtalks.org
Global set theory seminar and conference announcementsMon, 27 Mar 2017 17:25:21 +0000en-UShourly1https://wordpress.org/?v=4.7.3Sam Dworetzky: The classification problem for models of Peano Arithmetic
http://settheory.mathtalks.org/sam-dworetzky-the-classification-problem-for-models-of-peano-arithmetic/
http://settheory.mathtalks.org/sam-dworetzky-the-classification-problem-for-models-of-peano-arithmetic/#respondTue, 14 Feb 2017 06:33:28 +0000http://settheory.mathtalks.org/?p=7319continue reading…]]>http://settheory.mathtalks.org/sam-dworetzky-the-classification-problem-for-models-of-peano-arithmetic/feed/0Stephanie Potter: Classification of vertex-transitive structures
http://settheory.mathtalks.org/stephanie-potter-classification-of-vertex-transitive-structures/
http://settheory.mathtalks.org/stephanie-potter-classification-of-vertex-transitive-structures/#respondMon, 30 Jan 2017 05:22:44 +0000http://settheory.mathtalks.org/?p=7287continue reading…]]>http://settheory.mathtalks.org/stephanie-potter-classification-of-vertex-transitive-structures/feed/0Marion Scheepers: Playing an infinitely long game when you have limited memory III
http://settheory.mathtalks.org/marion-scheepers-playing-an-infinitely-long-game-when-you-have-limited-memory-iii/
http://settheory.mathtalks.org/marion-scheepers-playing-an-infinitely-long-game-when-you-have-limited-memory-iii/#respondTue, 17 Jan 2017 04:21:18 +0000http://settheory.mathtalks.org/?p=7269continue reading…]]>http://settheory.mathtalks.org/marion-scheepers-playing-an-infinitely-long-game-when-you-have-limited-memory-iii/feed/0Randall Holmes: Constructing proofs with a dependent type checker
http://settheory.mathtalks.org/randall-holmes-constructing-proofs-with-a-dependent-type-checker/
http://settheory.mathtalks.org/randall-holmes-constructing-proofs-with-a-dependent-type-checker/#respondMon, 24 Oct 2016 21:42:31 +0000http://settheory.mathtalks.org/?p=7098continue reading…]]>http://settheory.mathtalks.org/randall-holmes-constructing-proofs-with-a-dependent-type-checker/feed/0John Clemens: The recursion theorem in set theory
http://settheory.mathtalks.org/john-clemens-the-recursion-theorem-in-set-theory/
http://settheory.mathtalks.org/john-clemens-the-recursion-theorem-in-set-theory/#respondMon, 26 Sep 2016 03:29:42 +0000http://settheory.mathtalks.org/?p=7007continue reading…]]>http://settheory.mathtalks.org/john-clemens-the-recursion-theorem-in-set-theory/feed/0Samuel Coskey: Classifying automorphisms of countable trees
http://settheory.mathtalks.org/samuel-coskey-classifying-automorphisms-of-countable-trees/
http://settheory.mathtalks.org/samuel-coskey-classifying-automorphisms-of-countable-trees/#respondSat, 10 Sep 2016 05:41:08 +0000http://settheory.mathtalks.org/?p=6954continue reading…]]>http://settheory.mathtalks.org/samuel-coskey-classifying-automorphisms-of-countable-trees/feed/0Marion Scheepers: Ramsey theory and the Borel Conjecture
http://settheory.mathtalks.org/marion-scheepers-ramsey-theory-and-the-borel-conjecture/
http://settheory.mathtalks.org/marion-scheepers-ramsey-theory-and-the-borel-conjecture/#respondTue, 19 Apr 2016 17:15:13 +0000http://settheory.mathtalks.org/?p=6736continue reading…]]>http://settheory.mathtalks.org/marion-scheepers-ramsey-theory-and-the-borel-conjecture/feed/0Shehzad Ahmed: Jónsson successors of singular cardinals
http://settheory.mathtalks.org/shehzad-ahmed-jonsson-successors-of-singular-cardinals/
http://settheory.mathtalks.org/shehzad-ahmed-jonsson-successors-of-singular-cardinals/#respondSun, 28 Feb 2016 03:04:02 +0000http://settheory.mathtalks.org/?p=6607continue reading…]]>http://settheory.mathtalks.org/shehzad-ahmed-jonsson-successors-of-singular-cardinals/feed/0Randall Holmes: Consistency of New Foundations
http://settheory.mathtalks.org/randall-holmes-consistency-of-new-foundations/
http://settheory.mathtalks.org/randall-holmes-consistency-of-new-foundations/#respondMon, 07 Dec 2015 18:56:18 +0000http://settheory.mathtalks.org/?p=6429continue reading…]]>http://settheory.mathtalks.org/randall-holmes-consistency-of-new-foundations/feed/0John Clemens: Relative primeness of equivalence relations
http://settheory.mathtalks.org/john-clemens-relative-primeness-of-equivalence-relations/
http://settheory.mathtalks.org/john-clemens-relative-primeness-of-equivalence-relations/#respondTue, 10 Nov 2015 05:07:57 +0000http://settheory.mathtalks.org/?p=6371continue reading…]]>http://settheory.mathtalks.org/john-clemens-relative-primeness-of-equivalence-relations/feed/0