Logic

Research Frontiers in Abstract Elementary Classes and Categoricity

Study of non-elementary logical frameworks generalizing first-order model theory for broader class structures.

All Logic PhD categories