In fall 2000, the Notre Dame logic community hosted Greg Hjorth, Rodney G. Downey, Zoe Chatzidakis, and Paola D'Aquino as visiting lecturers. Each of them presented a month-long series of expository lectures at the graduate lecture. The articles in this volume are refinements of these excellent lectures. Hjorth's article provides an introduction to current work on Borel and equivalent classes using countable model theory as the motivating example. Chatzidakis's article is an introduction to the model theory of difference fields: a field with a distinguished automorphism. Results from the model theory of difference fields have been recently been used by Hrushovski and other model theorist to show various results in number theory. Downey's contribution provides an introduction to the recent work by him and many others on the relationship between randomness and computably enumerable reals. Paola D'Aquino studies weak models of Peano Arithmetic (in particular, models where induction is restricted to bounded formulas) focusing on number theoretic results.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the fifth publication in the Perspectives in Logic series, studies set-theoretic independence results (independence from the usual set-theoretic ZFC axioms), in particular for problems on the continuum. The author gives a complete presentation of the theory of proper forcing and its relatives, starting from the beginning and avoiding the metamathematical considerations. No prior knowledge of forcing is required. The book will enable a researcher interested in an independence result of the appropriate kind to have much of the work done for them, thereby allowing them to quote general results.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the second publication in the Lecture Notes in Logic series, is the proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in July 1990. It contains eighteen papers by leading researchers, covering all fields of mathematical logic from the philosophy of mathematics, through model theory, proof theory, recursion theory, and set theory, to the connections of logic to computer science. The articles published here are still widely cited and continue to provide ideas for ongoing research projects.

Fuzzy Sets in Decision Analysis, Operations Research and Statistics includes chapters on fuzzy preference modeling, multiple criteria analysis, ranking and sorting methods, group decision-making and fuzzy game theory. It also presents optimization techniques such as fuzzy linear and non-linear programming, applications to graph problems and fuzzy combinatorial methods such as fuzzy dynamic programming. In addition, the book also accounts for advances in fuzzy data analysis, fuzzy statistics, and applications to reliability analysis. These topics are covered within four parts: Decision Making, Mathematical Programming, Statistics and Data Analysis, and Reliability, Maintenance and Replacement. The scope and content of the book has resulted from multiple interactions between the editor of the volume, the series editors, the series advisory board, and experts in each chapter area. Each chapter was written by a well-known researcher on the topic and reviewed by other experts in the area. These expert reviewers sometimes became co-authors because of the extent of their contribution to the chapter. As a result, twenty-five authors from twelve countries and four continents were involved in the creation of the 13 chapters, which enhances the international character of the project and gives an idea of how carefully the Handbook has been developed.

This collection of articles, originating from a short course held at the University of Manchester, explores the ideas behind Pila's proof of the Andre-Oort conjecture for products of modular curves. The basic strategy has three main ingredients: the Pila-Wilkie theorem, bounds on Galois orbits, and functional transcendence results. All of these topics are covered in this volume, making it ideal for researchers wishing to keep up to date with the latest developments in the field. Original papers are combined with background articles in both the number theoretic and model theoretic aspects of the subject. These include Martin Orr's survey of abelian varieties, Christopher Daw's introduction to Shimura varieties, and Jacob Tsimerman's proof via o-minimality of Ax's theorem on the functional case of Schanuel's conjecture.

