Model Theory, Third Edition (Dover Books on Mathematics)

Model Theory, Third Edition (Dover Books on Mathematics)
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者:
出版社: Dover Publications
2012-06
版次: 1
ISBN: 9780486488219
定价: 298.50
装帧: 平装
开本: 其他
纸张: 其他
页数: 650页
正文语种: 英语
  • Modeltheorydealswithabranchofmathematicallogicshowingconnectionsbetweenaformallanguageanditsinterpretationsormodels.Thisisthefirstandmostsuccessfultextbookinlogicalmodeltheory.Extensivelyupdatedandcorrectedin1990toaccommodatedevelopmentsinmodeltheoreticmethods—includingclassificationtheoryandnonstandardanalysis—thethirdeditionaddedentirelynewsections,exercises,andreferences.
    Eachchapterintroducesanindividualmethodanddiscussesspecificapplications.Basicmethodsofconstructingmodelsincludeconstants,elementarychains,Skolemfunctions,indiscernibles,ultraproducts,andspecialmodels.Thefinalchapterspresentmoreadvancedtopicsthatfeatureacombinationofseveralmethods.Thisclassictreatmentcoversmostaspectsoffirst-ordermodeltheoryandmanyofitsapplicationstoalgebraandsettheory.
  • 内容简介:
    Modeltheorydealswithabranchofmathematicallogicshowingconnectionsbetweenaformallanguageanditsinterpretationsormodels.Thisisthefirstandmostsuccessfultextbookinlogicalmodeltheory.Extensivelyupdatedandcorrectedin1990toaccommodatedevelopmentsinmodeltheoreticmethods—includingclassificationtheoryandnonstandardanalysis—thethirdeditionaddedentirelynewsections,exercises,andreferences.
    Eachchapterintroducesanindividualmethodanddiscussesspecificapplications.Basicmethodsofconstructingmodelsincludeconstants,elementarychains,Skolemfunctions,indiscernibles,ultraproducts,andspecialmodels.Thefinalchapterspresentmoreadvancedtopicsthatfeatureacombinationofseveralmethods.Thisclassictreatmentcoversmostaspectsoffirst-ordermodeltheoryandmanyofitsapplicationstoalgebraandsettheory.
查看详情
系列丛书 / 更多
Model Theory, Third Edition (Dover Books on Mathematics)
Basic Algebra I:Second Edition
Nathan Jacobson 著
Model Theory, Third Edition (Dover Books on Mathematics)
Basic Algebra II:Second Edition
Nathan Jacobson 著
Model Theory, Third Edition (Dover Books on Mathematics)
Introduction to Topology:Third Edition
Bert Mendelson 著
Model Theory, Third Edition (Dover Books on Mathematics)
Calculus:An Intuitive and Physical Approach
Morris Kline 著
Model Theory, Third Edition (Dover Books on Mathematics)
The Thirteen Books of Euclid's Elements, Books 1 and 2
Euclid 著;Sir Thomas Heath 编
Model Theory, Third Edition (Dover Books on Mathematics)
The Thirteen Books of the Elements (Euclid, Vol. 2--Books III-IX):Books of Euclids Elements
Euclid 著;Thomas L.Heath 编
Model Theory, Third Edition (Dover Books on Mathematics)
Mathematics for the Nonmathematician
Morris Kline 著
Model Theory, Third Edition (Dover Books on Mathematics)
A Book of Abstract Algebra(second edition):Second Edition
Charles C. Pinter 著
Model Theory, Third Edition (Dover Books on Mathematics)
Ordinary Differential Equations
Morris、Harry Pollard 著
Model Theory, Third Edition (Dover Books on Mathematics)
Fifty Challenging Problems in Probability with Solutions
Frederick Mosteller 著
Model Theory, Third Edition (Dover Books on Mathematics)
One, Two, Three...Infinity:Facts and Speculations of Science
George Gamow 著
Model Theory, Third Edition (Dover Books on Mathematics)
Elementary Real and Complex Analysis(Dover Books on Mathematics)
Georgi E.Shilov 著
相关图书 / 更多
Model Theory, Third Edition (Dover Books on Mathematics)
ModelArts人工智能应用开发指南
田奇、白小龙 著
Model Theory, Third Edition (Dover Books on Mathematics)
ModelTaxConventiononIncomeandonCapital:CondensedVersion2010
Oecd Publishing 著
Model Theory, Third Edition (Dover Books on Mathematics)
ModelSuspect
Carolyn Keene 著
Model Theory, Third Edition (Dover Books on Mathematics)
ModelingClay:Animals
Bernadette Cuxart 著
Model Theory, Third Edition (Dover Books on Mathematics)
ModelSim电子系统分析及仿真(第3版)
于斌 著
Model Theory, Third Edition (Dover Books on Mathematics)
Modelica语言导论——技术物理系统建模与仿真
[瑞典]彼得·弗里兹森(Peter Fritzson) 著
Model Theory, Third Edition (Dover Books on Mathematics)
ModelWife
Julia Llewellyn 著
Model Theory, Third Edition (Dover Books on Mathematics)
ModelsforWriters:ShortEssaysforComposition
Alfred Rosa 著
Model Theory, Third Edition (Dover Books on Mathematics)
ModellingScaleFigures
Mark Bannerman 著
Model Theory, Third Edition (Dover Books on Mathematics)
ModellingandSculptingAnimals
Edouard Lanteri 著
Model Theory, Third Edition (Dover Books on Mathematics)
ModelBuildingwithBrass
Kenneth C. Foran 著
Model Theory, Third Edition (Dover Books on Mathematics)
ModelMenace
Carolyn Keene 著
您可能感兴趣 / 更多
Model Theory, Third Edition (Dover Books on Mathematics)
航天器电磁兼容性技术(SpacecraftElectromagneticCompatibilityTechnolo
Chengbo 著;Hua、Zhang、Yuting、Zhang、Peijian Ye 编
Model Theory, Third Edition (Dover Books on Mathematics)
亚洲人重睑成形术:原理与实践(第3版)
Chen 著;陈伯迪(William、PD、李丹、张诚、田怡 译
Model Theory, Third Edition (Dover Books on Mathematics)
THEVACUUMSUPER-UNIFIEDTHEORY
Che、Shuqiao 著
Model Theory, Third Edition (Dover Books on Mathematics)
从传统到现代:浙江现象的文化社会学阐释(英文版)
Chen、Lixu 著
Model Theory, Third Edition (Dover Books on Mathematics)
数据失控:算法时代的个体危机
Cheney-Lippold(约翰·切尼-利波尔德) 著;[美]John、张昌宏 译
Model Theory, Third Edition (Dover Books on Mathematics)
Despicable Me 3: The Junior Novel
Chesterfield, Sadie
Model Theory, Third Edition (Dover Books on Mathematics)
Le Cinq
Chef ·ric Briffard 著
Model Theory, Third Edition (Dover Books on Mathematics)
The Back in the Day Bakery Cookbook
Cheryl Day 著
Model Theory, Third Edition (Dover Books on Mathematics)
Beginning AutoCAD 2012 Exercise Workbook
Cheryl R. Shrock 著
Model Theory, Third Edition (Dover Books on Mathematics)
It's a Jungle Out There and a Zoo in Here: Run Your Home Business without Letting It Overrun You
Cheryl Demas 著
Model Theory, Third Edition (Dover Books on Mathematics)
Oh What a Paradise It Seems
Cheever, John
Model Theory, Third Edition (Dover Books on Mathematics)
Negaholics
Cherie Carter-Scott 著