Browse/search for groups

Mathematical Logic and Set Theory

The following people are in this group:

More about this group

Set theory is the foundation of pure mathematics: all of mathematics can be represented in set theory.

Bristol is the pre-eminent UK establishment in which to research and study set theory and the department has a distinguished history in mathematical logic, starting with John Shepherdson who built up the logic group at Bristol in the 1960s & 1970s.

There are strong links between Bristol's mathematics and philosophy departments at the level of mathematical logic and the philosophy of mathematics and research attracts funding from the British Academy and EPSRC as well as Economic and Social Research Council, ESCR.

Some infinities are bigger than others

Today, research in our group includes: working out the relationships between different types of infinity; finding strategies for two-person perfect-information games; incompleteness of axiomatic systems; paradoxes; the philosophy of mathematics and logic applied to scientific deduction.