User:Miaoku

From Wikipedia, the free encyclopedia

[edit] Welcome to my user page!

My user name on Wiki is Miaoku. To contact me please go to my talk page.

I have written most of the article

• Wadge hierarchy

and have contributed to the articles

• Determinacy
• Moving equilibrium theorem
• Proper forcing axiom

I am thinking about writing short articles about

• proper forcing
• iterated forcing
• square principle