Set theory is the mathematics of infinity and part of the core curriculum for mathematics majors. This book blends theory and connections with other parts of mathematics so that readers can understand the place of set theory within the wider context. Beginning with the theoretical fundamentals, the author proceeds to illustrate applications to topology, analysis and combinatorics, as well as to pure set theory. Concepts such as Boolean algebras, trees, games, dense linear orderings, ideals, filters and club and stationary sets are also developed. Pitched specifically at undergraduate students, the approach is neither esoteric nor encyclopedic. The author, an experienced instructor, includes motivating examples and over 100 exercises designed for homework assignments, reviews and exams. It is appropriate for undergraduates as a course textbook or for self-study. Graduate students and researchers will also find it useful as a refresher or to solidify their understanding of basic set theory.

This book addresses a gap in the model-theoretic understanding of valued fields that had limited the interactions of model theory with geometry. It contains significant developments in both pure and applied model theory. Part I of the book is a study of stably dominated types. These form a subset of the type space of a theory that behaves in many ways like the space of types in a stable theory. This part begins with an introduction to the key ideas of stability theory for stably dominated types. Part II continues with an outline of some classical results in the model theory of valued fields and explores the application of stable domination to algebraically closed valued fields. The research presented here is made accessible to the general model theorist by the inclusion of the introductory sections of each part.

In the 1990s Kim and Pillay generalized stability, a major model theoretic idea developed by Shelah twenty-five years earlier, to the study of simple theories. This book is an up-to-date introduction to simple theories and hyperimaginaries, with special attention to Lascar strong types and elimination of hyperimaginary problems. Assuming only knowledge of general model theory, the foundations of forking, stability, and simplicity are presented in full detail. The treatment of the topics is as general as possible, working with stable formulas and types and assuming stability or simplicity of the theory only when necessary. The author offers an introduction to independence relations as well as a full account of canonical bases of types in stable and simple theories. In the last chapters the notions of internality and analyzability are discussed and used to provide a self-contained proof of elimination of hyperimaginaries in supersimple theories.

This book is designed for readers who know elementary mathematical logic and axiomatic set theory, and who want to learn more about set theory. The primary focus of the book is on the independence proofs. Most famous among these is the independence of the Continuum Hypothesis (CH); that is, there are models of the axioms of set theory (ZFC) in which CH is true, and other models in which CH is false. More generally, cardinal exponentiation on the regular cardinals can consistently be anything not contradicting the classical theorems of Cantor and Konig. The basic methods for the independence proofs are the notion of constructibility, introduced by Godel, and the method of forcing, introduced by Cohen. This book describes these methods in detail, verifi es the basic independence results for cardinal exponentiation, and also applies these methods to prove the independence of various mathematical questions in measure theory and general topology. Before the chapters on forcing, there is a fairly long chapter on "infi nitary combinatorics." This consists of just mathematical theorems (not independence results), but it stresses the areas of mathematics where set-theoretic topics (such as cardinal arithmetic) are relevant. There is, in fact, an interplay between infi nitary combinatorics and independence proofs. Infi nitary combinatorics suggests many set-theoretic questions that turn out to be independent of ZFC, but it also provides the basic tools used in forcing arguments. In particular, Martin's Axiom, which is one of the topics under infi nitary combinatorics, introduces many of the basic ingredients of forcing.

This book introduces a new approach to building models of bounded arithmetic, with techniques drawn from recent results in computational complexity. Propositional proof systems and bounded arithmetics are closely related. In particular, proving lower bounds on the lengths of proofs in propositional proof systems is equivalent to constructing certain extensions of models of bounded arithmetic. This offers a clean and coherent framework for thinking about lower bounds for proof lengths, and it has proved quite successful in the past. This book outlines a brand new method for constructing models of bounded arithmetic, thus for proving independence results and establishing lower bounds for proof lengths. The models are built from random variables defined on a sample space which is a non-standard finite set and sampled by functions of some restricted computational complexity. It will appeal to anyone interested in logical approaches to fundamental problems in complexity theory.

In this 1987 text Professor Jech gives a unified treatment of the various forcing methods used in set theory, and presents their important applications. Product forcing, iterated forcing and proper forcing have proved powerful tools when studying the foundations of mathematics, for instance in consistency proofs. The book is based on graduate courses though some results are also included, making the book attractive to set theorists and logicians.

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The fifth volume of ToPNoC contains revised versions of selected papers from workshops and tutorials held in conjunction with the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, as well as a contributed paper selected through the regular submission track of ToPNoC. The 12 papers cover a diverse range of topics including model checking and system verification, synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Thus, this volume gives a good view of ongoing concurrent systems and Petri nets research.

