« first day (2568 days earlier)      last day (835 days later) » 

9:17 AM
4
Q: Different definitions of the archimedean property

Elimination_matricesIn some textbooks I have seen the archimedean property defined as: for some positive real $x$, real number $y$, there exists a natural $n$ such that $nx>y$. In other textbooks the archimedean property is defined as: for any real $x$, we can find a natural $n$ such that $x \leq n$ I'm guessing I c...

 
 
5 hours later…
2:47 PM
3
Q: In ZF, is it possible that there is no cardinal such that Reals injects into?

mathlearner98Working in ZF, is it possible that there is no cardinal number such that $\mathbb{R}$ can inject into? For if there exists a cardinal number $\kappa$ such that $\mathbb{R}$ injects into $\kappa$, then $\mathbb{R}$ can be well-ordered using the ordering of $\kappa$. Please let me know if I got som...

 
3:46 PM
8
Q: How can I configure Hardhat to work with RSK regtest blockchain?

Gino OsahonI intend to develop my smart contracts in Hardhat, and to test them on RSK regtest local node. I was able to find a Truffle regtest configuration. development: { host: "127.0.0.1", port: 4444, network_id: "*" }, What hardhat.config.js configuration do I need to run my tests on RSK regtest?

 
3:58 PM
2
Q: Subgraph avoiding colorings

Rybin DmitryLet $P_{H}(G, t)$ be the number of vertex colorings of a graph $G$ in $t$ colors that avoid having a monochromatic subgraph $H$. In particular, for $H$ given by a single edge we recover the usual chromatic polynomial $P_{H}(G, t) = P(G, t)$. Question: Are there easy proofs that $P_{H}(G, t)$ is a...

 
 
1 hour later…
4:58 PM
6
Q: The named parameter 'fontSize' isn't defined. in flutter code

Devindiwant to add 5 box containers display xs, s, m, l, xl sizes. but the code throwing errors. where should I correct this? please refer to the image here. I add a container to create those. I'm new to flutter and can anyone please help how can I fix this. error >> The named parameter 'fontSize' isn...

 
 
1 hour later…
6:16 PM
4
Q: Étale fundamental group of rigid analytification

YangLet $X$ be a quasi-projective variety over a $p$-adic field. Denote by $X^{an}$ its rigid analytification. Does $\pi_1^{et}(X)=\pi_1^{et}(X^{an})$?

 
6:46 PM
2
Q: Generalized Stokes' theorem

Edgar JaberIn the Wikipedia article on Stokes' theorem the following claim is advanced without any references given: The main challenge in a precise statement of Stokes' theorem is in defining the notion of a boundary. Surfaces such as the Koch snowflake, for example, are well-known not to exhibit a Rieman...

 
 
4 hours later…
10:16 PM
7
Q: Homomorphisms between Oort–Tate group schemes

David LoefflerLet $R$ be a complete local $\mathbf{Z}_p$-algebra, for some prime $p$. In the 1970 paper Group schemes of prime order by Oort and Tate, they write down an explicit finite flat group scheme $G_R(a, b)$ of rank $p$, for each pair of elements $a,b \in R$ satisfying $ab = p$, and show that every FFG...

 

« first day (2568 days earlier)      last day (835 days later) »