DMCA. Copyrighted Work that you can Claim.
Base have 37 000 books.
Search: 


📙 Finitely Supported Mathematics: An Introduction by Andrei Alexandru, Gabriel Ciobanu (auth.) — epub download


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.



About book:

About file:

  • File size: 1 770 321
  • Format: pdf


Security code:
Download button

Similar books results


Infinite Matrices and their Finite Sections: An Introduction to the Limit Operator Method
Infinite Matrices and their Finite Sections: An Introduction to the Limit Operator Method pdf free by Marko Lindner

This book is an introduction to a fascinating topic at the interface of functional analysis, algebra and numerical analysis, written for a broad audience of students, researchers and practitioners. It is concerned with the study of infinite matrices and t...

A mathematical introduction to Dirac's formalism
A mathematical introduction to Dirac's formalism free pdf by S J L van Eijndhoven; J de Graaf

This monograph contains a functional analytic introduction to Dirac's formalism. The first part presents some new mathematical notions in the setting of triples of Hilbert spaces, mentioning the concept of Dirac basis. The second part introduces a concept...

Basic notions of condensed matter physics
Basic notions of condensed matter physics free pdf by Anderson P.W.

Basic Notions of Condensed Matter Physics is a clear introduction to some of the most significant concepts in the physics of condensed matter. The general principles of many-body physics and perturbation theory are emphasised, providing supportive mathema...

Finite-State Language Processing
Finite-State Language Processing free pdf by Emmanuel Roche, Yves Schabes

Finite-state devices, which include finite-state automata, graphs, and finite-state transducers, are in wide use in many areas of computer science. Recently, there has been a resurgence of the use of finite-state devices in all aspects of computational li...

Introducing Einstein's Relatvity
Introducing Einstein's Relatvity free download by R. d'Inverno

There is little doubt that Einstein's theory of relativity captures the imagination. Not only has it radically altered the way we view the universe, but the theory also has a considerable number of surprises in store. This is especially so in the three ma...

Programming C# (Paperback)
Programming C# (Paperback) epub download by Liberty J.

Jesse Liberty's Programming C# provides an adept and extremely well conceived guide to the C# language and is written for the developer with some previous C++, Java, and/or Visual Basic experience.It's no secret that many computer books are pretty much de...

Crystals and Crystal Structures
Crystals and Crystal Structures free epub by Richard J. D. Tilley

Crystals and Crystal Structures is an introductory text for students and others who need to understand the subject without necessarily becoming crystallographers. Using the book will enable students to read scientific papers and articles describing a c...

Mathematical Introduction to Celestial Mechanics

Microchip Methods in Diagnostics
Microchip Methods in Diagnostics download pdf by Ursula Bilitewski (auth.), Dr. Ursula Bilitewski (eds.)

In this new age of science and technology, microchip methods of analysis have developed into an essential tool for biomedical researchers. Microchip Methods in Diagnostics looks at this increasingly miniaturized technology, focusing on DNA microarrays, pr...

Mass Spectrometry: Clinical and Biomedical Applications
Mass Spectrometry: Clinical and Biomedical Applications free download by Matthias Mann, John B. Fenn (auth.), Dominic M. Desiderio (eds.)

Ultra-Wideband, Short-Pulse Electromagnetics 2
Ultra-Wideband, Short-Pulse Electromagnetics 2 free download by J. F. Whitaker, H. Cheng, T. M. Weller, L. P. B. Katehi (auth.), Lawrence Carin, Leopold B. Felsen (eds.)

The papers published in this volume were presented at the Second International Conference on Ultra-WidebandiShort-Pulse (UWB/SP) Electromagnetics, ApriIS-7, 1994. To place this second international conference in proper perspective with respect to the firs...

Recent Developments in Alcoholism: Memory Deficits Sociology of Treatment Ion Channels Early Problem Drinking
Recent Developments in Alcoholism: Memory Deficits Sociology of Treatment Ion Channels Early Problem Drinking epub download by D. Adrian Wilkinson, Constantine X. Poulos (auth.), Marc Galanter (eds.)

From the President of the Research Society on Alcoholism In recent years, increasingly convincing evidence in support of a biobehavioral conceptual model of the etiology of alcoholism has emerged. In this model, the disorder is perceived as arising from t...

Phytochemical Diversity and Redundancy in Ecological Interactions
Phytochemical Diversity and Redundancy in Ecological Interactions free epub by May R. Berenbaum, Arthur R. Zangerl (auth.), John T. Romeo, James A. Saunders, Pedro Barbosa (eds.)

Diversity within and among living organisms is both a biological impera­ tive and a biological conundrum. Phenotypic and genotypic diversity is the critical currency ofecological interactions and the evolution of life. Thus, it is not unexpected to find v...

Handbook of Health Behavior Research III: Demography, Development, and Diversity
Handbook of Health Behavior Research III: Demography, Development, and Diversity pdf free by Louis G. Pol, Richard K. Thomas (auth.), David S. Gochman (eds.)

Volume 3 relates the demography of health behavior to developmental and diversity issues. Unique discussions of the health behaviors of gay males, lesbians, persons with HIV, and caregivers themselves are included. Each volume features extensive supplemen...

Giant Resonances in Atoms, Molecules, and Solids
Giant Resonances in Atoms, Molecules, and Solids free download by J. P. Connerade (auth.), J. P. Connerade, J. M. Esteva, R. C. Karnatak (eds.)

Often, a new area of science grows at the confines between recognised subject divisions, drawing upon techniques and intellectual perspectives from a diversity of fields. Such growth can remain unnoticed at first, until a characteristic fami ly of effects...

Membranes and Membrane Processes
Membranes and Membrane Processes free epub by Ryohei Hori, Ken-ichi Inui, Mikihisa Takano (auth.), Enrico Drioli, Masayuki Nakagaki (eds.)

During the past two decades Membrane Science and Technology has made tremendous progress and has changed from a simple laboratory tool to large scale processes with numerous applications in Medicine and Industry. In this volume are collected papers presen...

Optical Fiber Transmission Systems
Optical Fiber Transmission Systems epub download by Stewart D. Personick (auth.)

Fundamentals.- Requirements for Systems and Subsystems (1,2).- Subsystems(1–6).- Systems.- Applications(1–4)....

Mössbauer Spectroscopy Applied to Inorganic Chemistry
Mössbauer Spectroscopy Applied to Inorganic Chemistry free download by U. Gonser, C. Schneider (auth.), Gary J. Long, Fernande Grandjean (eds.)

In 1988 the Mossbauer effect community completed 30 years of continual contribution to the fields of nuclear physics, solid state science, and a variety of related disciplines. To celebrate this anniversary, Professor Gonser of the Universitat des Saarlan...

Learning OpenStack Networking (Neutron): Architect and build a network infrastructure for your cloud using OpenStack Neutron networking
Learning OpenStack Networking (Neutron): Architect and build a network infrastructure for your cloud using OpenStack Neutron networking epub download by James Denton

OpenStack provides a rich API that enables users to architect networks, create virtual machines, and scale their application as they see fit. However, it suffered limited network implementations, providing only basic networking through Linux VLANs and ipt...