Foundations of Finitely Supported Structures PDF Download

Author: Andrei Alexandru
Publisher: Springer Nature
ISBN: 3030529622
Category : Computers
Languages : en
Pages : 204

View

Book Description
This book presents a set theoretical development for the foundations of the theory of atomic and finitely supported structures. It analyzes whether a classical result can be adequately reformulated by replacing a 'non-atomic structure' with an 'atomic, finitely supported structure’. It also presents many specific properties, such as finiteness, cardinality, connectivity, fixed point, order and uniformity, of finitely supported atomic structures that do not have non-atomic correspondents. In the framework of finitely supported sets, the authors analyze the consistency of various forms of choice and related results. They introduce and study the notion of 'cardinality' by presenting various order and arithmetic properties. Finitely supported partially ordered sets, chain complete sets, lattices and Galois connections are studied, and new fixed point, calculability and approximation properties are presented. In this framework, the authors study the finitely supported L-fuzzy subsets of a finitely supported set and the finitely supported fuzzy subgroups of a finitely supported group. Several pairwise non-equivalent definitions for the notion of 'infinity' (Dedekind infinity, Mostowski infinity, Kuratowski infinity, Tarski infinity, ascending infinity) are introduced, compared and studied in the new framework. Relevant examples of sets that satisfy some forms of infinity while not satisfying others are provided. Uniformly supported sets are analyzed, and certain surprising properties are presented. Finally, some variations of the finite support requirement are discussed. The book will be of value to researchers in the foundations of set theory, algebra and logic.

Author: Andrei Alexandru
Publisher: Springer
ISBN: 3319422820
Category : Computers
Languages : en
Pages : 188

View