This monograph, for the first time in book form, considers the large structure of metric spaces as captured by bornologies: families of subsets that contain the singletons, that are stable under finite unions, and that are stable under taking subsets of its members. The largest bornology is the power set of the space and the smallest is the bornology of its finite subsets. Between these lie (among others) the metrically bounded subsets, the relatively compact subsets, the totally bounded subsets, and the Bourbaki bounded subsets. Classes of functions are intimately connected to various bornologies; e.g., (1) a function is locally Lipschitz if and only if its restriction to each relatively compact subset is Lipschitz; (2) a subset is Bourbaki bounded if and only if each uniformly continuous function on the space is bounded when restricted to the subset. A great deal of attention is given to the variational notions of strong uniform continuity and strong uniform convergence with respect to the members of a bornology, leading to the bornology of UC-subsets and UC-spaces. Spaces on which its uniformly continuous real-valued functions are stable under pointwise product are characterized in terms of the coincidence of the Bourbaki bounded subsets with a usually larger bornology. Special attention is given to Lipschitz and locally Lipschitz functions. For example, uniformly dense subclasses of locally Lipschitz functions within the real-valued continuous functions, Cauchy continuous functions, and uniformly continuous functions are presented. It is shown very generally that a function between metric spaces has a particular metric property if and only if whenever it is followed in a composition by a real-valued Lipschitz function, the composition has the property. Bornological convergence of nets of closed subsets, having Attouch-Wets convergence as a prototype, is considered in detail. Topologies of uniform convergence for continuous linear operators between normed spaces is explained in terms of the bornological convergence of their graphs. Finally, the idea of a bornological extension of a topological space is presented, and all regular extensions can be so realized.

Model theory is the meta-mathematical study of the concept of mathematical truth. After Afred Tarski coined the term Theory of Models in the early 1950's, it rapidly became one of the central most active branches of mathematical logic. In the last few decades, ideas that originated within model theory have provided powerful tools to solve problems in a variety of areas of classical mathematics, including algebra, combinatorics, geometry, number theory, and Banach space theory and operator theory. The two volumes of Beyond First Order Model Theory present the reader with a fairly comprehensive vista, rich in width and depth, of some of the most active areas of contemporary research in model theory beyond the realm of the classical first-order viewpoint. Each chapter is intended to serve both as an introduction to a current direction in model theory and as a presentation of results that are not available elsewhere. All the articles are written so that they can be studied independently of one another. This second volume contains introductions to real-valued logic and applications, abstract elementary classes and applications, interconnections between model theory and function spaces, nonstucture theory, and model theory of second-order logic. Features A coherent introduction to current trends in model theory. Contains articles by some of the most influential logicians of the last hundred years. No other publication brings these distinguished authors together. Suitable as a reference for advanced undergraduate, postgraduates, and researchers. Material presented in the book (e.g, abstract elementary classes, first-order logics with dependent sorts, and applications of infinitary logics in set theory) is not easily accessible in the current literature. The various chapters in the book can be studied independently.

Suitable for anyone who enjoys logic puzzles Could be used as a companion book for a course on mathematical proof. The puzzles feature the same issues of problem-solving and proof-writing. For anyone who enjoys logical puzzles. For anyone interested in legal reasoning. For anyone who loves the game of baseball.

Suitable for anyone who enjoys logic puzzles Could be used as a companion book for a course on mathematical proof. The puzzles feature the same issues of problem-solving and proof-writing. For anyone who enjoys logical puzzles. For anyone interested in legal reasoning. For anyone who loves the game of baseball.

* Written by an interdisciplinary group of specialists from the arts, humanities and sciences at Oxford University * Suitable for a wide non-academic readership, and will appeal to anyone with an interest in mathematics, science and philosophy.

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.

A more accessible approach than most competitor texts, which move into advanced, research-level topics too quickly for today's students. Part I is comprehensive in providing all necessary mathematical underpinning, particularly for those who need more opportunity to develop their mathematical competence. More confident students may move directly to Part II and dip back into Part I as a reference. Ideal for use as an introductory text for courses in quantum computing. Fully worked examples illustrate the application of mathematical techniques. Exercises throughout develop concepts and enhance understanding. End-of-chapter exercises offer more practice in developing a secure foundation.

This English translation of the author's original work has been thoroughly revised, expanded and updated.

The book covers logical systems known as "type-free" or "self-referential." These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are rich theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics; (ii) these theories provide a new outlook on classical topics, such as inductive definitions and predicative mathematics; (iii) they are particularly promising with regard to applications.

