Joel David Hamkins

mathematics and philosophy of the infinite

Search

Main menu

Skip to primary content

Skip to secondary content

Home
Publications
Talks
- Talks
- Recent and Upcoming Talks
Appointments and Grants
Teaching
- About My Courses
Students
- About My Graduate Students
- List of My Graduate Students
Mathematical Shorts
Math for Kids

Tag Archives: NWO

Modal logics in set theory, NWO grants, 2006 – 2008

Posted on April 30, 2006 by Joel David Hamkins

Reply

Modal logics in set theory, (with Benedikt Löwe), Nederlandse Organisatie voor Wetenschappelijk (B 62-619), 2006-2008.

Share:

Click to share on Google+ (Opens in new window)
Click to share on Twitter (Opens in new window)
Click to share on Reddit (Opens in new window)
Click to share on Facebook (Opens in new window)
Click to email this to a friend (Opens in new window)
Click to print (Opens in new window)
More

Click to share on LinkedIn (Opens in new window)
Click to share on Tumblr (Opens in new window)
Click to share on Pocket (Opens in new window)
Click to share on Pinterest (Opens in new window)

Posted in Grants and Awards | Tagged Amsterdam, NWO | Leave a reply

My new book

Recent Comments

Determinacy for open class games is preserved by forcing, CUNY Set Theory Seminar, April 2018 | Joel David Hamkins on Open determinacy for games on the ordinals is stronger than ZFC, CUNY Logic Workshop, October 2015
Joel David Hamkins on Math for nine-year-olds: fold, punch and cut for symmetry!
Jen on Math for nine-year-olds: fold, punch and cut for symmetry!
Joel David Hamkins on Infinite Sudoku and the Sudoku game
Joel David Hamkins on Infinite Sudoku and the Sudoku game

JDH on Twitter

JDH on G+

Blogroll

+Joel David Hamkins
A kind of library
Aleph zero categorical
Barbara Gail Montero
Benjamin Steinberg
Booles’ Rings
Cantor’s Attic
Combinatorics and more
GC Math Department
Global Set Theory Talks
Gowers’s weblog
JDH on Twitter
JDH on Wikipedia
Mathblogging.org
MathOverflow
New York Logic
Opae'ula
Peano’s parlour
Richard Zach
Set theory – Google+
Terence Tao

Mathoverflow activity

Answer by Joel David Hamkins for Contemporary Philosophy of Mathematics
Let me mention a few current issues on which I have been involved in the philosophy of mathematics. Debate on pluralism. First, there is currently a lively or indeed raging debate on the issue of pluralism in the philosophy of set theory. If one takes set theory as a foundational theory, in the sense that […]
Comment by Joel David Hamkins on Limits in subcategories of Powerset-coalgebras
Could you explain the modal logic tag?
Comment by Joel David Hamkins on The Sudoku game: Solver-Spoiler variation
I think one might be able to argue that it must be to the advantage to go second, since all first moves are isomorphic. So going second is like getting two moves in a row at the start.
Comment by Joel David Hamkins on The Sudoku game: Solver-Spoiler variation
But with $n=2$, what if Spoiler goes first and Solver plays in the same box? Then you can't have three empty squares in that box.
Comment by Joel David Hamkins on The Sudoku game: Solver-Spoiler variation
I think you are assuming $n\geq 3$?
Comment by Joel David Hamkins on Alice and Bob playing on a circle
@Ant No, I didn't claim or prove that. The symmetry argument works for even $n$, showing that for even $n$, Bob has a drawing strategy. The strategy-stealing argument shows that Bob has no winning strategy for any $n$.
Comment by Joel David Hamkins on Alice and Bob playing on a circle
@Glorfindel I would encourage you to post your code and results, since this bears on the answer.
Comment by Joel David Hamkins on Who wins two player sudoku?
@Sylvain Indeed, she is a sharp one! She noticed the symmetry strategy immediately after I explained the problem to her. She says that she will either be a mathematician or a philosopher when she grows up, but I think lately it is leaning toward math. Of course, the world of possibility is open to her.

New York Logic

Title TBA
Resource Sharing Linear Logic, I
Sub-Kripkean epistemic models I
Generic logical semantics of justifications III
Generic logical semantics of justifications II
Generic logical semantics of justifications.
Cut Elimination
Functors and infinitary interpretations of structures
Recursive Reducts of PA III
Kripke completeness of strictly positive modal logics and related problems

Cantor’s Attic activity

An error has occurred, which probably means the feed is down. Try again later.

Meta

Log in
Entries RSS
Comments RSS
WordPress.org

Subscribe to receive update notifications by email.

Email Address

Tags

absoluteness Arthur Apter automorphism towers CH chess computability countable models definability determinacy diamond elementary embeddings equivalence relations forcing forcing axioms games GBC geology ground axiom groups Gunter Fuchs HOD hypnagogic digraph indestructibility infinitary computability infinite chess infinite games ITTMs Jonas Reitz kids KM large cardinals maximality principle modal logic models of PA multiverse open games potentialism PSC-CUNY satisfaction supercompact truth universal definition universal program Victoria Gitman weakly compact

Proudly powered by WordPress

Send to Email Address Your Name Your Email Address

Cancel

Post was not sent - check your email addresses!

Email check failed, please try again

Sorry, your blog cannot share posts by email.