正逻辑中等级和类型的博士生职位
PhD Studentship: Ranks and Types in Positive Logic
原帖优先：申请材料、截止时间与资格以原帖和学校官方说明为准。
AI 中文速览
- 研究内容
- 研究正逻辑中的等级和类型
- 申请条件
- 数学和模型理论知识
- 待遇
- 可享受学费减免，需自筹资金或外部资助
- 申请方式
- 申请截止日期：2026-11-30，应联系Dr Jonathan Kirby讨论申请
- 材料清单
- 1st class BSc 或 2:1 Masters 或等同学历
- 数学和模型理论知识
由 @cf/meta/llama-3.3-70b-instruct-fp8-fast 生成，博士岗判定置信度 90%。
结构化信息
- 截止
- （Europe/London） 剩 22 天
- 学科
- 其他
- 合同类型
- 雇佣合同
- 原帖发布
- 本站收录
- 内容更新
- 导师
- Dr Jonathan Kirby
- 来源
- jobs.ac.uk（英国博士项目及学术招聘） · 最近核对 2026-10-07
判定依据（原文摘录）
- is_phd
PhD Studentship
- english_ok
contact Dr Kirby directly to discuss their application
- bachelor_ok
1st class BSc or 2:1 Masters or equivalent in mathematics
原文
Primary Supervisor: Dr Jonathan Kirby
Model theory is traditionally done with “classical first-order logic”, the logic which allows unlimited use of the operators AND, OR, NOT, with the EXISTS and FOR ALL quantifiers. More recently, positive logic has emerged as a useful generalisation. For a theory in positive logic, one can specific how much you are allowed to use the NOT operator and the FOR ALL quantifier: either without restriction (to get the classical case) or much less. Positive logic is more appropriate to use directly for some applications in algebra, such as for modules, and for theories which do not admit quantifier elimination.
Theories in classical logic can be classified according to their combinatorial complexity, via a number of dividing lines which are mostly due to Shelah. A map of this classification appears at http://forkinganddividing.com .
Many of these dividing lines are related to the existence of a suitable rank notion on formulas or on type spaces such as Morley rank, U-rank, dp-rank. These are ordinal-valued ranks which explain the complexity of a formula or type, not as a piece of syntax but in terms of how it relates to other formulas within the context of the particular theory. For example, in vector spaces, any formula has an associated vector subspace and all these ranks will give the dimension of that subspace. These ranks are then often the most useful model-theoretic tool to apply to the theories.
We know how to extend some of these dividing lines to positive logic, but so far ranks have not been studied in positive logic. This PhD project will aim to develop suitable analogues of Morley rank, U-rank and dp-rank in positive theories, and will explore new applications of the results obtained.
Students should have some knowledge of mathematical logic and preferably also model theory, and are advised to contact Dr Kirby directly to discuss their application.
Entry Requirements
The minimum entry requirements are: 1st class BSc or 2:1 Masters or equivalent in mathematics.
Mode of Study: Full or Part time
Start Date: 1 February 2027
Funding Details
This project is offered on a self-funded basis. It is open to applicants who are self-funded or who are in the process of securing external funding.
A bench fee is payable in addition to the tuition fee, to cover the cost of specialist equipment and laboratory facilities required for the research. Applicants should contact the primary supervisor for details of the bench fee applicable to this project.
If you are part of the UEA alumni community, you may be eligible for a tuition fee discount.
For information on doctoral funding, visit our Postgraduate Student Loans page.
Closing Date: 30/11/2026 Please see below