11Uxx Connections with logic ( 0 Dok. )

• 11U05 Decidability, See also {03B25} ( 0 Dok. )
• 11U07 Ultraproducts, See also {03C20} ( 0 Dok. )
• 11U09 Model theory, See also {03Cxx} ( 0 Dok. )
• 11U10 Nonstandard arithmetic, See also {03H15} ( 0 Dok. )
• 11U99 None of the above but in this section ( 0 Dok. )