414 reputation
28
bio website
location
age
visits member for 2 years
seen Feb 26 at 5:32

Dec
27
revised $cov(null)$ in a Cohen model
added 4 characters in body
Dec
27
revised How to force $\diamondsuit$
added 28 characters in body
Dec
17
revised $cov(null)$ in a Cohen model
deleted 179 characters in body
Dec
17
revised $cov(null)$ in a Cohen model
added 8 characters in body
Dec
17
revised $cov(null)$ in a Cohen model
added 1 characters in body
Dec
17
revised $cov(null)$ in a Cohen model
added 1 characters in body
Jul
21
revised $H(\kappa)$-absoluteness of a formula
deleted 77 characters in body
Jul
21
revised $H(\kappa)$-absoluteness of a formula
added 8 characters in body
Jul
21
revised $H(\kappa)$-absoluteness of a formula
added 135 characters in body
Jul
20
revised $H(\kappa)$-absoluteness of a formula
added 30 characters in body
Jul
20
revised $H(\kappa)$-absoluteness of a formula
edited body
Jul
20
revised $H(\kappa)$-absoluteness of a formula
added 21 characters in body
Jul
10
revised Is this formula $\Sigma_1^{ZF}$?
deleted 3 characters in body
Jul
10
revised Is this formula $\Sigma_1^{ZF}$?
added 187 characters in body; edited title
Jun
29
revised Definiteness of omega
added 43 characters in body
Jun
29
revised Definiteness of omega
slight correction
May
28
revised ZF: Regularity axiom or axiom schema?
added 10 characters in body
May
8
revised Composite of an immersion with the inverse map of another immersion is a diffeomorphism
edited body
May
8
revised $\{x:Ax\leq 0\}$ contains a subset of type $\{x:A'x=0, ax\leq 0\}$
deleted 38 characters in body
Feb
2
revised polar decomposition for non square matrices
deleted 6 characters in body; edited title