MathOverflow
abcdxyz's user avatar
abcdxyz's user avatar
abcdxyz's user avatar
abcdxyz
  • Member for 14 years, 4 months
  • Last seen more than 5 years ago
Profile Activity

19 Questions

Score Activity Newest Views
25 votes
7 answers
10k views

Is there a relationship between model theory and category theory?

58 votes
6 answers
7k views

Has decidability got something to do with primes?

36 votes
5 answers
10k views

Is there a natural way to view the proof of Hilbert 90?

8 votes
3 answers
2k views

Is there a notion of Galois extension for Z / p^2?

32 votes
3 answers
6k views

Why Weil group and not Absolute Galois group?

-1 votes
1 answer
350 views

When is a local subring of a number field a valuation ring?

6 votes
1 answer
3k views

Is there good intution of the trace map?

4 votes
2 answers
405 views

Is there a model theoretic realization of the concept of Arithmetical Hierachy?

7 votes
2 answers
3k views

When is the composition of two totally ramified extension totally ramified?

3 votes
2 answers
524 views

Can the cross-section (x-section) be removed from the Ax-Kochen proof in "Diophantine problems over local fields"?

15 votes
1 answer
2k views

What is it that makes some diophantine equations interesting, while others are less so

9 votes
5 answers
856 views

Making an intuition precise [closed]

5 votes
1 answer
521 views

Is there any approximated version of Hilbert 90?

3 votes
1 answer
824 views

Injectivity of Transfer (Verlagerung) map

11 votes
1 answer
801 views

Is there an analog of class field theory over an arbitrary infinite field of algebraic numbers?

4 votes
3 answers
1k views

Why isn't there a structure with two primes?

8 votes
2 answers
1k views

How natural is the reciprocity map?

9 votes
4 answers
812 views

How much of the current logic is about syntax?

2 votes
2 answers
756 views

In what sense Fraissean view point shows Model Theory can be done without any formal syntax and deduction rule?