meta user
network profile
| bio | website | |
|---|---|---|
| location | ||
| age | ||
| visits | member for | 2 years, 4 months |
| seen | 3 hours ago | |
| stats | profile views | 4,159 |
|
Apr 30 |
accepted | Dissecting a proof of the $\Delta$-system lemma |
|
Apr 29 |
accepted | Question about passage in Halbeisen's book |
|
Apr 29 |
comment |
Question about passage in Halbeisen's book Ahh, thank you. I somehow thought of axioms as assumptions. I know that the definition of formal proof means it's a finite sequence of steps. But "steps" here really also includes the assumptions. : ) |
|
Apr 29 |
comment |
Question about passage in Halbeisen's book Thank you so much for this clear answer. I have one question about it: How can we be sure that the additional axioms we need to prove $\mathbb P$ is in $\mathsf M$ are only finitely many? (The other case you mention seems clear: If $\Phi$ is finite then so is any model $\mathsf M$ of $\Phi$ and then there will also only be finitely many names so that proving $\mathsf M$ satisfies $\Phi$ can be done using finitely many names $\mathbb P^{\mathsf M}$ where $\mathbb P \subseteq \mathsf M$ for which we need finitely many instances of Replacement.) |
|
Apr 29 |
asked | Dissecting a proof of the $\Delta$-system lemma |
|
Apr 29 |
revised |
Proof of vector calculus identities Tab removed. |
|
Apr 27 |
comment |
Subspace topology and order topology It is $\{1/2\} \times (1/2, 3/2)$, see second paragraph. Perhaps you are slightly confused because the point $(1/2,3/2)$ looks like the interval $(1/2,3/2)$ in this notation. |
|
Apr 27 |
reviewed | No Action Needed How to integrate this expression |
|
Apr 27 |
reviewed | Leave Open Interchange of limits |
|
Apr 27 |
reviewed | Leave Open Interchange of limits. |
|
Apr 27 |
reviewed | Leave Open Interchange of limits, |
|
Apr 27 |
reviewed | Reviewed Entertaining video lectures of differential equation |
|
Apr 27 |
reviewed | Reopen How to prove lim sup problem? |
|
Apr 27 |
reviewed | Looks Good Is the ideal $(X^2-3)$ proper in $\mathbb{F}[[X]]$? |
|
Apr 26 |
reviewed | Reopen Probability of random integer's digits summing to 12 |
|
Apr 25 |
revised |
True or False; Functional Analysis deleted 2 characters in body |
|
Apr 25 |
revised |
Is a bounded and continuous function uniformly continuous? edited title |
|
Apr 25 |
revised |
Is a bounded and continuous function uniformly continuous? added 2 characters in body |
|
Apr 25 |
answered | Algebraic Topology |
|
Apr 24 |
answered | Examples of Banach spaces |
