鸟笼 发表于 2025-3-28 17:57:27
Introduction, Typical examples of interest to a model-theorist would be algebraically closed fields (e.g., 〈ℂ, +, •〉), real closed fields (e.g., 〈ℝ, +, •, <〉), various models of arithmetic (e.g., 〈ℕ, +, ·〉 or 〈ℕ, +〉), and other structures such as Boolean algebras or random graphs.