Skip to main content
Lucina's user avatar
Lucina's user avatar
Lucina's user avatar
Lucina
  • Member for 6 years, 4 months
  • Last seen more than a week ago
9 votes
2 answers
351 views

"Transfinite Peano Axioms"

7 votes
2 answers
225 views

How many variables in formal logic?

7 votes
0 answers
144 views

Is every set an image of a totally ordered set?

5 votes
0 answers
151 views

When is the (great) axiom of Union really needed

5 votes
1 answer
214 views

Why dont we only consider complete measure spaces?

4 votes
2 answers
535 views

Well ordering and maximal chains in power set

3 votes
1 answer
703 views

Exploiting Grothendieck universes

3 votes
1 answer
559 views

Projective objects in functor categories

2 votes
0 answers
73 views

Proving Schanuel's lemma with a spectral sequence

2 votes
1 answer
146 views

Gödel diagonalization and formulas not holding for themselves

2 votes
0 answers
495 views

Why euclidean topology on complex numbers?

1 vote
0 answers
43 views

Algebraic Dimension of function space

1 vote
1 answer
193 views

models versus complete theories

1 vote
1 answer
52 views

Disproof of an adjoint functor theorem?

1 vote
0 answers
34 views

Exterior and symmetric powers without choice