A First Course in Mathematical Logic and Set Theory

Author: Michael L. O'Leary

Publisher: John Wiley & Sons

ISBN: 0470905883

Category: Mathematics

Page: 464

View: 8300


A mathematical introduction to the theory and applications of logic and set theory with an emphasis on writing proofs Highlighting the applications and notations of basic mathematical concepts within the framework of logic and set theory, A First Course in Mathematical Logic and Set Theory introduces how logic is used to prepare and structure proofs and solve more complex problems. The book begins with propositional logic, including two-column proofs and truth table applications, followed by first-order logic, which provides the structure for writing mathematical proofs. Set theory is then introduced and serves as the basis for defining relations, functions, numbers, mathematical induction, ordinals, and cardinals. The book concludes with a primer on basic model theory with applications to abstract algebra. A First Course in Mathematical Logic and Set Theory also includes: Section exercises designed to show the interactions between topics and reinforce the presented ideas and concepts Numerous examples that illustrate theorems and employ basic concepts such as Euclid’s lemma, the Fibonacci sequence, and unique factorization Coverage of important theorems including the well-ordering theorem, completeness theorem, compactness theorem, as well as the theorems of Löwenheim–Skolem, Burali-Forti, Hartogs, Cantor–Schröder–Bernstein, and König An excellent textbook for students studying the foundations of mathematics and mathematical proofs, A First Course in Mathematical Logic and Set Theory is also appropriate for readers preparing for careers in mathematics education or computer science. In addition, the book is ideal for introductory courses on mathematical logic and/or set theory and appropriate for upper-undergraduate transition courses with rigorous mathematical reasoning involving algebra, number theory, or analysis.

The Foundations of Mathematics

Author: Ian Stewart,David Tall

Publisher: OUP Oxford

ISBN: 0191016489

Category: Mathematics

Page: 432

View: 8657


The transition from school mathematics to university mathematics is seldom straightforward. Students are faced with a disconnect between the algorithmic and informal attitude to mathematics at school, versus a new emphasis on proof, based on logic, and a more abstract development of general concepts, based on set theory. The authors have many years' experience of the potential difficulties involved, through teaching first-year undergraduates and researching the ways in which students and mathematicians think. The book explains the motivation behind abstract foundational material based on students' experiences of school mathematics, and explicitly suggests ways students can make sense of formal ideas. This second edition takes a significant step forward by not only making the transition from intuitive to formal methods, but also by reversing the process- using structure theorems to prove that formal systems have visual and symbolic interpretations that enhance mathematical thinking. This is exemplified by a new chapter on the theory of groups. While the first edition extended counting to infinite cardinal numbers, the second also extends the real numbers rigorously to larger ordered fields. This links intuitive ideas in calculus to the formal epsilon-delta methods of analysis. The approach here is not the conventional one of 'nonstandard analysis', but a simpler, graphically based treatment which makes the notion of an infinitesimal natural and straightforward. This allows a further vision of the wider world of mathematical thinking in which formal definitions and proof lead to amazing new ways of defining, proving, visualising and symbolising mathematics beyond previous expectations.

Introduction to Model Theory

Author: Philipp Rothmaler

Publisher: CRC Press

ISBN: 0429668503

Category: Mathematics

Page: 324

View: 1822


Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect. This text introduces the model theory of first-order logic, avoiding syntactical issues not too relevant to model theory. In this spirit, the compactness theorem is proved via the algebraically useful ultrsproduct technique (rather than via the completeness theorem of first-order logic). This leads fairly quickly to algebraic applications, like Malcev's local theorems of group theory and, after a little more preparation, to Hilbert's Nullstellensatz of field theory. Steinitz dimension theory for field extensions is obtained as a special case of a much more general model-theoretic treatment of strongly minimal theories. There is a final chapter on the models of the first-order theory of the integers as an abelian group. Both these topics appear here for the first time in a textbook at the introductory level, and are used to give hints to further reading and to recent developments in the field, such as stability (or classification) theory.

Fundamentals of the Theory of Operator Algebras: Advanced theory

Author: Richard V. Kadison,John R. Ringrose

Publisher: American Mathematical Soc.

ISBN: 9780821808207

Category: Mathematics

Page: 1074

View: 2842


From the reviews for Volumes I and II: ... these two volumes represent a magnificent achievement. They will be an essential item on every operator algebraist's bookshelves and will surely become the primary source of instruction for research students in von Neumann algebra theory. --Bulletin of the London Mathematical Society This book is extremely clear and well written and ideally suited for an introductory course on the subject or for a student who wishes to learn the fundamentals of the classical theory of operator algebras. --Zentralblatt MATH This work and Fundamentals of the Theory of Operator Algebras. Volume I, Elementary Theory (Graduate Studies in Mathematics, Volume 15) present an introduction to functional analysis and the initial fundamentals of $C^*$- and von Neumann algebra theory in a form suitable for both intermediate graduate courses and self-study. The authors provide a clear account of the introductory portions of this important and technically difficult subject. Major concepts are sometimes presented from several points of view; the account is leisurely when brevity would compromise clarity. An unusual feature in a text at this level is the extent to which it is self-contained; for example, it introduces all the elementary functional analysis needed. The emphasis is on teaching. Well supplied with exercises, the text assumes only basic measure theory and topology. The book presents the possibility for the design of numerous courses aimed at different audiences.