Starting with a countable transitive model of V=L, we show that by 
adding a single Cohen real, c, most intermediate models do no satisfy choice. In 
fact, most intermediate models to L[c] are not even definable.

The key part of the proof is the Bristol model, which is intermediate to L[c], 
but is not constructible from a set. We will give a broad explanation of the 
construction of the Bristol model within the constraints of time.

 The talk is about the normal modal logics of elementary classes defined by first-order formulas of the form
 'for all x_0 there exist x_1, ..., x_n phi(x_0, x_1, ... x_n)' with phi being a conjunction of binary atoms.
 I'll show that many properties of these logics, such as finite axiomatisability,
 elementarity,  axiomatisability by a set of canonical formulas or by a single generalised Sahlqvist formula,
 together with modal definability of the initial formula, either simultaneously hold or simultaneously do not hold.
 

Polynomials have been at the heart of mathematics for a millennium, yet when it comes to applying them, there are many puzzles and surprises. Among others, our tour will visit Newton, Lagrange, Gauss, Galois, Runge, Bernstein, Clenshaw and Chebfun (with a computer demo).

How do humans process information? What are their strengths and limitations? This crash course in cognitive psychology will provide the background necessary to think realistically about how learning works.

Mathematicians need to talk and writeabout their mathematics.  This includes undergraduates and MSc students, who may be writing a dissertation or project report, preparing a presentation on a summer research project, or preparing for a job interview.  We think that it can be helpful to think of this as a form of story telling, as this can lead to more effective communication.  For a story to be engaging you also need to know your audience.In this session, we'll discuss what we mean by telling a mathematical story, give you some top tips from our experience, and give you a chance to think about how you might put this into practice.  The session will be of relevance to all undergraduates and MSc students, not only those currently writing a dissertation or preparing an oral presentation.

Mathematical biology has grown enormously over the past 40 years and has changed considerably. At first, biology inspired mathematicians to come up with models that could, at an abstract level, "explain" biological phenomena - one of the most famous being Alan Turing's model for biological pattern formation. However, with the enormous recent advances in biotechnology and computation, the field is now truly inter- and multi-disciplinary. We shall discuss the changing role mathematics is playing in applications to biology and medicine.

Would you employ you? What are employers looking for in Mathematical graduates? What kind of work can use your skills? This workshop will get your minds thinking about the possibilities after you have finished studying and will cover:

·         General careers’ information starting from a mathematical sciences degree

·         Things to think about at CV and interview stage

·         How membership of a professional body (the IMA) supports your applications and career development.

·         Information about the Mathematics Teacher Training Scholarships

Mathematics is both the language and the instrument that connects our abstract understanding with the physical world, thus knowledge of mathematics quickly translates to substantial knowledge and influence on the way the world works.  But those who have the greatest ability to understand and manipulate the world hold the greatest capacity to do damage and inflict harm.  In this talk I'll explain that yes, there is ethics in mathematics, and that it is up to us as mathematicians to make good ethical choices in order to prevent our work from becoming harmful.