ASCEND
BY NTHRYS

NTHRYS › PhD Assistance › Mathematical Logic Foundations

Mathematical Logic Foundations

Field
▾
Category
▾

Mathematical Logic Foundations

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Categorical Logic and Topoi

Develops logic within the framework of category theory, treating logical structures as objects in categorical universes called topoi.

Sheaf Cohomology in Intuitionistic Logic Systems
Higher Topos Theory and Synthetic Mathematics
Geometric Logic Beyond Classical Semantics
Categorical Semantics of Dependent Type Theory
Topos-Theoretic Foundations of Constructive Analysis
Logical Fibrations and Modal Categorical Structures
Accessible Categories in Proof-Theoretic Foundations
Condensed Mathematics and Categorical Duality
Infinity Categories in Formal Logic
Topoi as Models for Nonclassical Reasoning

All Mathematical Logic & Foundations PhD categories