skip to content
About us
Support the INI
Contact Us
Search site
Home
About us
A brief history
Short film on INI's origins, aims and objectives
Governance
Fellowships & distinguished visitors
Art and Artefacts
Who was Isaac Newton?
Testimonials
Support the INI
Development Board
Donate Online
Contact Us
Staff list
How to find us
Opening Hours
Vacancies at INI
Current visitors
Home
Programmes & Events
Overview
Scientific Programmes
Overview
Big proof
Overview
Participants
Preprints
Seminars
Overview
Systems Based on Set Theory
Workshops and Other Events
Current programmes
Future programmes
Past programmes
Programmes by Year
Associated workshops
Events calendar
Seminars calendar
Seminars archive
Submit a proposal
Talks elsewhere
How to participate
Watch Live
Documents & reports
Overview
Preprints
Annual Reports
Programme reports
Programmes & workshops poster
Outreach & Engagement
Overview
Correspondents Network
Women in Mathematics
Cambridge Festival
Open for Business
Junior Members
Initiatives archive
Participants from developing countries
Summer (Autumn, Winter and Spring) Schools
Information for visitors
Overview
Institute A-Z
Accommodation & Housing
Length of stay
Computing help
Library services
Meeting Rooms and Audio Visual Support
Childcare
Visitors with a disability
Green Impact at INI
Data Policy and Code of Conduct
Log in to ISAAC
News & Media
Overview
INI news
INI news bulletin
Living Proof podcast
Video interviews
Case studies
Programmes & workshops poster
Summer Maths Puzzles
Advent Blackboards
Gateway
Systems Based on Set Theory
Isaac Newton Institute for Mathematical Sciences
Programmes & Events
Scientific Programmes
Big proof
Seminars
Overview
Systems Based on Set Theory
Participants
Preprints
Workshops and Other Events
Presented by:
Josef Urban
Mario Carneiro
Bohua Zhan
Date:
Tuesday 25th July 2017 -
14:00
to
16:00
Venue:
INI Seminar Room 2
Event:
[BPR] Big proof
Error loading video
View or download in other format
