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.

Model Theory SeminarExport this event to calendar

Thursday, February 7, 2019 — 4:00 PM EST

Abolfazl Alam, Shahid Beheshti University

"Model Companion for Bounded Theories and some Related Complexity Questions"

A theory $T$ is called bounded model complete (b.m.c for short) if whenever $ M\subseteq N$ are models of $T$, then $M\subseteq_1^b N$. In the language of bounded arithmetic, a bounded theory $T$ ‎is bounded model complete if and only if $T$ satisfies $\rm NP=coNP $. I describe the notion of bounded model companion and try to find the bounded model companion for some well-known bounded theories in bounded arithmetic such as $\rm S_{2‎}^{1}$.

MC 5403

S M T W T F S
28
29
30
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
  1. 2020 (71)
    1. July (3)
    2. June (1)
    3. May (3)
    4. March (16)
    5. February (26)
    6. 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 (211)
  7. 2014 (235)
  8. 2013 (251)
  9. 2012 (135)