This LNCS volume is part of FoLLI book serie and contains the papers presented at the 6th International Workshop on Logic, Rationality and Interaction/ (LORI-VI), held in September 2017 in Sapporo, Japan. The focus of the workshop is on following topics: Agency, Argumentation and Agreement, Belief Revision and Belief Merging, Belief Representation, Cooperation, Decision making and Planning, Natural Language, Philosophy and Philosophical Logic, and Strategic Reasoning.

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. In this volume, the eleventh publication in the Perspectives in Logic series, Manuel Lerman presents a systematic study of the interaction between local and global degree theory. He introduces the reader to the fascinating combinatorial methods of recursion theory while simultaneously showing how to use these methods to prove global theorems about degrees. The intended reader will have already taken a graduate-level course in recursion theory, but this book will also be accessible to those with some background in mathematical logic and a feeling for computability. It will prove a key reference to enable readers to easily locate facts about degrees and it will direct them to further 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. In this volume, the sixth publication in the Perspectives in Logic series, Keith J. Devlin gives a comprehensive account of the theory of constructible sets at an advanced level. The book provides complete coverage of the theory itself, rather than the many and diverse applications of constructibility theory, although applications are used to motivate and illustrate the theory. The book is divided into two parts: Part I (Elementary Theory) deals with the classical definition of the L -hierarchy of constructible sets and may be used as the basis of a graduate course on constructibility theory. and Part II (Advanced Theory) deals with the J -hierarchy and the Jensen 'fine-structure theory'.

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. In this volume, the tenth publication in the Lecture Notes in Logic series, Per Lindstroem presents some of the main topics and results in general metamathematics. In addition to standard results of Goedel et al. on incompleteness, (non-)finite axiomatizability, and interpretability, this book contains a thorough treatment of partial conservativity and degrees of interpretability. It comes complete with exercises, and will be useful as a textbook for graduate students with a background in logic, as well as a valuable resource for researchers.

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. Large cardinal hypotheses play a central role in modern set theory. One important way to understand such hypotheses is to construct concrete, minimal universes, or 'core models', satisfying them. Since Goedel's pioneering work on the universe of constructible sets, several larger core models satisfying stronger hypotheses have been constructed, and these have proved quite useful. In this volume, the eighth publication in the Lecture Notes in Logic series, Steel extends this theory so that it can produce core models having Woodin cardinals, a large cardinal hypothesis that is the focus of much current research. The book is intended for advanced graduate students and researchers in set theory.

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. Admissible set theory is a major source of interaction between model theory, recursion theory and set theory, and plays an important role in definability theory. In this volume, the seventh publication in the Perspectives in Logic series, Jon Barwise presents the basic facts about admissible sets and admissible ordinals in a way that makes them accessible to logic students and specialists alike. It fills the artificial gap between model theory and recursion theory and covers everything the logician should know about admissible sets.

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 third publication in the Perspectives in Logic series, is a much-needed monograph on the metamathematics of first-order arithmetic. The authors pay particular attention to subsystems (fragments) of Peano arithmetic and give the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness. The reader is only assumed to know the basics of mathematical logic, which are reviewed in the preliminaries. Part I develops parts of mathematics and logic in various fragments. Part II is devoted to incompleteness. Finally, Part III studies systems that have the induction schema restricted to bounded formulas (bounded arithmetic).

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. In this volume, the first publication in the Perspectives in Logic series, Pour-El and Richards present the first graduate-level treatment of computable analysis within the tradition of classical mathematical reasoning. The book focuses on the computability or noncomputability of standard processes in analysis and physics. Topics include classical analysis, Hilbert and Banach spaces, bounded and unbounded linear operators, eigenvalues, eigenvectors, and equations of mathematical physics. The work is self-contained, and although it is intended primarily for logicians and analysts, it should also be of interest to researchers and graduate students in physics and computer science.

This book is a useful, attractive introduction to basic counting techniques for upper secondary and junior college students, as well as teachers. Younger students and lay people who appreciate mathematics, not to mention avid puzzle solvers, will also find the book interesting. The various problems and applications here are good for building up proficiency in counting. They are also useful for honing basic skills and techniques in general problem solving. Many of the problems avoid routine and the diligent reader will often discover more than one way of solving a particular problem, which is indeed an important awareness in problem solving. The book thus helps to give students an early start to learning problem-solving heuristics and thinking skills.

