Search and Browse the MSC 2000

11-XX Number theory → ZMATH

11Uxx Connections with logic → ZMATH

11U05 Decidability [See also 03B25] → ZMATH

11U07 Ultraproducts [See also 03C20] → ZMATH

11U09 Model theory [See also 03Cxx] → ZMATH

11U10 Nonstandard arithmetic [See also 03H15] → ZMATH

11U99 None of the above, but in this section → ZMATH