Zermelo’s Axiom of Choice

This book provides a primary resource in basic fixed-point theorems due to Banach, Brouwer, Schauder and Tarski and their applications. Key topics covered include Sharkovsky’s theorem on periodic points, Thron’s results on the convergence of certain real iterates, Shield’s common fixed theorem for a commuting family of analytic functions and Bergweiler’s existence theorem on fixed points of the composition of certain meromorphic functions with transcendental entire functions.

This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Including examples from several areas of mathematics (algebra, linear algebra and analysis), the book illustrates the relevance and usefulness of logic in the study of these subject areas.

by Daniel Ashlock (Author), Colin Lee (Author)
This text is intended as an introduction to mathematical proofs for students