Logic

Research Frontiers in Forcing and Independence Results

Applies Cohen forcing technique to establish independence of set-theoretic axioms and analyze consistency strength of theories.

All Logic PhD categories