3,243 reputation
1031
bio website cwru.edu/artsci/phil/…
location Case Western Reserve University
age 63
visits member for 2 years, 7 months
seen Nov 19 at 5:50

Nov
19
comment Robotics, Cryptography, and Genetics applications of Grothendieck's work?
It is fair to ask the question, since the NYT said this. But you are right to be skeptical. There are no major applications in these field though it would be foolhardy to say no one ever claimed to see connections.
Nov
19
awarded  Notable Question
Nov
18
comment When was Bounded Zermelo set theory first formulated?
And that is why Jensen would later take this route for consistency of NFU.
Nov
18
accepted When was Bounded Zermelo set theory first formulated?
Nov
18
answered When was Bounded Zermelo set theory first formulated?
Nov
17
asked When was Bounded Zermelo set theory first formulated?
Sep
25
accepted Reverse mathematics of meromorphic functions on Riemann surfaces
Sep
25
awarded  Nice Question
Jul
7
comment Does V=L imply transitive containment over, say, Z?
@EmilJeřábek Sure, or in other words I want to know if adding V=L to MAC makes Tco redundant.
Jul
6
comment Does V=L imply transitive containment over, say, Z?
Thank you. But I am asking when V is closed under transitive closure, not just when there is inner model with transitive closures.
Jul
6
comment Generate Finite Field power of g
The sequence is a notation for the successive polynomial powers of $x$ modulo $x^4+x+1$, over $F_2$. Here $abcd$ indicates $ax^3+bx^2+cx+d$. Does this answer your question?
Jul
6
asked Does V=L imply transitive containment over, say, Z?
Jul
2
awarded  Inquisitive
Jul
2
awarded  Curious
May
18
comment Interactions between (set theory, model theory) and (algebraic geometry, algebraic number theory ,…)
It may be worth remarking that this theorem is independent of ZFC but not stronger than ZFC since ZFC can interpret it as a theorem on constructible sets.
Apr
10
awarded  Yearling
Mar
29
asked $n$th order arithmetic with predicates for orders
Mar
23
awarded  Necromancer
Mar
18
comment Is realness of number fields exponentially bounded?
@GerryMyerson Yes. But for integers ``very small even up to conjugacy'' cannot.
Mar
18
comment Is realness of number fields exponentially bounded?
@GerryMyerson Consult MR0485681 as cited in user's answer. The magnitude bound is given not for separate conjugates, separately, but on the maximal complex magnitude of any conjugate of a given algebraic number. You can see why this is natural?