eBook PDF Download Digital Library
Author: Alexander S. Kechris
Publisher: Cambridge University Press
Published: 2020-11-05
Total Pages: 317
ISBN-13: 1107182999
DOWNLOAD EBOOK →The final volume in a series of four books presenting the seminal papers from the Caltech-UCLA 'Cabal Seminar'.
Author: Akihiro Kanamori
Publisher: Springer Science & Business Media
Published: 2008-11-23
Total Pages: 555
ISBN-13: 3540888675
DOWNLOAD EBOOK →Over the years, this book has become a standard reference and guide in the set theory community. It provides a comprehensive account of the theory of large cardinals from its beginnings and some of the direct outgrowths leading to the frontiers of contemporary research, with open questions and speculations throughout.
Author: A. S. Kechris
Publisher:
Published: 2021
Total Pages:
ISBN-13: 9781316863534
DOWNLOAD EBOOK →Author: Paul B. Larson
Publisher: American Mathematical Society
Published: 2023-10-19
Total Pages: 182
ISBN-13: 1470472104
DOWNLOAD EBOOK →This is an expository account of work on strong forms of the Axiom of Determinacy (AD) by a group of set theorists in Southern California, in particular by W. Hugh Woodin. The first half of the book reviews necessary background material, including the Moschovakis Coding Lemma, the existence of strong partition cardinals, and the analysis of pointclasses in models of determinacy. The second half of the book introduces Woodin's axiom system $mathrm{AD}^{+}$ and presents his initial analysis of these axioms. These results include the consistency of $mathrm{AD}^{+}$ from the consistency of AD, and its local character and initial motivation. Proofs are given of fundamental results by Woodin, Martin, and Becker on the relationships among AD, $mathrm{AD}^{+}$, the Axiom of Real Determinacy, and the Suslin property. Many of these results are proved in print here for the first time. The book briefly discusses later work and fundamental questions which remain open. The study of models of $mathrm{AD}^{+}$ is an active area of contemporary research in set theory. The presentation is aimed at readers with a background in basic set theory, including forcing and ultrapowers. Some familiarity with classical results on regularity properties for sets of reals under AD is also expected.
Author: R. Daniel Mauldin
Publisher: Birkhäuser
Published: 2015-11-26
Total Pages: 322
ISBN-13: 3319228978
DOWNLOAD EBOOK →The second edition of this book updates and expands upon a historically important collection of mathematical problems first published in the United States by Birkhäuser in 1981. These problems serve as a record of the informal discussions held by a group of mathematicians at the Scottish Café in Lwów, Poland, between the two world wars. Many of them were leaders in the development of such areas as functional and real analysis, group theory, measure and set theory, probability, and topology. Finding solutions to the problems they proposed has been ongoing since World War II, with prizes offered in many cases to those who are successful. In the 35 years since the first edition published, several more problems have been fully or partially solved, but even today many still remain unsolved and several prizes remain unclaimed. In view of this, the editor has gathered new and updated commentaries on the original 193 problems. Some problems are solved for the first time in this edition. Included again in full are transcripts of lectures given by Stanislaw Ulam, Mark Kac, Antoni Zygmund, Paul Erdös, and Andrzej Granas that provide amazing insights into the mathematical environment of Lwów before World War II and the development of The Scottish Book. Also new in this edition are a brief history of the University of Wrocław’s New Scottish Book, created to revive the tradition of the original, and some selected problems from it. The Scottish Book offers a unique opportunity to communicate with the people and ideas of a time and place that had an enormous influence on the development of mathematics and try their hand on the unsolved problems. Anyone in the general mathematical community with an interest in the history of modern mathematics will find this to be an insightful and fascinating read.
Author: Mohua Banerjee
Publisher: Springer Nature
Published: 2023-02-22
Total Pages: 232
ISBN-13: 3031266897
DOWNLOAD EBOOK →Edited in collaboration with FoLLI, this book constitutes the refereed proceedings of the 10th Indian Conference on Logic and Its Applications, ICLA 2023, which was held in Indore, India, in March 2023. Besides 6 invited papers presented in this volume, there are 9 contributed full papers which were carefully reviewed and selected from 18 submissions. The volume covers a wide range of topics. These topics are related to modal and temporal logics, intuitionistic connexive and imperative logics, systems for reasoning with vagueness and rough concepts, topological quasi-Boolean logic and quasi-Boolean based rough set models, and first-order definability of path functions of graphs.
Author: Matthew Foreman
Publisher: Springer Science & Business Media
Published: 2009-12-10
Total Pages: 2200
ISBN-13: 1402057644
DOWNLOAD EBOOK →Numbers imitate space, which is of such a di?erent nature —Blaise Pascal It is fair to date the study of the foundation of mathematics back to the ancient Greeks. The urge to understand and systematize the mathematics of the time led Euclid to postulate axioms in an early attempt to put geometry on a ?rm footing. With roots in the Elements, the distinctive methodology of mathematics has become proof. Inevitably two questions arise: What are proofs? and What assumptions are proofs based on? The ?rst question, traditionally an internal question of the ?eld of logic, was also wrestled with in antiquity. Aristotle gave his famous syllogistic s- tems, and the Stoics had a nascent propositional logic. This study continued with ?ts and starts, through Boethius, the Arabs and the medieval logicians in Paris and London. The early germs of logic emerged in the context of philosophy and theology. The development of analytic geometry, as exempli?ed by Descartes, ill- tratedoneofthedi?cultiesinherentinfoundingmathematics. Itisclassically phrased as the question ofhow one reconciles the arithmetic with the geom- ric. Arenumbers onetypeofthingand geometricobjectsanother? Whatare the relationships between these two types of objects? How can they interact? Discovery of new types of mathematical objects, such as imaginary numbers and, much later, formal objects such as free groups and formal power series make the problem of ?nding a common playing ?eld for all of mathematics importunate. Several pressures made foundational issues urgent in the 19th century.
Author: Ralf Schindler
Publisher: Springer
Published: 2014-05-22
Total Pages: 332
ISBN-13: 3319067257
DOWNLOAD EBOOK →This textbook gives an introduction to axiomatic set theory and examines the prominent questions that are relevant in current research in a manner that is accessible to students. Its main theme is the interplay of large cardinals, inner models, forcing and descriptive set theory. The following topics are covered: • Forcing and constructability • The Solovay-Shelah Theorem i.e. the equiconsistency of ‘every set of reals is Lebesgue measurable’ with one inaccessible cardinal • Fine structure theory and a modern approach to sharps • Jensen’s Covering Lemma • The equivalence of analytic determinacy with sharps • The theory of extenders and iteration trees • A proof of projective determinacy from Woodin cardinals. Set Theory requires only a basic knowledge of mathematical logic and will be suitable for advanced students and researchers.
Author: A. G. Hamilton
Publisher: Cambridge University Press
Published: 1982
Total Pages: 272
ISBN-13: 9780521287616
DOWNLOAD EBOOK →Following the success of Logic for Mathematicians, Dr Hamilton has written a text for mathematicians and students of mathematics that contains a description and discussion of the fundamental conceptual and formal apparatus upon which modern pure mathematics relies. The author's intention is to remove some of the mystery that surrounds the foundations of mathematics. He emphasises the intuitive basis of mathematics; the basic notions are numbers and sets and they are considered both informally and formally. The role of axiom systems is part of the discussion but their limitations are pointed out. Formal set theory has its place in the book but Dr Hamilton recognises that this is a part of mathematics and not the basis on which it rests. Throughout, the abstract ideas are liberally illustrated by examples so this account should be well-suited, both specifically as a course text and, more broadly, as background reading. The reader is presumed to have some mathematical experience but no knowledge of mathematical logic is required.
