search

28left / descriptive_set_theory

1 stars 0 forks source link

Issue on page /constructible-reals.html #24

Open RaymondTana opened 2 years ago

RaymondTana commented 2 years ago

Sometimes using $\varphi$ or $\phi$ to denote the the formula that is the conjunction of the axioms in T + (V = L)