- Wednesday 17/01/2018, 17:00 hrs, Week 1,
S17#04-06.

**Frank Stephan**.*Learnability and Positive Equivalence Relations*.

A positive equivalence relation is an r.e. equivalence relation on the natural numbers which has infinitely many equivalence classes. The present work studies for various positive equivalence relations which learning criteria can be separated by r.e. one-one families of sets closed under the equivalence relation. The learning criteria considered are finite, confident, explanatory, vacillatory and behaviourally correct learning from positive data. The general results are the following:- There is always an r.e. one-one family which cannot be behaviourally correctly learnt;
- There is always a behaviourally correctly learnable r.e. one-one family which cannot be learnt vacillatorily;
- For some positive equivalence relation, every vacillatorily learnable r.e. one-one family is explanatorily learnable;
- There is always an explanatorily learnable r.e. one-one family which cannot be learnt confidently;
- Some positive equivalence relations do not admit r.e. one-one families which can be learnt confidently; however, when such a family exisits, then there is also such a family which cannot be learnt finitely.

- Wednesday 24/01/2018, 17:00 hrs, Week 2,
S17#04-06.

**Dilip Raghavan**.*An application of PCF theory to cardinal invariants above the continuum*.

It will be proved in ZFC that if**κ**is any regular cardinal greater than**ב**, then_{ω}**d(κ) ≤ r(κ)**. Here**d(κ)**is the smallest size of dominating family of functions from**κ**to**κ**and**r(κ)**is the smallest size of a family of subsets of**κ**which decide every other subset of**κ**. This result partially dualizes an earlier result of myself and Shelah. The proof uses the revised GCH, which is an application of PCF theory.

This is joint work with Saharon Shelah.

- Wednesday 31/01/2018, 17:00 hrs, Week 3,
S17#04-06.

**Ben Blumson**.*Relevance and Verification*.

According to A. J. Ayers' (1936) first empiricist criterion of meaning, "... we may say that it is the mark of a genuine factual proposition ... that some experiential propositions can be deduced from it in conjunction with certain other premises without being deducible from those other premises alone." Ayer's criterion was supposed to distinguish scientifically verifiable statements from unverifiable nonsense, but it's well known to be trivial: if S is an arbitrary statement and O any observation statement, then S entails O in combination with "if S then O" even if "if S then O" does not entail O by itself (alternatively, if "if S then O" does entail O on its own, S is a tautology). In this talk, I will argue that Ayer's criterion can be defended from triviality by the adoption of the relevant logic R, a non-classical logic in which the antecedent of a conditional is supposed to be relevant to its consequent (I won't presuppose knowledge of Ayer or relevant logic).

- Wednesday 07/02/2018, 17:00 hrs, Week 4,
S17#04-06.

**Wang Wei**.

- Wednesday 14/02/2018, 17:00 hrs, Week 5,
S17#04-06.

**Birzhan Moldagaliyev**.

- Wednesday 21/02/2018, 17:00 hrs, Week 6,
S17#04-06.

- Wednesday 07/03/2018, 17:00 hrs, Week 7,
S17#04-06.

- Wednesday 14/03/2018, 17:00 hrs, Week 8,
S17#04-06.

- Wednesday 21/03/2018, 17:00 hrs, Week 9,
S17#04-06.

- Wednesday 28/03/2018, 17:00 hrs, Week 10,
S17#04-06.

- Wednesday 04/04/2018, 17:00 hrs, Week 11,
S17#04-06.

**Liu Yong**.

- Wednesday 11/04/2018, 17:00 hrs, Week 12,
S17#04-06.

**Yang Yue**.

- Wednesday 18/04/2018, 17:00 hrs, Week 13,
S17#04-06.

**Gao Ziyuan**.