Research output per year
Research output per year
Organization profile
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.
Fingerprint
Dive into the research topics where Set Theory and Logic is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Professor Philip D Welch
- School of Mathematics - Professor of Pure Mathematics
- Pure Mathematics
- Set Theory and Logic
Person: Academic , Member, Group lead
Research output
-
Asymmetric cut and choose games
Schlicht, P., Welch, P. D., Holy, P. & Turner, C. J., Jul 2022, (Submitted) In: Bulletin of Symbolic Logic.Research output: Contribution to journal › Article (Academic Journal) › peer-review
-
The Function of Truth and the Conservativeness Argument
Fujimoto, K., 30 Oct 2021, (E-pub ahead of print) In: Mind. p. 129-157Research output: Contribution to journal › Article (Academic Journal) › peer-review
-
Decision times of infinite computations
Schlicht, P., Welch, P. D. & Carl, M., 12 Nov 2020, (Submitted) In: Notre Dame Journal of Formal Logic.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Projects
- 8 Finished
-
Bringing set theory and algebraic topology together.
Rasappan, R.
21/10/13 → 20/06/16
Project: Research
-
-
Student theses
-
Rigour, Proof and Soundness
Author: Tatton-Brown, O. M. W., 12 May 2020Supervisor: Campbell-Moore, C. (Supervisor) & Welch, P. (Supervisor)
Student thesis: Doctoral Thesis › Doctor of Philosophy (PhD)
File
Activities
-
Operations, Sets, and Types Conference
Kentaro Fujimoto (Speaker)
Apr 2016Activity: Participating in or organising an event types › Participation in conference
-
Midlands Logic Seminar
Andrew D Brooke-Taylor (Speaker)
27 Jan 2015Activity: Participating in or organising an event types › Invited talk
-
Warwick Mathematics and Philosophy talk: Computing from oracles and uncountable cardinals
Andrew D Brooke-Taylor (Speaker)
26 Jan 2015Activity: Participating in or organising an event types › Invited talk