Skip to main content
Lucina's user avatar
Lucina's user avatar
Lucina's user avatar
Lucina
  • Member for 6 years, 3 months
  • Last seen this week
9 votes
2 answers
347 views

"Transfinite Peano Axioms"

7 votes
2 answers
221 views

How many variables in formal logic?

7 votes
0 answers
139 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
213 views

Why dont we only consider complete measure spaces?

4 votes
2 answers
532 views

Well ordering and maximal chains in power set

3 votes
1 answer
682 views

Exploiting Grothendieck universes

3 votes
1 answer
549 views

Projective objects in functor categories

2 votes
0 answers
71 views

Proving Schanuel's lemma with a spectral sequence

2 votes
1 answer
145 views

Gödel diagonalization and formulas not holding for themselves

2 votes
0 answers
494 views

Why euclidean topology on complex numbers?

1 vote
0 answers
43 views

Algebraic Dimension of function space

1 vote
1 answer
189 views

models versus complete theories

1 vote
1 answer
43 views

Disproof of an adjoint functor theorem?

1 vote
0 answers
33 views

Exterior and symmetric powers without choice