Research arising from paradoxes has moved progressively closer to the mainstream of mathematical logic and has become much more prominent in the last twenty years. A number of significant developments, techniques and results have been discovered.

Academics, students and researchers will find that the book contains a thorough overview of all relevant research in this field.

Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists.

During the past 25 years, set theory has developed in several interesting directions. The most outstanding results cover the application of sophisticated techniques to problems in analysis, topology, infinitary combinatorics and other areas of mathematics. This book contains a selection of contributions, some of which are expository in nature, embracing various aspects of the latest developments. Amongst topics treated are forcing axioms and their applications, combinatorial principles used to construct models, and a variety of other set theoretical tools including inner models, partitions and trees. Audience: This book will be of interest to graduate students and researchers in foundational problems of mathematics.

This unique and contemporary text not only offers an introduction to proofs with a view towards algebra and analysis, a standard fare for a transition course, but also presents practical skills for upper-level mathematics coursework and exposes undergraduate students to the context and culture of contemporary mathematics. The authors implement the practice recommended by the Committee on the Undergraduate Program in Mathematics (CUPM) curriculum guide, that a modern mathematics program should include cognitive goals and offer a broad perspective of the discipline. Part I offers: An introduction to logic and set theory. Proof methods as a vehicle leading to topics useful for analysis, topology, algebra, and probability. Many illustrated examples, often drawing on what students already know, that minimize conversation about "doing proofs." An appendix that provides an annotated rubric with feedback codes for assessing proof writing. Part II presents the context and culture aspects of the transition experience, including: 21st century mathematics, including the current mathematical culture, vocations, and careers. History and philosophical issues in mathematics. Approaching, reading, and learning from journal articles and other primary sources. Mathematical writing and typesetting in LaTeX. Together, these Parts provide a complete introduction to modern mathematics, both in content and practice. Table of Contents Part I - Introduction to Proofs Logic and Sets Arguments and Proofs Functions Properties of the Integers Counting and Combinatorial Arguments Relations Part II - Culture, History, Reading, and Writing Mathematical Culture, Vocation, and Careers History and Philosophy of Mathematics Reading and Researching Mathematics Writing and Presenting Mathematics Appendix A. Rubric for Assessing Proofs Appendix B. Index of Theorems and Definitions from Calculus and Linear Algebra Bibliography Index Biographies Danilo R. Diedrichs is an Associate Professor of Mathematics at Wheaton College in Illinois. Raised and educated in Switzerland, he holds a PhD in applied mathematical and computational sciences from the University of Iowa, as well as a master's degree in civil engineering from the Ecole Polytechnique Federale in Lausanne, Switzerland. His research interests are in dynamical systems modeling applied to biology, ecology, and epidemiology. Stephen Lovett is a Professor of Mathematics at Wheaton College in Illinois. He holds a PhD in representation theory from Northeastern University. His other books include Abstract Algebra: Structures and Applications (2015), Differential Geometry of Curves and Surfaces, with Tom Banchoff (2016), and Differential Geometry of Manifolds (2019).

This book provides an introduction to mathematical logic and the foundations of mathematics. It will help prepare students for advanced study in set theory and mathematical logic as well as other areas of mathematics, such as analysis, topology, and algebra. The presentation of finite state and Turing machines leads to the Halting Problem and Goedel's Incompleteness Theorem, which have broad academic interest, particularly in computer science and philosophy.

Architecture of Mathematics describes the logical structure of Mathematics from its foundations to its real-world applications. It describes the many interweaving relationships between different areas of mathematics and its practical applications, and as such provides unique reading for professional mathematicians and nonmathematicians alike. This book can be a very important resource both for the teaching of mathematics and as a means to outline the research links between different subjects within and beyond the subject. Features All notions and properties are introduced logically and sequentially, to help the reader gradually build understanding. Focusses on illustrative examples that explain the meaning of mathematical objects and their properties. Suitable as a supplementary resource for teaching undergraduate mathematics, and as an aid to interdisciplinary research. Forming the reader's understanding of Mathematics as a unified science, the book helps to increase his general mathematical culture.