Book Description
In this book the authors present an alternative set theory dealing with a more relaxed notion of infiniteness, called finitely supported mathematics (FSM). It has strong connections to the Fraenkel-Mostowski (FM) permutative model of Zermelo-Fraenkel (ZF) set theory with atoms and to the theory of (generalized) nominal sets. More exactly, FSM is ZF mathematics rephrased in terms of finitely supported structures, where the set of atoms is infinite (not necessarily countable as for nominal sets). In FSM, 'sets' are replaced either by `invariant sets' (sets endowed with some group actions satisfying a finite support requirement) or by `finitely supported sets' (finitely supported elements in the powerset of an invariant set). It is a theory of `invariant algebraic structures' in which infinite algebraic structures are characterized by using their finite supports. After explaining the motivation for using invariant sets in the experimental sciences as well as the connections with the nominal approach, admissible sets and Gandy machines (Chapter 1), the authors present in Chapter 2 the basics of invariant sets and show that the principles of constructing FSM have historical roots both in the definition of Tarski `logical notions' and in the Erlangen Program of Klein for the classification of various geometries according to invariants under suitable groups of transformations. Furthermore, the consistency of various choice principles is analyzed in FSM. Chapter 3 examines whether it is possible to obtain valid results by replacing the notion of infinite sets with the notion of invariant sets in the classical ZF results. The authors present techniques for reformulating ZF properties of algebraic structures in FSM. In Chapter 4 they generalize FM set theory by providing a new set of axioms inspired by the theory of amorphous sets, and so defining the extended Fraenkel-Mostowski (EFM) set theory. In Chapter 5 they define FSM semantics for certain process calculi (e.g., fusion calculus), and emphasize the links to the nominal techniques used in computer science. They demonstrate a complete equivalence between the new FSM semantics (defined by using binding operators instead of side conditions for presenting the transition rules) and the known semantics of these process calculi. The book is useful for researchers and graduate students in computer science and mathematics, particularly those engaged with logic and set theory.

Author: Tim Maudlin
Publisher:
ISBN: 0198701306
Category : Mathematics
Languages : en
Pages : 374

View

Book Description
Tim Maudlin sets out a completely new method for describing the geometrical structure of spaces, and thus a better mathematical tool for describing and understanding space-time. He presents a historical review of the development of geometry and topology, and then his original Theory of Linear Structures.

Author: Gregory L. Cherlin
Publisher: Princeton University Press
ISBN: 9780691113319
Category : Mathematics
Languages : en
Pages : 204

View

Book Description
This book applies model theoretic methods to the study of certain finite permutation groups, the automorphism groups of structures for a fixed finite language with a bounded number of orbits on 4-tuples. Primitive permutation groups of this type have been classified by Kantor, Liebeck, and Macpherson, using the classification of the finite simple groups. Building on this work, Gregory Cherlin and Ehud Hrushovski here treat the general case by developing analogs of the model theoretic methods of geometric stability theory. The work lies at the juncture of permutation group theory, model theory, classical geometries, and combinatorics. The principal results are finite theorems, an associated analysis of computational issues, and an "intrinsic" characterization of the permutation groups (or finite structures) under consideration. The main finiteness theorem shows that the structures under consideration fall naturally into finitely many families, with each family parametrized by finitely many numerical invariants (dimensions of associated coordinating geometries). The authors provide a case study in the extension of methods of stable model theory to a nonstable context, related to work on Shelah's "simple theories." They also generalize Lachlan's results on stable homogeneous structures for finite relational languages, solving problems of effectivity left open by that case. Their methods involve the analysis of groups interpretable in these structures, an analog of Zilber's envelopes, and the combinatorics of the underlying geometries. Taking geometric stability theory into new territory, this book is for mathematicians interested in model theory and group theory.

Author: Heinz-Dieter Ebbinghaus
Publisher: Springer Science & Business Media
ISBN: 3540287884
Category : Mathematics
Languages : en
Pages : 363

View

Book Description
This is a thoroughly revised and enlarged second edition that presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read independently.

Author: Terence Tao
Publisher: American Mathematical Soc.
ISBN: 1470466406
Category : Education
Languages : en
Pages : 206

View

Book Description
This is a graduate text introducing the fundamentals of measure theory and integration theory, which is the foundation of modern real analysis. The text focuses first on the concrete setting of Lebesgue measure and the Lebesgue integral (which in turn is motivated by the more classical concepts of Jordan measure and the Riemann integral), before moving on to abstract measure and integration theory, including the standard convergence theorems, Fubini's theorem, and the Carathéodory extension theorem. Classical differentiation theorems, such as the Lebesgue and Rademacher differentiation theorems, are also covered, as are connections with probability theory. The material is intended to cover a quarter or semester's worth of material for a first graduate course in real analysis. There is an emphasis in the text on tying together the abstract and the concrete sides of the subject, using the latter to illustrate and motivate the former. The central role of key principles (such as Littlewood's three principles) as providing guiding intuition to the subject is also emphasized. There are a large number of exercises throughout that develop key aspects of the theory, and are thus an integral component of the text. As a supplementary section, a discussion of general problem-solving strategies in analysis is also given. The last three sections discuss optional topics related to the main matter of the book.

Author: Peter Webb
Publisher: Cambridge University Press
ISBN: 1107162394
Category : Mathematics
Languages : en
Pages : 339

View

Book Description
This graduate-level text provides a thorough grounding in the representation theory of finite groups over fields and rings. The book provides a balanced and comprehensive account of the subject, detailing the methods needed to analyze representations that arise in many areas of mathematics. Key topics include the construction and use of character tables, the role of induction and restriction, projective and simple modules for group algebras, indecomposable representations, Brauer characters, and block theory. This classroom-tested text provides motivation through a large number of worked examples, with exercises at the end of each chapter that test the reader's knowledge, provide further examples and practice, and include results not proven in the text. Prerequisites include a graduate course in abstract algebra, and familiarity with the properties of groups, rings, field extensions, and linear algebra.

Author: André Weil
Publisher:
ISBN: 9781470431761
Category : Geometry, Algebraic
Languages : en
Pages : 363

View

Book Description
This classic is one of the cornerstones of modern algebraic geometry. At the same time, it is entirely self-contained, assuming no knowledge whatsoever of algebraic geometry, and no knowledge of modern algebra beyond the simplest facts about abstract fields and their extensions, and the bare rudiments of the theory of ideals.

Author: J. C. Rosales
Publisher: Nova Publishers
ISBN: 9781560726708
Category : Mathematics
Languages : en
Pages : 204

View

Book Description
A textbook for an undergraduate course, requiring only a knowledge of basic linear algebra. Explains how to compute presentations for finitely generated cancellative monoids, and from a presentation of a monoid, decide whether this monoid is cancellative, reduced, separative, finite, torsion free, group, affine, full, normal, etc. Of most interest to people working with semigroup theory, but also in other areas of algebra. Annotation copyrighted by Book News, Inc., Portland, OR

Author: Robert Wisbauer
Publisher: Routledge
ISBN: 1351447343
Category : Mathematics
Languages : en
Pages : 425

View

Book Description
This volume provides a comprehensive introduction to module theory and the related part of ring theory, including original results as well as the most recent work. It is a useful and stimulating study for those new to the subject as well as for researchers and serves as a reference volume. Starting form a basic understanding of linear algebra, the theory is presented and accompanied by complete proofs. For a module M, the smallest Grothendieck category containing it is denoted by o[M] and module theory is developed in this category. Developing the techniques in o[M] is no more complicated than in full module categories and the higher generality yields significant advantages: for example, module theory may be developed for rings without units and also for non-associative rings. Numerous exercises are included in this volume to give further insight into the topics covered and to draw attention to related results in the literature.