Hodel's 'Introduction to Mathematical Logic' is a comprehensive overview suitable for advanced undergraduates and graduate students. The text covers numerous topics including propositional logic, first-order languages and logic, incompleteness, undecidability and indefinability, recursive functions, computability and Hilbert's tenth problem.

This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume 1 includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.

Proofs play a central role in advanced mathematics and theoretical computer science, yet many students struggle the first time they take a course in which proofs play a significant role. This bestselling text's third edition helps students transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs. Featuring over 150 new exercises and a new chapter on number theory, this new edition introduces students to the world of advanced mathematics through the mastery of proofs. The book begins with the basic concepts of logic and set theory to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for an analysis of techniques that can be used to build up complex proofs step by step, using detailed 'scratch work' sections to expose the machinery of proofs about numbers, sets, relations, and functions. Assuming no background beyond standard high school mathematics, this book will be useful to anyone interested in logic and proofs: computer scientists, philosophers, linguists, and, of course, mathematicians.

Kurt Goedel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Goedel's centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Goedel's writings are among the topics covered. Several chapters discuss his intellectual development and his relation to predecessors and contemporaries such as Hilbert, Carnap, and Herbrand. Others consider his views on justification in set theory in light of more recent work and contemporary echoes of his incompleteness theorems and the concept of constructible sets.

This book gives an introduction to theories of computability from a mathematically sophisticated point of view. It treats not only 'the' theory of computability (created by Alan Turing and others in the 1930s), but also a variety of other theories (of Boolean functions, automata and formal languages). These are addressed from the classical perspective of their generation by grammars and from the modern perspective as rational cones. The treatment of the classical theory of computable functions and relations takes the form of a tour through basic recursive function theory, starting with an axiomatic foundation and developing the essential methods in order to survey the most memorable results of the field. This authoritative account by one of the leading lights of the subject will prove exceptionally useful reading for graduate students, and researchers in theoretical computer science and mathematics.

Model theory deals with a branch of mathematical logic showing connections between a formal language and its interpretations or models. This is the first and most successful textbook in logical model theory. Extensively updated and corrected in 1990 to accommodate developments in model theoretic methods -- including classification theory and nonstandard analysis -- the third edition added entirely new sections, exercises, and references.
Each chapter introduces an individual method and discusses specific applications. Basic methods of constructing models include constants, elementary chains, Skolem functions, indiscernibles, ultraproducts, and special models. The final chapters present more advanced topics that feature a combination of several methods. This classic treatment covers most aspects of first-order model theory and many of its applications to algebra and set theory.

This Brief is an essay at the interface of philosophy and complexity research, trying to inspire the reader with new ideas and new conceptual developments of cellular automata. Going beyond the numerical experiments of Steven Wolfram, it is argued that cellular automata must be considered complex dynamical systems in their own right, requiring appropriate analytical models in order to find precise answers and predictions in the universe of cellular automata.

Indeed, eventually we have to ask whether cellular automata can be considered models of the real world and, conversely, whether there are limits to our modern approach of attributing the world, and the universe for that matter, essentially a digital reality.

Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a series of case studies, these axioms are examined to prove particular theorems in core mathematical areas such as algebra, analysis, and topology, focusing on the language of second-order arithmetic, the weakest language rich enough to express and develop the bulk of mathematics. In many cases, if a mathematical theorem is proved from appropriately weak set existence axioms, then the axioms will be logically equivalent to the theorem. Furthermore, only a few specific set existence axioms arise repeatedly in this context, which in turn correspond to classical foundational programs. This is the theme of reverse mathematics, which dominates the first half of the book. The second part focuses on models of these and other subsystems of second-order arithmetic.

This book presents methods and results from the theory of Zariski structures and discusses their applications in geometry as well as various other mathematical fields. Its logical approach helps us understand why algebraic geometry is so fundamental throughout mathematics and why the extension to noncommutative geometry, which has been forced by recent developments in quantum physics, is both natural and necessary. Beginning with a crash course in model theory, this book will suit not only model theorists but also readers with a more classical geometric background.

Lattice theory evolved as part of algebra in the nineteenth century through the work of Boole, Peirce and Schroder, and in the first half of the twentieth century through the work of Dedekind, Birkhoff, Ore, von Neumann, Mac Lane, Wilcox, Dilworth, and others. In Semimodular Lattices, Manfred Stern uses successive generalizations of distributive and modular lattices to outline the development of semimodular lattices from Boolean algebras. He focuses on the important theory of semimodularity, its many ramifications, and its applications in discrete mathematics, combinatorics, and algebra. The author surveys and analyzes Birkhoff's concept of semimodularity and the various related concepts in lattice theory, and he presents theoretical results as well as applications in discrete mathematics group theory and universal algebra. Special emphasis is given to the combinatorial aspects of finite semimodular lattices and to the connections between matroids and geometric lattices, antimatroids and locally distributive lattices. The book also deals with lattices that are "close" to semimodularity or can be combined with semimodularity, for example supersolvable, admissible, consistent, strong, and balanced lattices. Researchers in lattice theory, discrete mathematics, combinatorics, and algebra will find this book valuable.

