Breadcrumb
Logic, set theory, and foundations of mathematics
Supervisor: Philip Welch
Theme: Logic and Set Theory
Set theory:
(A) In Bristol research is done into inner model theory, large cardinals, and strong axioms of infinity.
(B) We are also interested in problems related to the Axiom of Determinacy
Logic & Foundations of Mathematics:
Weak subsystems of analysis, and its relation to certain kind sof quasi-inductive definition