Thomas Forster

Cambridge University

"On NFU"

Abstract:

This will be a technical, expository and introductory talk. No new material! NFU is a system of axiomatic set theory, related to Quine's 1937 system ``New Foundation'', and admitting urelemente. It has deep connections to type theory, and so is of interest to people in theoretical computer science as well as to set theorists. It is known to be consistent, unlike the original Quine system (for which the consistency question is still open) and the chief purpose of this talk is to explain the two best-known consistency proofs.

Back to Talks Page