## Contact Info

Pure MathematicsUniversity of Waterloo

200 University Avenue West

Waterloo, Ontario, Canada

N2L 3G1

Departmental office: MC 5304

Phone: 519 888 4567 x43484

Fax: 519 725 0160

Email: puremath@uwaterloo.ca

Wednesday, May 16, 2012 — 4:00 PM EDT

Matthew Harrison-Trainor, Department of Pure Mathematics, University of Waterloo

The theorem AMT says that if T is an atomic theory, then T has an atomic model. We will introduce forcing to give a conservation result over RCA_0: AMT is restricted \PI^1_2-conservative over RCA_0, that is, any sentence of the form ∀ A(Ω(A) → ∃BΦ(A, B)), where Ω is arithmetic and Φ is Σ^0_3, provable by AMT is already provable in RCA_0. In particular, this will show that AMT does not prove WKL_0, RT^2_2, and a number of other principles.

Location

MC - Mathematics & Computer Building

5046

200 University Avenue West

Waterloo, ON N2L 3G1

Canada

200 University Avenue West

Waterloo, ON N2L 3G1

Canada

University of Waterloo

200 University Avenue West

Waterloo, Ontario, Canada

N2L 3G1

Departmental office: MC 5304

Phone: 519 888 4567 x43484

Fax: 519 725 0160

Email: puremath@uwaterloo.ca

University of Waterloo

University of Waterloo

43.471468

-80.544205

200 University Avenue West

Waterloo,
ON,
Canada
N2L 3G1

The University of Waterloo acknowledges that much of our work takes place on the traditional territory of the Neutral, Anishinaabeg and Haudenosaunee peoples. Our main campus is situated on the Haldimand Tract, the land granted to the Six Nations that includes six miles on each side of the Grand River. Our active work toward reconciliation takes place across our campuses through research, learning, teaching, and community building, and is centralized within our Office of Indigenous Relations.