Nonstandard models of arithmetic are of interest to mathematicians through the presence of infinite (or nonstandard) integers and the various properties they inherit from the finite integers. Since their introduction in the 1930s (by Skolem and Goedel ), they have come to play an important role in model theory, and in combinatorics through independence results such as the Paris-Harrington theorem. This book is an introduction to these developments, and stresses the interplay between the first-order theory, recursion-theoretic aspects, and the structural properties of these models. Prerequisites have been kept to a minimum. A basic grounding in elementary model theory and a familiarity with the notions of recursive, primitive recursive, and r.e. sets will be sufficient. Consequently, the book should be suitable for postgraduate students coming to the subject for the first time and a variety of exercises of varying degrees of difficulty will help to further the reader's understanding. Beginning with Goedel's incompleteness theorem, the book covers the prime models, cofinal extensions, end extensions, Gaifman's construction of a definable type, Tennenbaum's theorem, Friedman's theorem and subsequent work on indicators, and culminates in a chapter on recursive saturation and resplendency.

MULTIVARIABLE CALCULUS, Metric, 9th Edition, provides you with the strongest foundation for a STEM future. James Stewart's Calculus, Metric series is the top-seller in the world because of its problem-solving focus, mathematical precision and accuracy, and outstanding examples and problem sets. Selected and mentored by Stewart, Daniel Clegg and Saleem Watson continue his legacy and their careful refinements retain Stewart's clarity of exposition and make the 9th edition an even more usable learning tool. The accompanying WebAssign includes helpful learning support and new resources like Explore It interactive learning modules. Showing that Calculus is both practical and beautiful, the Stewart approach and WebAssign resources enhance understanding and build confidence for millions of students worldwide.

This book contains the latest developments of the theory of discontinuous groups acting on homogenous spaces, from basic concepts to a comprehensive exposition. It develops the newest approaches and methods in the deformation theory of topological modules and unitary representations and focuses on the geometry of discontinuous groups of solvable Lie groups and their compact extensions. It also presents proofs of recent results, computes fundamental examples, and serves as an introduction and reference for students and experienced researchers in Lie theory, discontinuous groups, and deformation (and moduli) spaces.

The UK's most trusted A level Mathematics resources With over 900,000 copies sold (plus 1.3 million copies sold of the previous edition), Pearson's own resources for Pearson Edexcel are the market-leading and most trusted for AS and A level Mathematics This book covers all the content needed for the Edexcel AS level Pure Mathematics exam. It can also be used alongside the Year 2 book to cover all the content needed for the Edexcel A level Pure Mathematics exams Enhanced focus on problem-solving and modelling, as well as supporting the large data set and calculators Packed with worked examples with guidance, lots of exam-style questions, practice papers, and plenty of mixed and review exercises Full worked solutions to every question available free and online for quick and easy access. Plus free additional online content with GeoGebra interactives and Casio calculator tutorials Practice books also available offering the most comprehensive and flexible AS/A level Maths practice with over 2000 extra questions Includes access to an online digital edition (valid for 3 years once activated) Pearson Edexcel AS and A level Mathematics Pure Mathematics Year 1/AS Textbook + e-book matches the Pearson Edexcel exam structure and is fully integrated with Pearson Edexcel's interactive scheme of work. All of the books in this series focus on problem-solving and modelling, as well as supporting the large data set and calculators. They are packed with worked examples with guidance, lots of exam-style questions, practice papers, and plenty of mixed and review exercises. There are full worked solutions to every question available free and online for quick and easy access. You will also have access to lots of free additional online content with GeoGebra interactives and Casio calculator tutorials. There are separate Pure and Applied textbooks for AS and A level Maths, and a textbook per option for AS and A level Further Maths. Practice books are also available offering the most comprehensive and flexible AS/A level Maths practice with over 2000 extra questions. Pearson's revision resources are the smart choice for those revising for Pearson Edexcel AS and A level Mathematics - there is a Revision Workbook for exam practice and a Revision Guide for classroom and independent study. Practice Papers Plus+ books contain additional full length practice papers, so you can practice answering questions by writing straight into the book and perfect your responses with targeted hints, guidance and support for every question, including fully worked solutions.

Developed for the new International A Level specification, these new resources are specifically designed for international students, with a strong focus on progression, recognition and transferable skills, allowing learning in a local context to a global standard. Recognised by universities worldwide and fully comparable to UK reformed GCE A levels. Supports a modular approach, in line with the specification. Appropriate international content puts learning in a real-world context, to a global standard, making it engaging and relevant for all learners. Reviewed by a language specialist to ensure materials are written in a clear and accessible style. The embedded transferable skills, needed for progression to higher education and employment, are signposted so students understand what skills they are developing and therefore go on to use these skills more effectively in the future. Exam practice provides opportunities to assess understanding and progress, so students can make the best progress they can.

Developed for the new International A Level specification, these new resources are specifically designed for international students, with a strong focus on progression, recognition and transferable skills, allowing learning in a local context to a global standard. Recognised by universities worldwide and fully comparable to UK reformed GCE A levels. Supports a modular approach, in line with the specification. Appropriate international content puts learning in a real-world context, to a global standard, making it engaging and relevant for all learners. Reviewed by a language specialist to ensure materials are written in a clear and accessible style. The embedded transferable skills, needed for progression to higher education and employment, are signposted so students understand what skills they are developing and therefore go on to use these skills more effectively in the future. Exam practice provides opportunities to assess understanding and progress, so students can make the best progress they can.