bio  website  jvanname.myweb.usf.edu 

location  Gotham, NY  
age  25  
visits  member for  3 years, 1 month 
seen  6 hours ago  
stats  profile views  3,241 
I am interested in to varying degrees ordered sets, general topology, pointfree topology, Boolean algebras, settheory, universal algebra, and model theory. Most of my mathematics research involves dualities that are similar to Stone duality.
2d

revised 
Lebesgue covering dimension for locales
added 57 characters in body 
2d

answered  Lebesgue covering dimension for locales 
Apr 21 
comment 
Two notions of zerodimensionality for topological spaces
It turns out that one can get by with this result with subfitness which is a pointfree separation axiom which is weaker than $T_{1}$. We say that a frame $L$ is subfit if whenever $x\not\leq y$ there is some $c$ with $x\vee c=1\neq y\vee c$. In fact, if $L$ is a subfit frame such that if $x\vee y=1$, then there is some complemented element $a$ with $a\leq x,a'\leq y$, then $L$ has a basis of complemented elements. 
Apr 21 
comment 
Two notions of zerodimensionality for topological spaces
zerodimensionality+$T_{1}$ with respect to Lebesgue covering dimension is known as ultraparacompactness while zerodimensionality with respect to small inductive dimension is commonly known as simply zerodimensionality. See my answer at mathoverflow.net/a/134184/22277 for more information on the relation between ultraparacompactness and zerodimensionality. 
Apr 20 
asked  When is a formula preserved under taking factors in a reduced product or the stalk in a Boolean product? 
Apr 19 
comment 
Are all minimal totally separated spaces compact?
It looks like this question has been answered by Eric Wofsey here mathoverflow.net/a/203252/22277 in a similar question posted. 
Apr 18 
revised 
Counterexample on completely distributive lattices
added 2355 characters in body 
Apr 18 
revised 
Counterexample on completely distributive lattices
edited tags 
Apr 18 
answered  Counterexample on completely distributive lattices 
Apr 9 
comment 
Characterizing Inf and Sup sets
If you don't like writing $\textrm{Inf}(\leq)$, then you could write $\textrm{Inf}(X,\leq)$ instead. And writing $\textrm{Inf}(\leq)$ is not any more ambiguous than writing $\textrm{Inf}(R)$. 
Apr 9 
revised 
Convergent filters generated by (not necessarily countable) chains
added 4027 characters in body 
Apr 8 
comment 
Characterizing Inf and Sup sets
user47958. Writing $(X,R)$ for a partially ordered set is not a standard practice. I do not recall ever seeing a mathematician use $R$ for a partial ordering relation. Usually one writes $\leq$ or maybe even $\preceq$ for a partially ordering. 
Apr 8 
answered  Convergent filters generated by (not necessarily countable) chains 
Apr 7 
revised 
Is there some absoluteness between the Boolean valued universe $V^{B}$ and $V$?
deleted 32 characters in body 
Apr 7 
comment 
Is there some absoluteness between the Boolean valued universe $V^{B}$ and $V$?
I have edited this question. Now it should be much more answerable and clear what I am looking for. 
Apr 7 
revised 
Is there some absoluteness between the Boolean valued universe $V^{B}$ and $V$?
added 601 characters in body 
Apr 7 
awarded  Necromancer 
Apr 7 
answered  Measure with `somewhere dense' support 
Apr 7 
answered  Measure with `somewhere dense' support 
Apr 5 
revised 
Is there a compact connected Hausdorff space in which every nonempty $G_\delta$ set has nonempty interior?
added 4 characters in body 