Kategoria BISAC: Mathematics >> Set Theory

The notion of proof is central to mathematics yet it is one of the most difficult aspects of the subject to teach and master. In particular, undergraduate mathematics students often experience difficulties in understanding and constructing proofs.

Understanding Mathematical Proof describes the nature of mathematical proof, explores the various techniques that mathematicians adopt to prove their results, and offers advice and strategies for constructing proofs. It will improve students ability to understand proofs and construct correct proofs of their...

The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Godel, Church, Kleene, Rosser, and Turing.

The sixth edition incorporates recent work on Godel's second incompleteness theorem as well as restoring an appendix on consistency proofs for first-order arithmetic. This appendix last appeared in the first edition....

Set Theoretical Aspects of Real Analysis is built around a number of questions in real analysis and classical measure theory, which are of a set theoretic flavor. Accessible to graduate students, and researchers the beginning of the book presents introductory topics on real analysis and Lebesgue measure theory. These topics highlight the boundary between fundamental concepts of measurability and nonmeasurability for point sets and functions. The remainder of the book deals with more specialized material on set theoretical real analysis.

The book focuses on...

In seinem Buch Parts of Classes hat David Lewis eine Reduktion von ZFC auf eine Mereologie zweiter Stufe skizziert. Sein Resultat nimmt in vorliegender Rekonstruktion folgende Form an: ZFC ist in M (der klassischen Mereologie zweiter Stufe) plus "Es gibt eine stark unerreichbare Partition" parametrisiert interpretierbar. Der Beweis benutzt, dass geordnete Paare in M plus "Es gibt eine unendliche Partition" parametrisiert interpretierbar sind.

Category theory was invented in the 1940s to unify and synthesize different areas in mathematics, and it has proven remarkably successful in enabling powerful communication between disparate fields and subfields within mathematics. This book shows that category theory can be useful outside of mathematics as a rigorous, flexible, and coherent modeling language throughout the sciences. Information is inherently dynamic; the same ideas can be organized and reorganized in countless ways, and the ability to translate between such organizational structures is becoming increasingly important in...

This book provides a one-semester undergraduate introduction to counterexamples in calculus and analysis. It helps engineering, natural sciences, and mathematics students tackle commonly made erroneous conjectures. The book encourages students to think critically and analytically, and helps to reveal common errors in many examples.

In this book, the authors present an overview of important concepts and results in calculus and real analysis by considering false statements, which may appear to be true at first glance. The book covers topics concerning the functions of real variables,...

Introduction to Mathematical Proofs helps students develop the necessary skills to write clear, correct, and concise proofs.

Unlike similar textbooks, this one begins with logic since it is the underlying language of mathematics and the basis of reasoned arguments. The text then discusses deductive mathematical systems and the systems of natural numbers, integers, rational numbers, and real numbers.

It also covers elementary topics in set theory, explores various properties of relations and functions, and proves several theorems using induction. The final...