An invitation to model theory /
Kirby, Jonathan, (1979-)

FindBook      Google Book      Amazon      博客來     
  • An invitation to model theory /
  • 紀錄類型: 書目-語言資料,印刷品 : Monograph/item
    正題名/作者: An invitation to model theory // Jonathan Kirby.
    作者: Kirby, Jonathan,
    出版者: Cambridge, United Kingdom ;Cambridge University Press, : 2019.,
    面頁冊數: xiii, 182 p. :ill. ;24 cm.
    內容註: Structures -- Terms -- Formulas -- Definable sets -- Substructures and quantifiers -- Theories and axioms -- The complex and real fields --Compactness and new constants -- Axiomatisable classes -- Cardinalityconsiderations -- Constructing models from syntax -- Elementarysubstructures -- Elementary extensions -- Vector spaces and categoricity --Linear orders -- The successor structure -- Quantifier elimination for DLO-- Substructure completeness -- Power sets and boolean algebras -- Thealgebras of definable sets -- Real vector spaces and parameters --Semi-algebraic sets -- Realising types -- Omitting types -- Countablecategoricity -- Large and small countable models -- Saturated models --Fields and their extensions -- Algebraic closures of fields -- Categoricityand completeness -- Definable sets and varieties -- Hilbert'snullstellensatz.
    標題: Model theory. -
    ISBN: 9781316615553
採購/卷期登收資訊
  • 壽豐校區(SF Campus)
  • -
  • 最近登收卷期: 1 (2021/12/29)
  • 明細
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
 
W0201355 六樓西文書區HC-Z(6F Western Language Books) 01.外借(書)_YB 一般圖書 QA9.7 K57 2019 一般使用(Normal) 在架 0
  • 1 筆 • 頁數 1 •
評論
Export
取書館
 
 
變更密碼
登入