### Dartmouth Logic

Shared publicly -First Spring seminar, +François Dorais will speak on "A completeness theorem for geometric logic!"

http://www.math.dartmouth.edu/~logic/

1

Add a comment...

AboutPostsPhotosVideos

First Spring seminar, +François Dorais will speak on "A completeness theorem for geometric logic!"

http://www.math.dartmouth.edu/~logic/

1

Add a comment...

The next Dartmouth Logic Seminar this Winter will be on Wednesday, March 6, at 2:00pm in Kemeny 120. The speaker will be Marcia Groszek (Dartmouth College).

Title: More on the Strength of Ramsey’s Theorem for Pairs

Abstract: We will finish the forcing argument in Seetapun and Slaman 1995 showing that Ramsey’s theorem for pairs is weaker than arithmetic comprehension, and look at the complications involved in trying to do a similar argument for the binary tree version.

Title: More on the Strength of Ramsey’s Theorem for Pairs

Abstract: We will finish the forcing argument in Seetapun and Slaman 1995 showing that Ramsey’s theorem for pairs is weaker than arithmetic comprehension, and look at the complications involved in trying to do a similar argument for the binary tree version.

1

Note the last minute time change! The Logic Seminar will meet at 2:00pm instead of the regular time.

Add a comment...

The first seminar of Winter 2013 will be on January 23 at 3:00pm in Kemeny 120.

Title: The Set-Theoretic Multiverse

Speaker: +François Dorais (Dartmouth College)

Joel David Hamkins proposed a list of axioms for the multiverse view of set theory. We will look at these axioms and their consequences to our understanding of the mathematical universe. We will also look at a consistency proof of the multiverse axioms by Victoria Gitman and Joel David Hamkins.

Title: The Set-Theoretic Multiverse

Speaker: +François Dorais (Dartmouth College)

Joel David Hamkins proposed a list of axioms for the multiverse view of set theory. We will look at these axioms and their consequences to our understanding of the mathematical universe. We will also look at a consistency proof of the multiverse axioms by Victoria Gitman and Joel David Hamkins.

1

i may tune in...

Add a comment...

In their circles

13 people

First Fall seminar, +François Dorais will speak on "Topology without points!"

http://www.math.dartmouth.edu/~logic/

http://www.math.dartmouth.edu/~logic/

1

Add a comment...

The next seminar this Winter will be on Wednesday, February 20, at 3:00pm in Kemeny 120. The speaker will be Marcia Groszek (Dartmouth College).

Title: The Strength of Ramsey's Theorem for Pairs

Abstract: We will review the forcing argument in Seetapun and Slaman 1995 showing that Ramsey's theorem for pairs is weaker than arithmetic comprehension. We may look at the complications involved in trying to do a similar argument for the binary tree version.

Title: The Strength of Ramsey's Theorem for Pairs

Abstract: We will review the forcing argument in Seetapun and Slaman 1995 showing that Ramsey's theorem for pairs is weaker than arithmetic comprehension. We may look at the complications involved in trying to do a similar argument for the binary tree version.

1

Add a comment...

Logic Seminar will meet on Wednesday, October 10, at 3:00pm in Kemeny 120. The speaker this week will be François G. Dorais (Dartmouth College), who will continue the topic from last time.

Title: Interpreting set theory in second-order arithmetic (second part)

Abstract: We will discuss the problem of interpreting fragments of set theory into subsystems of second-order arithmetic. We will see how and why $ATR_0$ is the weakest subsystem of second-order arithmetic that has a robust interpretation of set theory. We will discuss what can be done in weaker subsystems such as $ACA_0$ and $ACA_0^+$. Finally, we will discuss potential applications to reverse mathematics.

Title: Interpreting set theory in second-order arithmetic (second part)

Abstract: We will discuss the problem of interpreting fragments of set theory into subsystems of second-order arithmetic. We will see how and why $ATR_0$ is the weakest subsystem of second-order arithmetic that has a robust interpretation of set theory. We will discuss what can be done in weaker subsystems such as $ACA_0$ and $ACA_0^+$. Finally, we will discuss potential applications to reverse mathematics.

1

Add a comment...

People

In their circles

13 people

Contact Information

Contact info

- logic@math.dartmouth.edu
| |

Story

Tagline

Logic and Foundations of Mathematics at Dartmouth College

Introduction

We occasionally organize hangouts for our logic seminars. To get announcements and hangout invitations, add this page to a circle and send us a message.