Mathematical Logic and Model Theory : A Brief Introduction
Resource Information
The work Mathematical Logic and Model Theory : A Brief Introduction represents a distinct intellectual or artistic creation found in University of Oklahoma Libraries. This resource is a combination of several types including: Work, Language Material, Books.
The Resource
Mathematical Logic and Model Theory : A Brief Introduction
Resource Information
The work Mathematical Logic and Model Theory : A Brief Introduction represents a distinct intellectual or artistic creation found in University of Oklahoma Libraries. This resource is a combination of several types including: Work, Language Material, Books.
 Label
 Mathematical Logic and Model Theory : A Brief Introduction
 Title remainder
 A Brief Introduction
 Statement of responsibility
 by Alexander Prestel, Charles N. Delzell
 Language

 eng
 eng
 Summary
 Mathematical Logic and Model Theory: A Brief Introduction offers a streamlined yet easytoread introduction to mathematical logic and basic model theory. It presents, in a selfcontained manner, the essential aspects of model theory needed to understand model theoretic algebra. As a profound application of model theory in algebra, the last part of this book develops a complete proof of Ax and Kochen's work on Artin's conjecture about Diophantine properties of padic number fields. The character of model theoretic constructions and results differs significantly from that commonly found in algebra, by the treatment of formulae as mathematical objects. It is therefore indispensable to first become familiar with the problems and methods of mathematical logic. Therefore, the text is divided into three parts: an introduction into mathematical logic (Chapter 1), model theory (Chapters 2 and 3), and the model theoretic treatment of several algebraic theories (Chapter 4). This book will be of interest to both advanced undergraduate and graduate students studying model theory and its applications to algebra. It may also be used for selfstudy
 Dewey number
 511.3
 http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsaut

 QtKxOZMyi0
 Kp_oOkXeOII
 Image bit depth
 0
 Language note
 English
 LC call number
 QA1939
 Literary form
 non fiction
 Nature of contents
 dictionaries
 Series statement
 Universitext,
Context
Context of Mathematical Logic and Model Theory : A Brief IntroductionEmbed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.libraries.ou.edu/resource/NyLSqxXnfSY/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/NyLSqxXnfSY/">Mathematical Logic and Model Theory : A Brief Introduction</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Work Mathematical Logic and Model Theory : A Brief Introduction
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.libraries.ou.edu/resource/NyLSqxXnfSY/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/NyLSqxXnfSY/">Mathematical Logic and Model Theory : A Brief Introduction</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>