Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Stratified Foundations and Type Universes

Development of foundational systems with cumulative hierarchies and type universes for avoiding circularity in formal mathematics.