Model Theory

出版者:North Holland

作者:C.C. Chang

页数:650

出版时间:1990-06-01

价格:USD 184.00

装帧:Hardcover

isbn号码:9780444880543

图书标签:数学数理逻辑逻辑学模型论逻辑教材MathematicsMathLogic

承接 住宅 自建房 室内改造 装修设计 免费咨询 QQ：624617358 一级注册建筑师 亲自为您回答、经验丰富，价格亲民。无论项目大小，都全力服务。期待合作，欢迎咨询！QQ：624617358

Model theory deals with a branch of mathematical logic showing connections between a formal language and its interpretations or models. This is the first and most successful textbook in logical model theory. Extensively updated and corrected in 1990 to accommodate developments in model theoretic methods — including classification theory and nonstandard analysis — the third edition added entirely new sections, exercises, and references.

Each chapter introduces an individual method and discusses specific applications. Basic methods of constructing models include constants, elementary chains, Skolem functions, indiscernibles, ultraproducts, and special models. The final chapters present more advanced topics that feature a combination of several methods. This classic treatment covers most aspects of first-order model theory and many of its applications to algebra and set theory.

用户评价

不同于hodges等从数学角度书写 这本从一阶逻辑角度介绍模型论 更accessible也更浅显

爽死这书～～可惜后面的题已经被人全解了

爽死这书～～可惜后面的题已经被人全解了

读的很累

不同于hodges等从数学角度书写 这本从一阶逻辑角度介绍模型论 更accessible也更浅显