11-XX |
|
|
Number theory |
|
11Uxx |
|
Connections of number theory and logic |
|
|
11U05 |
Decidability (number-theoretic aspects) [See also 03B25] |
|
|
11U07 |
Ultraproducts (number-theoretic aspects) [See also 03C20] |
|
|
11U09 |
Model theory (number-theoretic aspects) [See also 03Cxx] |
|
|
11U10 |
Nonstandard arithmetic (number-theoretic aspects) [See also 03H15] |
|
|
11U99 |
None of the above, but in this section |