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 | |
stats | profile views | 1,354 |
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? |