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 Infinitary Logic and Admissible Sets

Examines logical systems allowing infinite conjunctions and disjunctions, connecting to recursive ordinals and admissible ordinals.

Infinitary Proof Systems Beyond Countable Ordinals
Admissible Fragments and Definability Hierarchies
Infinitary Logic in Structural Recursion Theory
Admissible Ordinals and Computational Complexity Bounds
Infinitary Formulas in Abstract Model Theory
Admissible Set Semantics for Non-Classical Logics
Infinitary Satisfaction and Recursive Enumerability
Admissible Fragments in Proof-Theoretic Strength
Infinitary Logic and Implicit Definability Phenomena
Admissible Sets in Generalized Computability Theory

All Mathematical Logic & Foundations PhD categories