Diagrams are widely used in reasoning about problems in physics, mathematics and logic, but have traditionally been considered to be only heuristic tools and not valid elements of mathematical proofs. This book challenges this prejudice against visualisation in the history of logic and mathematics and provides a formal foundation for work on natural reasoning in a visual mode. The author presents Venn diagrams as a formal system of representation equipped with its own syntax and semantics and specifies rules of transformation that make this system sound and complete. The system is then extended to the equivalent of a first-order monadic language. The soundness of these diagrammatic systems refutes the contention that graphical representation is misleading in reasoning. The validity of the transformation rules ensures that the correct application of the rules will not lead to fallacies. The book concludes with a discussion of some fundamental differences between graphical systems and linguistic systems. This groundbreaking work will have important influence on research in logic, philosophy and knowledge representation.

The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the study of the principles that govern the concepts of necessity and possibility; proof theory is, in part, the study of those that govern provability and consistency. In this book, George Boolos looks at the principles of provability from the standpoint of modal logic. In doing so, he provides two perspectives on a debate in modal logic that has persisted for at least thirty years between the followers of C. I. Lewis and W. V. O. Quine. The author employs semantic methods developed by Saul Kripke in his analysis of modal logical systems. The book will be of interest to advanced undergraduate and graduate students in logic, mathematics and philosophy, as well as to specialists in those fields.

Multiple-conclusion logic extends formal logic by allowing arguments to have a set of conclusions instead of a single one, the truth lying somewhere among the conclusions if all the premises are true. The extension opens up interesting possibilities based on the symmetry between premises and conclusions, and can also be used to throw fresh light on the conventional logic and its limitations. This is a sustained study of the subject and is certain to stimulate further research. Part I reworks the fundamental ideas of logic to take account of multiple conclusions, and investigates the connections between multiple - and single - conclusion calculi. Part II draws on graph theory to discuss the form and validity of arguments independently of particular logical systems. Part III contrasts the multiple - and the single - conclusion treatment of one and the same subject, using many-valued logic as the example; and Part IV shows how the methods of 'natural deduction' can be matched by direct proofs using multiple conclusions.

Fourier analysis has many scientific applications - in physics, number theory, combinatorics, signal processing, probability theory, statistics, option pricing, cryptography, acoustics, oceanography, optics and diffraction, geometry, and other areas. In signal processing and related fields, Fourier analysis is typically thought of as decomposing a signal into its component frequencies and their amplitudes.
This practical, applications-based professional handbook comprehensively covers the theory and applications of Fourier Analysis, spanning topics from engineering mathematics, signal processing and related multidimensional transform theory, and quantum physics to elementary deterministic finance and even the foundations of western music theory.
As a definitive text on Fourier Analysis, Handbook of Fourier Analysis and Its Applications is meant to replace several less comprehensive volumes on the subject, such as Processing of Multifimensional Signals by Alexandre Smirnov, Modern Sampling Theory by John J. Benedetto and Paulo J.S.G. Ferreira, Vector Space Projections by Henry Stark and Yongyi Yang and Fourier Analysis and Imaging by Ronald N. Bracewell. In addition to being primarily used as a professional handbook, it includes sample problems and their solutions at the end of each section and thus serves as a textbook for advanced undergraduate students and beginning graduate students in courses such as: Multidimensional Signals and Systems, Signal Analysis, Introduction to Shannon Sampling and Interpolation Theory, Random Variables and Stochastic Processes, and Signals and Linear Systems.

This book presents a comprehensive treatment of basic mathematical logic. The author's aim is to make exact the vague, intuitive notions of natural number, preciseness, and correctness, and to invent a method whereby these notions can be communicated to others and stored in the memory. He adopts a symbolic language in which ideas about natural numbers can be stated precisely and meaningfully, and then investigates the properties and limitations of this language. The treatment of mathematical concepts in the main body of the text is rigorous, but, a section of 'historical remarks' traces the evolution of the ideas presented in each chapter. Sources of the original accounts of these developments are listed in the bibliography.

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.

Combinatory logic and lambda-calculus, originally devised in the 1920's, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this long-awaited new version is thoroughly revised and offers a fully up-to-date account of the subject, with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.