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
We will show that hyperimmune degrees are able to omit nonprincipal partial types, and in fact are the only such types. By seeing that this proof can be carried out in RCA0, we will show that omitting partial types and the existence of hyperimmune degrees are equivalent over RCA0.
Please note room.
This is the first lecture in an ongoing learning seminar devoted to learning some recent algorithms for "fixed finite template" constraint satisfaction problems. In this lecture I will give a quick introduction to these problems, and then describe an algorithm for problems whose constraints are cosets of subgroups of powers of a fixed group Wednesday.
We will introduce three axioms on a Noetherian topological structure which, together with the Krull dimension, are sufficient to make the topological structure a onedimensional presmooth Zariski structure. We will show that such a structure has quantifier elimination, and satisfies the addition formula AF if the fibre condition FC holds.
Let A be a commutative algebraic group dened over a number eld K. For a prime } in K where A has good reduction, let N};n be the number of ntorsion F}rational points of the reduction of A modulo } where F} is the residue eld of } and n is a positive integer. When A is of dimension one
Matthew HarrisonTrainor
Pure Mathematics University of Waterloo
Abstract:
Abstract:
Abstract:
We will see why the title of the talk is true. More specifically, if Q is definable set in a Zariski structure then RM(Q) ≤ dimQ.
Robert Garbary, Department of Pure Mathematics, University of Waterloo
Matthew HarrisonTrainor, Department of Pure Mathematics, University of Waterloo
Pedro Vieira, Perimeter Institute
Adam Gutter, Department of Pure Mathematics, University of Waterloo
Shuntaro Yamagishi, Department of Pure Mathematics, University of Waterloo
Robert Garbary, Pure Math Department, University of Waterloo
Adam Gutter, University of Waterloo
Cassie Naymie, Department of Pure Mathematics, University of Waterloo
Dan Zaffran, Korea Advanced Institute of Science and Technology
Philip Candelas, University of Oxford
There are two groups of people, string theorists and number theorists, who believe that they 'own' the periods of CalabiYau manifolds. I will explain why the periods are important to each of these nonintersecting groups. I wish to speculate also about the possible role of `quantum corrections' and mirror symmetry to the zeta function.
Charles Doran, University of Alberta
We prove that specific toric LandauGinzburg models for rank1 Fano threefolds are families of ShiodaInose surfaces, thereby explaining the observed modular properties of their associated regularized quantum differential equations. We conjecturally extend modularity to Fano varieties of any rank, and discuss this conjecture on toric examples.
S  M  T  W  T  F  S 

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

1

2

3

4

Departmental office: MC 5304
Phone: 519 888 4567 x43484
Fax: 519 725 0160
Email: puremath@uwaterloo.ca
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.