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

Joel David Hamkins on A new proof of the Barwise extension theorem, without infinitary logic, CUNY Logic Workshop, December 2018
Athar on A new proof of the Barwise extension theorem, without infinitary logic, CUNY Logic Workshop, December 2018
Stan Letovsky on The hierarchy of logical expressivity
The rearrangement and subseries numbers: how much convergence suffices for absolute convergence? Mathematics Colloquium, University of Münster, January 2019 | Joel David Hamkins on The rearrangement number
Joel David Hamkins on Lectures on the Philosophy of Mathematics, Oxford, Michaelmas 2018

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

Comment by Joel David Hamkins on Critical topological spaces
@WlodAA That map is not injective.
Comment by Joel David Hamkins on Can the Knaster-Tarski theorem be proved using the Schroeder-Bernstein theorem?
@Simon I'm glad you like the proof. Regarding your latter comment, however, I agree that all functions on the power set that arise by application of a function on the underlying set will be continuous in the way you describe. But there are other functions on the power set that do not arise by application […]
Answer by Joel David Hamkins for does recursive (decidable) languages closed under division (Quotient) with any language?
The quotient of one language $L$ by another $R$ is the set of strings $x$ such that $xy\in L$ for some $y\in R$. If both $L$ and $R$ are computably enumerable (what you call RE), then the quotient is clearly enumerable, since we can simply search for all strings $x$ and $y$ such that $xy\in […]
Comment by Joel David Hamkins on Can we always shift two disjoint convex bodies a little bit to decrease the volume of their convex hull?
Yes, I had meant the centroids --- the other kind of counterexamples seem easy to make. But now I'm not sure about the centroids idea, since perhaps there is a long narrow arm sticking out (but still convex); if the tip of the arm is far from the centroid, it might affect the move-centers-closer strategy.
Comment by Joel David Hamkins on Can we always shift two disjoint convex bodies a little bit to decrease the volume of their convex hull?
Intuitively, it seems that you should be able to move them closer together and thereby decrease volume, right? Do you have an example where moving them along the line connecting their centers closer doesn't do this?
Comment by Joel David Hamkins on Slightly finer topology vs a quasi-component
For reference, the quasi-component of a point is the intersection of all clopen sets containing that point. en.wikipedia.org/wiki/Connected_space#Connected_components It is usually best to explain such background concepts when posting on MathOverflow.
Comment by Joel David Hamkins on Non-discrete $T_2$-space $(X,\tau)$ with $2^{|X|}$ retracts
Thanks very much for the welcome. This has been my first post since August; I've been away much longer than I had expected.
Answer by Joel David Hamkins for Non-discrete $T_2$-space $(X,\tau)$ with $2^{|X|}$ retracts
Yes. The space of rational numbers $X=\mathbb{Q}$ is an instance. We can view $X$ as a countable union of countably many disjoint copies of $\mathbb{Q}$. Any nonempty subset $A$ of those copies (that is, taking all or none of each copy) is a retract of $X$, since we can map the unused copies to a […]

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 supercompact truth universal definition universal program Victoria Gitman W. Hugh Woodin 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.