Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
E-Books | Biblioteca da FCTUNL Online | Não Ficção | QA9.7.SPR FCT 82710 (Browse shelf) | 1 | Available |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Online , Collection code: Não Ficção Close shelf browser
QA9.64.SPR FCT 81525 Theory of fuzzy computation | QA9.65.SPR FCT 81829 Leśniewski's systems of logic and foundations of mathematics | QA9.7.SPR FCT 82367 Model theory and applications | QA9.7.SPR FCT 82710 Model theory in algebra, analysis and arithmetic | QA10.3.SPR FCT 80812 Introduction to boolean algebras | QA10.3.SPR FCT 81796 Cardinal invariants on boolean algebras | QA10.3.SPR FCT 82033 Duality theories for boolean algebras with operators |
Colocação: Online
Presenting recent developments and applications, the book focuses on four main topics in current model theory: 1) the model theory of valued fields; 2) undecidability in arithmetic; 3) NIP theories; and 4) the model theory of real and complex exponentiation. Young researchers in model theory will particularly benefit from the book, as will more senior researchers in other branches of mathematics.
There are no comments for this item.