Skip to main content
Andreas Thom's user avatar
Andreas Thom's user avatar
Andreas Thom's user avatar
Andreas Thom
  • Member for 14 years, 4 months
  • Last seen this week
awarded
comment
Nelson's program to show inconsistency of ZF
@sfmiller940 If there is no difference for you (which is fair enough), then there is indeed no point in this discussion.
comment
Nelson's program to show inconsistency of ZF
@sfmiller940, do you agree that $5$ exists in a "more" real sense than $10^{800}$?
awarded
awarded
awarded
comment
Tournament contained in vertex transitive tournament
My answer is also about finite tournaments, but it asks for more, namely the property that all partially defined automorphisms can be extended. The resulting tournament would be also edge-transitive etc.
Loading…
awarded
awarded
accepted
revised
Sums of squares of primes
added 133 characters in body
Loading…
comment
Sums of squares of primes
@CarloBeenakker, you are right.
revised
Loading…
asked
Loading…
comment
Write the algebra closure of $F_p$ as union of finite fields
... it's about research level mathematics.
comment
Definable functions in $o$-minimal structures
Ah, nice. Not so complicated.
accepted
1 2
3
4 5
61