This English edition of Yuri I. Manin's well-received lecture notes provides a concise but extremely lucid exposition of the basics of algebraic geometry and sheaf theory. The lectures were originally held in Moscow in the late 1960s, and the corresponding preprints were widely circulated among Russian mathematicians. This book will be of interest to students majoring in algebraic geometry and theoretical physics (high energy physics, solid body, astrophysics) as well as to researchers and scholars in these areas. "This is an excellent introduction to the basics of Grothendieck's theory of schemes; the very best first reading about the subject that I am aware of. I would heartily recommend every grad student who wants to study algebraic geometry to read it prior to reading more advanced textbooks."- Alexander Beilinson

Through its engaging and unusual problems, this book demonstrates methods of reasoning necessary for learning number theory. Every technique is followed by problems (as well as detailed hints and solutions) that apply theorems immediately, so readers can solve a variety of abstract problems in a systematic, creative manner. New solutions often require the ingenious use of earlier mathematical concepts - not the memorization of formulas and facts. Questions also often permit experimental numeric validation or visual interpretation to encourage the combined use of deductive and intuitive thinking. The first chapter starts with simple topics like even and odd numbers, divisibility, and prime numbers and helps the reader to solve quite complex, Olympiad-type problems right away. It also covers properties of the perfect, amicable, and figurate numbers and introduces congruence. The next chapter begins with the Euclidean algorithm, explores the representations of integer numbers in different bases, and examines continued fractions, quadratic irrationalities, and the Lagrange Theorem. The last section of Chapter Two is an exploration of different methods of proofs. The third chapter is dedicated to solving Diophantine linear and nonlinear equations and includes different methods of solving Fermat's (Pell's) equations. It also covers Fermat's factorization techniques and methods of solving challenging problems involving exponent and factorials. Chapter Four reviews the Pythagorean triple and quadruple and emphasizes their connection with geometry, trigonometry, algebraic geometry, and stereographic projection. A special case of Waring's problem as a representation of a number by the sum of the squares or cubes of other numbers is covered, as well as quadratic residuals, Legendre and Jacobi symbols, and interesting word problems related to the properties of numbers. Appendices provide a historic overview of number theory and its main developments from the ancient cultures in Greece, Babylon, and Egypt to the modern day. Drawing from cases collected by an accomplished female mathematician, Methods in Solving Number Theory Problems is designed as a self-study guide or supplementary textbook for a one-semester course in introductory number theory. It can also be used to prepare for mathematical Olympiads. Elementary algebra, arithmetic and some calculus knowledge are the only prerequisites. Number theory gives precise proofs and theorems of an irreproachable rigor and sharpens analytical thinking, which makes this book perfect for anyone looking to build their mathematical confidence.

