The theory of infinite games: how to play infinite chess and win, VCU Math...
I shall speak at the Virginia Commonwealth University Math Colloquium on November 21, 2014. Abstract. I shall give a general introduction to the theory of infinite games, using infinite chess—chess...
View ArticleThe rule-making game
Let me tell you about a new game that we’ve been playing in our family, the rule-making game. It is a talking game, requiring no pieces or objects of any kind, and it can easily be played whilst...
View ArticleMy research collaborators
I have been very fortunate in my research to have had the opportunity to work closely with a number of insightful researchers. I’ve learned a great deal from them, and I’m truly grateful. So I’ve...
View ArticleWhen does every definable set have a definable member? CUNY Set Theory...
This will be a talk for the CUNY set theory seminar, October 10, 2014, 12pm GC 6417. Abstract. Although the concept of `being definable’ is not generally expressible in the language of set theory, it...
View ArticleDoes definiteness-of-truth follow from definiteness-of-objects? NY...
This will be a talk for the New York Philosophical Logic Group, November 10, 2014, 5-7pm, at the NYU Philosophy Department, 5 Washington Place, Room 302. Abstract. This talk — a mix of mathematics and...
View ArticleMathOverflow, the eternal fountain of mathematics: reflections on a hundred...
It seems to appear that I have somehow managed to pass the 100,000 score milestone for reputation on MathOverflow. A hundred kiloreps! Does this qualify me for micro-celebrity status? I have...
View ArticleTransfinite recursion as a fundamental principle in set theory
$\newcommand\dom{\text{dom}} \newcommand\ran{\text{ran}} \newcommand\restrict{\upharpoonright}$ At the Midwest PhilMath Workshop this past weekend, I heard Benjamin Rin (UC Irvine) speak on transfinite...
View ArticleUpward closure in the toy multiverse of all countable models of set theory
The toy multiverse of all countable models of set theory is upward closed under countably many successive forcing extensions of bounded size… I’d like to explain a topic from my recent paper G. Fuchs,...
View ArticleAn introduction to the theory of infinite games, with examples from infinite...
This will be a talk for the interdisciplinary Group in Philosophical and Mathematical Logic at the University of Connecticut in Storrs, on December 5, 2014. Abstract. I shall give a general...
View ArticleThe global choice principle in Gödel-Bernays set theory
$\newcommand\Ord{\text{Ord}} \newcommand\R{\mathbb{R}} \newcommand\HOD{\text{HOD}}$ I’d like to follow up on several posts I made recently on MathOverflow (see here, here and here), which engaged...
View ArticleIncomparable $\omega_1$-like models of set theory
G. Fuchs, V. Gitman, and J. D. Hamkins, “Incomparable $\omega_1$-like models of set theory.” (manuscript under review) Citation arχiv...
View ArticleEhrenfeucht's lemma in set theory
G. Fuchs, V. Gitman, and J. D. Hamkins, “Ehrenfeucht’s lemma in set theory.” (manuscript under review) Citation arχiv @ARTICLE{FuchsGitmanHamkins:EhrenfeuchtsLemmaInSetTheory, author = {Gunter Fuchs...
View ArticleLogic for Philosophers, NYU, Spring 2015, graduate course PHIL-GA 1003
This seminar will be a graduate-level survey of topics in logic for philosophers, including propositional logic, modal logic, predicate logic, model theory, completeness, incompleteness, computability...
View ArticleA picture of logic, between mathematics and philosophy
Years ago, when I was a student and young professor in Berkeley, one often heard it said that the subject of logic or at least metamathematics, according to the Tarski school, could be divided into...
View Article
More Pages to Explore .....