Reputation
629
Next privilege 1,000 Rep.
See votes, expandable usercard
Badges
3 10
Newest
 Yearling
Impact
~6k people reached

  • 0 posts edited
  • 0 helpful flags
  • 71 votes cast
Nov
29
comment An interpretation for filters of subspaces in Banach spaces
Yep, in fact, those results are exaclty the reason I posed the question. I'm particularly looking for interpretations in other spaces, like $\ell^p$ and $c_0$.
Nov
28
asked An interpretation for filters of subspaces in Banach spaces
Nov
23
revised A property of uncountable almost disjoint families
Added parenthetical comment to Q2.
Nov
23
awarded  Yearling
Nov
23
revised A property of uncountable almost disjoint families
edited body
Nov
23
revised A property of uncountable almost disjoint families
Added "Question 2".
Nov
23
revised A property of uncountable almost disjoint families
Added note "EDIT"
Nov
23
accepted A property of uncountable almost disjoint families
Nov
23
comment A property of uncountable almost disjoint families
@FedorPetrov I had a related application in mind, and this is all that was necessary. Certainly a witness in $\mathcal{A}$ would be fine.
Nov
23
asked A property of uncountable almost disjoint families
Aug
27
comment When do block sequences yield disjoint subspaces?
Bill: I'm a bit unfamiliar with the terminology (Banach space theory is a outside my usual area), what do you mean by "minimal sequence" and "M-basis"?
Aug
24
asked When do block sequences yield disjoint subspaces?
May
20
accepted When is a filter generated by a (countable) chain?
Apr
20
accepted Existence of state on a C*-algebra satisfying $|\tau(ab)|=\|ab\|$
Apr
20
comment Classification of complex structures on $\mathbb{R}^{2n}$
This paper of Hjorth and Kechris may be of interest: projecteuclid.org/euclid.ijm/1255984956. It deals with using descriptive set theory to understand the classification problem for arbitrary Riemann surfaces (not just structures on $\mathbb{R}^{2n}$), and shows that even in complex dimension $1$, this is extremely complicated (the "moduli space" is "Borel equivalent" to the quotient of $\{0,1\}^{F_2}$ by the left shift action of the free group $F_2$). For higher dimensions, it is more complicated ("not classifiable by countable structure" in the subject's parlance).
Apr
20
asked Existence of state on a C*-algebra satisfying $|\tau(ab)|=\|ab\|$
Apr
7
awarded  Critic
Mar
19
comment Homotopy Type Theory: What is it?
@MikeShulman Yes, that answers my question, and also touches on the other questions I had in mind, namely can ZFC serve as a metatheory for HoTT (certainly, it would seem), and can HoTT serve as its own metatheory in a satisfactory way.
Mar
19
comment Homotopy Type Theory: What is it?
@MikeShulman I should say that I get that ZFC set theory sits inside this theory, and of course something like the independence of CH, has meaning "locally" there. But does it have meaning globally?
Mar
19
comment Homotopy Type Theory: What is it?
While not specifically about HoTT, Mike Shulman's blog post golem.ph.utexas.edu/category/2013/01/… is worth reading. It cleared some things up for me, in response to my comment on his answer below.