Providing a timely description of the present state of the art of moduli spaces of curves and their geometry, this volume is written in a way which will make it extremely useful both for young people who want to approach this important field, and also for established researchers, who will find references, problems, original expositions, new viewpoints, etc. The book collects the lecture notes of a number of leading algebraic geometers and in particular specialists in the field of moduli spaces of curves and their geometry. This is an important subject in algebraic geometry and complex analysis which has seen spectacular developments in recent decades, with important applications to other parts of mathematics such as birational geometry and enumerative geometry, and to other sciences, including physics. The themes treated are classical but with a constant look to modern developments (see Cascini, Debarre, Farkas, and Sernesi's contributions), and include very new material, such as Bridgeland stability (see Macri's lecture notes) and tropical geometry (see Chan's lecture notes).

Floating-point arithmetic is the most widely used way of implementing real-number arithmetic on modern computers. However, making such an arithmetic reliable and portable, yet fast, is a very difficult task. As a result, floating-point arithmetic is far from being exploited to its full potential. This handbook aims to provide a complete overview of modern floating-point arithmetic. So that the techniques presented can be put directly into practice in actual coding or design, they are illustrated, whenever possible, by a corresponding program. The handbook is designed for programmers of numerical applications, compiler designers, programmers of floating-point algorithms, designers of arithmetic operators, and more generally, students and researchers in numerical analysis who wish to better understand a tool used in their daily work and research.

The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combines ideas from the theory of dynamical systems and from the theory of state-based computation. Although still in its infancy, it is an active area of research that generates wide interest. Written by one of the founders of the field, this book acts as the first mature and accessible introduction to coalgebra. It provides clear mathematical explanations, with many examples and exercises involving deterministic and non-deterministic automata, transition systems, streams, Markov chains and weighted automata. The theory is expressed in the language of category theory, which provides the right abstraction to make the similarity and duality between algebra and coalgebra explicit, and which the reader is introduced to in a hands-on manner. The book will be useful to mathematicians and (theoretical) computer scientists and will also be of interest to mathematical physicists, biologists and economists.

Michael Holzhauser discusses generalizations of well-known network flow and packing problems by additional or modified side constraints. By exploiting the inherent connection between the two problem classes, the author investigates the complexity and approximability of several novel network flow and packing problems and presents combinatorial solution and approximation algorithms.

Originally published in 1948, this book was written to provide students with an accessible guide to various elements of mathematics. The text was created for individual working rather than group learning situations. Numerous exercises are included. This book will be of value to anyone with an interest in mathematics and the history of education.

Fourier analysis aims to decompose functions into a superposition of simple trigonometric functions, whose special features can be exploited to isolate specific components into manageable clusters before reassembling the pieces. This two-volume text presents a largely self-contained treatment, comprising not just the major theoretical aspects (Part I) but also exploring links to other areas of mathematics and applications to science and technology (Part II). Following the historical and conceptual genesis, this book (Part I) provides overviews of basic measure theory and functional analysis, with added insight into complex analysis and the theory of distributions. The material is intended for both beginning and advanced graduate students with a thorough knowledge of advanced calculus and linear algebra. Historical notes are provided and topics are illustrated at every stage by examples and exercises, with separate hints and solutions, thus making the exposition useful both as a course textbook and for individual study.

This volume covers a wide range of topics that fall under the 'philosophy of quantifiers', a philosophy that spans across multiple areas such as logic, metaphysics, epistemology and even the history of philosophy. It discusses the import of quantifier variance in the model theory of mathematics. It advances an argument for the uniqueness of quantifier meaning in terms of Evert Beth’s notion of implicit definition and clarifies the oldest explicit formulation of quantifier variance: the one proposed by Rudolf Carnap. The volume further examines what it means that a quantifier can have multiple meanings and addresses how existential vagueness can induce vagueness in our modal notions. Finally, the book explores the role played by quantifiers with respect to various kinds of semantic paradoxes, the logicality issue, ontological commitment, and the behavior of quantifiers in intensional contexts.

This book explores the limits of our knowledge. The author shows how uncertainty and indefiniteness not only define the borders confining our understanding, but how they feed into the process of discovery and help to push back these borders. Starting with physics the author collects examples from economics, neurophysiology, history, ecology and philosophy. The first part shows how information helps to reduce indefiniteness. Understanding rests on our ability to find the right context, in which we localize a problem as a point in a network of connections. New elements must be combined with the old parts of the existing complex knowledge system, in order to profit maximally from the information. An attempt is made to quantify the value of information by its ability to reduce indefiniteness. The second part explains how to handle indefiniteness with methods from fuzzy logic, decision theory, hermeneutics and semiotics. It is not sufficient that the new element appears in an experiment, one also has to find a theoretical reason for its existence. Indefiniteness becomes an engine of science, which gives rise to new ideas.

This monograph on the homotopy theory of topologized diagrams of spaces and spectra gives an expert account of a subject at the foundation of motivic homotopy theory and the theory of topological modular forms in stable homotopy theory. Beginning with an introduction to the homotopy theory of simplicial sets and topos theory, the book covers core topics such as the unstable homotopy theory of simplicial presheaves and sheaves, localized theories, cocycles, descent theory, non-abelian cohomology, stacks, and local stable homotopy theory. A detailed treatment of the formalism of the subject is interwoven with explanations of the motivation, development, and nuances of ideas and results. The coherence of the abstract theory is elucidated through the use of widely applicable tools, such as Barr's theorem on Boolean localization, model structures on the category of simplicial presheaves on a site, and cocycle categories. A wealth of concrete examples convey the vitality and importance of the subject in topology, number theory, algebraic geometry, and algebraic K-theory. Assuming basic knowledge of algebraic geometry and homotopy theory, Local Homotopy Theory will appeal to researchers and advanced graduate students seeking to understand and advance the applications of homotopy theory in multiple areas of mathematics and the mathematical sciences.

Prime numbers are beautiful, mysterious, and beguiling mathematical objects. The mathematician Bernhard Riemann made a celebrated conjecture about primes in 1859, the so-called Riemann hypothesis, which remains one of the most important unsolved problems in mathematics. Through the deep insights of the authors, this book introduces primes and explains the Riemann hypothesis. Students with a minimal mathematical background and scholars alike will enjoy this comprehensive discussion of primes. The first part of the book will inspire the curiosity of a general reader with an accessible explanation of the key ideas. The exposition of these ideas is generously illuminated by computational graphics that exhibit the key concepts and phenomena in enticing detail. Readers with more mathematical experience will then go deeper into the structure of primes and see how the Riemann hypothesis relates to Fourier analysis using the vocabulary of spectra. Readers with a strong mathematical background will be able to connect these ideas to historical formulations of the Riemann hypothesis.

This thesis is devoted to the study of the Bohman-Frieze-Wormald percolation model, which exhibits a discontinuous transition at the critical threshold, while the phase transitions in random networks are originally considered to be robust continuous phase transitions. The underlying mechanism that leads to the discontinuous transition in this model is carefully analyzed and many interesting critical behaviors, including multiple giant components, multiple phase transitions, and unstable giant components are revealed. These findings should also be valuable with regard to applications in other disciplines such as physics, chemistry and biology.

This book exclusively deals with the study of almost convergence and statistical convergence of double sequences. The notion of “almost convergence� is perhaps the most useful notion in order to obtain a weak limit of a bounded non-convergent sequence. There is another notion of convergence known as the “statistical convergence�, introduced by H. Fast, which is an extension of the usual concept of sequential limits. This concept arises as an example of “convergence in density� which is also studied as a summability method. Even unbounded sequences can be dealt with by using this method. The book also discusses the applications of these non-matrix methods in approximation theory. Written in a self-contained style, the book discusses in detail the methods of almost convergence and statistical convergence for double sequences along with applications and suitable examples. The last chapter is devoted to the study convergence of double series and describes various convergence tests analogous to those of single sequences. In addition to applications in approximation theory, the results are expected to find application in many other areas of pure and applied mathematics such as mathematical analysis, probability, fixed point theory and statistics.

This work is a continuation of the first volume published by Springer in 2011, entitled "A Cp-Theory Problem Book: Topological and Function Spaces." The first volume provided an introduction from scratch to Cp-theory and general topology, preparing the reader for a professional understanding of Cp-theory in the last section of its main text. This present volume covers a wide variety of topics in Cp-theory and general topology at the professional level bringing the reader to the frontiers of modern research. The volume contains 500 problems and exercises with complete solutions. It can also be used as an introduction to advanced set theory and descriptive set theory. The book presents diverse topics of the theory of function spaces with the topology of pointwise convergence, or Cp-theory which exists at the intersection of topological algebra, functional analysis and general topology. Cp-theory has an important role in the classification and unification of heterogeneous results from these areas of research. Moreover, this book gives a reasonably complete coverage of Cp-theory through 500 carefully selected problems and exercises. By systematically introducing each of the major topics of Cp-theory the book is intended to bring a dedicated reader from basic topological principles to the frontiers of modern research.

This volume celebrates the work of Petr Hájek on mathematical fuzzy logic and presents how his efforts have influenced prominent logicians who are continuing his work. The book opens with a discussion on Hájek's contribution to mathematical fuzzy logic and with a scientific biography of him, progresses to include two articles with a foundation flavour, that demonstrate some important aspects of Hájek's production, namely, a paper on the development of fuzzy sets and another paper on some fuzzy versions of set theory and arithmetic. Articles in the volume also focus on the treatment of vagueness, building connections between Hájek's favorite fuzzy logic and linguistic models of vagueness. Other articles introduce alternative notions of consequence relation, namely, the preservation of truth degrees, which is discussed in a general context, and the differential semantics. For the latter, a surprisingly strong standard completeness theorem is proved. Another contribution also looks at two principles valid in classical logic and characterize the three main t-norm logics in terms of these principles. Other articles, with an algebraic flavour, offer a summary of the applications of lattice ordered-groups to many-valued logic and to quantum logic, as well as an investigation of prelinearity in varieties of pointed lattice ordered algebras that satisfy a weak form of distributivity and have a very weak implication. The last part of the volume contains an article on possibilistic modal logics defined over MTL chains, a topic that Hájek discussed in his celebrated work, Metamathematics of Fuzzy Logic, and another one where the authors, besides offering unexpected premises such as proposing to call Hájek's basic fuzzy logic HL, instead of BL, propose a very weak system, called SL as a candidate for the role of the really basic fuzzy logic. The paper also provides a generalization of the prelinearity axiom, which was investigated by Hájek in the context of fuzzy logic.