Skip to main content
Joshua Meyers's user avatar
Joshua Meyers's user avatar
Joshua Meyers's user avatar
Joshua Meyers
  • Member for 10 years, 9 months
  • Last seen more than a month ago
6 votes
3 answers
866 views

Definition of the domain of a partial function

6 votes
5 answers
2k views

Why not ban nested quantifiers over the same variable?

5 votes
2 answers
300 views

Nontrivial example of topos in the context of logic

5 votes
3 answers
773 views

Why must an interior point of $E$ be an element of $E$?

4 votes
1 answer
422 views

Examples of nonstandard Euclidean functions on Euclidean domain

4 votes
1 answer
968 views

Do counit-unit adjunctions have the expected universal properties?

4 votes
2 answers
117 views

Can I construct a collection of pairs of socks?

3 votes
1 answer
487 views

What are the algebraic structures of the wallpaper groups?

3 votes
1 answer
118 views

Infinite core graphs

3 votes
0 answers
2k views

Definition of a semiring of sets

2 votes
1 answer
25 views

Is implication of conditions on sequences strict?

2 votes
1 answer
1k views

Why does countable compactness imply compactness on metric spaces?

2 votes
0 answers
154 views

Conditions for Metricization of Cartesian Product of Metric Spaces

2 votes
0 answers
57 views

Field extensions that decompose into towers of degree$\leq n$ extensions

2 votes
3 answers
934 views

Bounds on Gaussian infinite sum

2 votes
2 answers
2k views

When is the centralizer of a subgroup equal to the center?

1 vote
0 answers
70 views

Are all integral domains in which all irreducible elements are prime G.C.D domains? [duplicate]

1 vote
0 answers
79 views

Which polynomials are resultants?

1 vote
0 answers
58 views

Rabuel assumes two quadratics with a common root are equal in his proof that a construction of a Cartesian oval works

1 vote
1 answer
232 views

Interesting Identities in First-Order Logic

1 vote
1 answer
81 views

What does Shilov mean by a "vector of absolute divergence"?

1 vote
1 answer
210 views

Did Spivak leave out Jordan-measurability too in his definition of partition of unity?

0 votes
0 answers
81 views

Integral-Differential Equation Modeling Banked Turn

0 votes
1 answer
198 views

Normal Subspaces of Tychonoff Cubes

0 votes
2 answers
76 views

Why does Lang need finite measure support in the proof Lemma 3.2 (Real and Functional Analysis)?

0 votes
1 answer
163 views

Is every a.e. limit of step functions also an a.e. limit of a Cauchy sequence of step functions?

0 votes
2 answers
286 views

$L^1$-Cauchy sequence of step functions that converges a.e. also converges in $L^1$