Organization profile

Organisation 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 level. Dive into details by clicking on the dots.

    Research Output

    Deflationism beyond arithmetic

    Fujimoto, K., 15 Mar 2019, In : Synthese. 196, 3, p. 1045-1069 25 p.

    Research output: Contribution to journalArticle (Academic Journal)

    Open Access
    File
  • 1 Citation (Scopus)
    254 Downloads (Pure)

    Games and ramsey-like cardinals

    Nielsen, D. S. & Welch, P., Mar 2019, In : Journal of Symbolic Logic. 84, 1, p. 408-437 30 p.

    Research output: Contribution to journalArticle (Academic Journal)

    Open Access
    File
  • 124 Downloads (Pure)

    Higher Type Recursion for Transfinite Machine Theory

    Welch, P. D., 19 Jun 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Primiero, G., Martin, B., Paulusma, D. & Manea, F. (eds.). Springer Verlag, Vol. 11558. p. 72-83 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11558 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

    Open Access
    File
  • 7 Downloads (Pure)

    Projects

    Bringing set theory and algebraic topology together.

    Rasappan, R.

    21/10/1320/06/16

    Project: Research

  • Inner Model Theory in Outer Models

    Welch, P. D.

    1/03/121/09/14

    Project: Research

    Activities

    Operations, Sets, and Types Conference

    Kentaro Fujimoto (Speaker)

    Apr 2016

    Activity: Participating in or organising an event typesParticipation in conference

    Journal of Symbolic Logic (Journal)

    Philip D Welch (Editor)

    1 Jan 2015

    Activity: Publication peer-review and editorial work typesEditorial activity

    Freiburg Research Seminar in Mathematical Logic talk: Cardinal characteristics at supercompact kappa in the small u(kappa), large 2^kappa model

    Andrew D Brooke-Taylor (Speaker)

    14 Jan 2015

    Activity: Participating in or organising an event typesInvited talk