Mathematical Logic Foundations

Research Frontiers in Forcing and Independence Results

Studies Cohen''s forcing technique to construct models of set theory where specific statements are independent of standard axioms.

All Mathematical Logic & Foundations PhD categories