Between the two world wars, Stanislaw Lesniewski (1886-1939), created the famous and important system of foundations of mathematics that comprises three deductive theories: Protothetic, Ontology, and Mereology. His research started in 1914 with studies on the general theory of sets (later named `Mereology'). Ontology followed between 1919 and 1921, and was the next step towards an integrated system. In order to combine these two systematically he constructed Protothetic - the system of `first principles'. Together they amount to what Z. Jordan called `... most thorough, original, and philosophically significant attempt to provide a logically secure foundation for the whole of mathematics'. The volume collects many of the most significant commentaries on, and contributions to, Protothetic. A Protothetic Bibliography is included.

This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. 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 lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, applications of compactness (including nonstandard analysis), computability and its relation to the completeness phenonmenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen.

A comprehensive work in finite-value systems that covers the latest achievements using the semi-tensor product method, on various kinds of finite-value systems. These results occupy the highest position in the analysis and control of this field. It not only covers all aspects of research in finite-value systems, but also presents the mathematical derivation for each conclusion in depth. The book contains examples to provide a better understanding of the practical applications of finite-value systems. It will serve as a textbook for graduate students of Cybernetics, Mathematical, and Biology, and a reference for readers interested in the theory of finite-value systems.

This book, Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity, presents new techniques with functorial models to address important areas on pure mathematics and computability theory from the algebraic viewpoint. The reader is first introduced to categories and functorial models, with Kleene algebra examples for languages. Functorial models for Peano arithmetic are described toward important computational complexity areas on a Hilbert program, leading to computability with initial models. Infinite language categories are also introduced to explain descriptive complexity with recursive computability with admissible sets and urelements. Algebraic and categorical realizability is staged on several levels, addressing new computability questions with omitting types realizably. Further applications to computing with ultrafilters on sets and Turing degree computability are examined. Functorial models computability is presented with algebraic trees realizing intuitionistic types of models. New homotopy techniques are applied to Marin Lof types of computations with model categories. Functorial computability, induction, and recursion are examined in view of the above, presenting new computability techniques with monad transformations and projective sets. This informative volume will give readers a complete new feel for models, computability, recursion sets, complexity, and realizability. This book pulls together functorial thoughts, models, computability, sets, recursion, arithmetic hierarchy, filters, with real tree computing areas, presented in a very intuitive manner for university teaching, with exercises for every chapter. The book will also prove valuable for faculty in computer science and mathematics.

This book is an introduction to a functorial model theory based on infinitary language categories. The author introduces the properties and foundation of these categories before developing a model theory for functors starting with a countable fragment of an infinitary language. He also presents a new technique for generating generic models with categories by inventing infinite language categories and functorial model theory. In addition, the book covers string models, limit models, and functorial models.

Algebra & Geometry: An Introduction to University Mathematics, Second Edition provides a bridge between high school and undergraduate mathematics courses on algebra and geometry. The author shows students how mathematics is more than a collection of methods by presenting important ideas and their historical origins throughout the text. He incorporates a hands-on approach to proofs and connects algebra and geometry to various applications. The text focuses on linear equations, polynomial equations, and quadratic forms. The first few chapters cover foundational topics, including the importance of proofs and a discussion of the properties commonly encountered when studying algebra. The remaining chapters form the mathematical core of the book. These chapters explain the solutions of different kinds of algebraic equations, the nature of the solutions, and the interplay between geometry and algebra. New to the second edition Several updated chapters, plus an all-new chapter discussing the construction of the real numbers by means of approximations by rational numbers Includes fifteen short 'essays' that are accessible to undergraduate readers, but which direct interested students to more advanced developments of the material Expanded references Contains chapter exercises with solutions provided online at www.routledge.com/9780367563035