user avatar
user avatar
user avatar
Math_Images_Only
  • Member for 3 years, 1 month
  • Last seen this week
7 votes
1 answer
103 views

Finding where in Ramsey's theorem one uses the Axiom of choice

5 votes
0 answers
96 views

Examples of Substructures that "do not know they are that substructure"

4 votes
0 answers
123 views

Proof that $G_\delta$ sets in $\mathbb{R}$ are either countable,finite, or have cardinality of the continuum.

4 votes
2 answers
266 views

If $\kappa=\kappa^{<\kappa}$ then there is a dense linear order of size $\kappa$ in which all ordinals $<\kappa^+$ can embed.

4 votes
2 answers
361 views

Proof that the quotient space of $\mathbb{R}^2/L$ where $L$ is a line passing through the origin is not first countable

4 votes
2 answers
638 views

Proof Cancellation property in lattice implies distributivity

3 votes
1 answer
176 views

Derivative of generalized Taylor expansion of a function between Banach Spaces

3 votes
1 answer
163 views

Are there any interesting non standard models of $Q$?

3 votes
1 answer
79 views

Functions of finite subsets of a set

2 votes
0 answers
94 views

Doubt on Equality Involving Cardinal Exponentiation

2 votes
1 answer
42 views

substituting algebraic numbers for their conjugates in rational functions

2 votes
1 answer
122 views

Cardinality of the ranks of the constructible universe

2 votes
0 answers
56 views

Understanding the proof of $\mathbb{V}=\mathbb{L}\rightarrow \Diamond$

2 votes
1 answer
98 views

A closed loop on $\mathbb{R}^2-{0}$ with a winding number of 2 or greater must intersect on at least one point

2 votes
1 answer
83 views

Is the axiom of existence sufficient to show that replacement implies comprehension?

2 votes
1 answer
86 views

For a set A is it always possible to find a measurable superset A* such that $\mu^*(A^*-A)=0$

2 votes
1 answer
67 views

Topology on Reals generated by Predicates

2 votes
1 answer
73 views

Proof: a group action on a $T_2$ space that is free and wandering is properly discontinuous

2 votes
1 answer
167 views

Proof that in a simple group of order 168 the intersection of the normalizers of two distinct 7-sylows is of order 3

2 votes
1 answer
63 views

Any total relation is extensional

1 vote
2 answers
586 views

Proof for sequentially continuous function with a first countable domain is continuous

1 vote
1 answer
108 views

Proof that a metric space $X$ isometrically embeds to the set of bounded continuous functions from $X$ to $\mathbb R$

1 vote
4 answers
119 views

Show $\mathbb{R}^n\setminus \{0\}$ is not homeomorphic to $\mathbb{R}^n $

1 vote
1 answer
43 views

Visualizing the fundamental group of a cylinder

1 vote
2 answers
32 views

Linear map $L$ from $\mathbb{R}^3$ to $\mathbb{R}^3$ such that $L^2=-Id$

1 vote
0 answers
51 views

Proof verification of Set theory problem

1 vote
0 answers
79 views

Any other norms on $\mathbb{R}^n$?

1 vote
1 answer
101 views

is $\omega$ in every model of ZFC always isomorphic to the standard natural numbers

1 vote
0 answers
92 views

Is there an easy way to picture a Whitney embedding?

0 votes
2 answers
93 views

Understanding the arc length parameter notation