π’ UK β PhD Position in Mathematical Logic at University of East Anglia
π University: University of East Anglia
π Country: United Kingdom
π Fields:
Mathematics, Mathematical Logic, Model Theory, Algebra, Theoretical Computer Science
Are you fascinated by the deep structures of mathematical logic and eager to contribute to foundational research that could impact both pure mathematics and its applications?
This PhD project centers on model theory, particularly the study of ranks and types in positive logicβa generalization of classical first-order logic. Traditional model theory relies heavily on the use of logical operators such as AND, OR, NOT, and quantifiers like EXISTS and FOR ALL. Positive logic, however, restricts the use of certain operators, opening new avenues for research in algebra and other mathematical structures where classical logic is insufficient.
π Find out more and Apply Now:
β οΈ Android users: If it doesn't open, use "Open in browser"
https://phdfinder.com/2026/08/07/uk-phd-position-in-mathematical-logic-at-university-of-east-anglia/
ββββββββββ
Post #175
143