When:

November 5, 2018 @ 2:30 pm – 3:30 pm

2018-11-05T14:30:00-10:00

2018-11-05T15:30:00-10:00

Where:

Keller 314

Title: Logic with Probability Quantifiers

Abstract: This talk is based on chapter XIV of Model-Theoretic Logics

(https://projecteuclid.org/euclid.pl/1235417263#toc). I will first give

a brief review of admissible sets and the infinitary logic which is

necessary for probability quantifiers. Then I will present the language

of probability quantifiers, as well as the proof theory, model theory,

and some examples which indicate the expressive power of the language.

Time permitting, my goal is to work towards the main completeness

theorem in section 2.3