University COVID-19 update

The University of Waterloo is constantly updating our most Frequently Asked Questions.

Questions about buildings and services? Visit the list of Modified Services.

Please note: The University of Waterloo is closed for all events until further notice.

Joint PM/CO Grad ColloquiumExport this event to calendar

Wednesday, February 26, 2020 — 3:30 PM EST

Wilson Poulter, Department of Pure Mathematics, University of Waterloo

"Ultraproducts, Hyperreals, and Pseudofinite Graphs"

An ultraproduct is a construction used in mathematical logic to construct limits of first-order structures. Due to a result of Jerzy Los, the first-order properties of these limits is very well understood, allowing one to construct counter-examples as well as structures that are interesting in and of themselves.

In this talk, we will learn what distinguishes this construction from other algebraic constructions i.e. direct sums and direct limits. We will then see briefly how such a construction is obtained, then ourselves construct several interesting examples, these being the hyperreal numbers, and the pseudofinite graphs. Using these, we will prove both Euclid's theorem and Ramsey's theorem in a novel way, revealing a more general method of proof using the ultraproduct.

MC 5501

S M T W T F S
31
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
1
2
3
4
  1. 2020 (67)
    1. May (3)
    2. March (16)
    3. February (26)
    4. January (22)
  2. 2019 (199)
    1. December (7)
    2. November (26)
    3. October (19)
    4. September (13)
    5. August (7)
    6. July (12)
    7. June (18)
    8. May (22)
    9. April (11)
    10. March (25)
    11. February (17)
    12. January (22)
  3. 2018 (219)
  4. 2017 (281)
  5. 2016 (335)
  6. 2015 (209)
  7. 2014 (235)
  8. 2013 (251)
  9. 2012 (135)