Author : Peter T. Johnstone
Publisher : Cambridge University Press
Page : 398 pages
File Size : 29,9 MB
Release : 1982
Category : Mathematics
ISBN : 9780521337793
A unified treatment of the corpus of mathematics that has developed out of M. H. Stone's representation theorem for Boolean algebras (1936) which has applications in almost every area of modern mathematics.
Author : D. H. Fremlin
Publisher : Torres Fremlin
Page : 967 pages
File Size : 25,30 MB
Release : 2000
Category : Fourier analysis
ISBN : 0953812944
Author : Michiel Hazewinkel
Publisher : Springer Science & Business Media
Page : 556 pages
File Size : 43,74 MB
Release : 1993-01-31
Category : Mathematics
ISBN : 1556080085
This ENCYCLOPAEDIA OF MATHEMATICS aims to be a reference work for all parts of mathe matics. It is a translation with updates and editorial comments of the Soviet Mathematical Encyclopaedia published by 'Soviet Encyclopaedia Publishing House' in five volumes in 1977-1985. The annotated translation consists of ten volumes including a special index volume. There are three kinds of articles in this ENCYCLOPAEDIA. First of all there are survey-type articles dealing with the various main directions in mathematics (where a rather fme subdivi sion has been used). The main requirement for these articles has been that they should give a reasonably complete up-to-date account of the current state of affairs in these areas and that they should be maximally accessible. On the whole, these articles should be understandable to mathematics students in their first specialization years, to graduates from other mathematical areas and, depending on the specific subject, to specialists in other domains of science, en gineers and teachers of mathematics. These articles treat their material at a fairly general level and aim to give an idea of the kind of problems, techniques and concepts involved in the area in question. They also contain background and motivation rather than precise statements of precise theorems with detailed definitions and technical details on how to carry out proofs and constructions. The second kind of article, of medium length, contains more detailed concrete problems, results and techniques.
Author : George Su-an Lee
Publisher :
Page : 194 pages
File Size : 27,71 MB
Release : 1980
Category : Stone spaces
ISBN :
Author : Cyrus F. Nourani
Publisher : CRC Press
Page : 296 pages
File Size : 19,59 MB
Release : 2016-04-19
Category : Mathematics
ISBN : 1482231506
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.
Author : Ralf Schindler
Publisher : Walter de Gruyter
Page : 495 pages
File Size : 23,64 MB
Release : 2013-05-02
Category : Philosophy
ISBN : 3110324903
On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 – 19, 2008. This event brought together proof theorists from many parts of the world who have been acting as teachers, students and collaborators of Wolfram Pohlers and who have been shaping the field of proof theory over the years. The present volume collects papers by the speakers of the colloquium and workshop; and they produce a documentation of the state of the art of contemporary proof theory.
Author : Till Mossakowski
Publisher : Springer
Page : 473 pages
File Size : 17,2 MB
Release : 2007-08-22
Category : Computers
ISBN : 3540738592
A double-pronged approach makes this book an extremely useful addition to the literature on this highly relevant contemporary topic. Addressing two basic areas of application for algebras and coalgebras – as mathematical objects as well as in the context of their application in computer science – the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book is the refereed proceedings of the second CALCO conference, held in August 2007 in Norway.
Author : Isaac Goldbring
Publisher : American Mathematical Society
Page : 421 pages
File Size : 35,19 MB
Release : 2022-06-28
Category : Mathematics
ISBN : 1470469618
Ultrafilters and ultraproducts provide a useful generalization of the ordinary limit processes which have applications to many areas of mathematics. Typically, this topic is presented to students in specialized courses such as logic, functional analysis, or geometric group theory. In this book, the basic facts about ultrafilters and ultraproducts are presented to readers with no prior knowledge of the subject and then these techniques are applied to a wide variety of topics. The first part of the book deals solely with ultrafilters and presents applications to voting theory, combinatorics, and topology, while also dealing also with foundational issues. The second part presents the classical ultraproduct construction and provides applications to algebra, number theory, and nonstandard analysis. The third part discusses a metric generalization of the ultraproduct construction and gives example applications to geometric group theory and functional analysis. The final section returns to more advanced topics of a more foundational nature. The book should be of interest to undergraduates, graduate students, and researchers from all areas of mathematics interested in learning how ultrafilters and ultraproducts can be applied to their specialty.
Author : H. G. Dales
Publisher : Springer
Page : 286 pages
File Size : 13,86 MB
Release : 2016-12-13
Category : Mathematics
ISBN : 3319323490
This book gives a coherent account of the theory of Banach spaces and Banach lattices, using the spaces C_0(K) of continuous functions on a locally compact space K as the main example. The study of C_0(K) has been an important area of functional analysis for many years. It gives several new constructions, some involving Boolean rings, of this space as well as many results on the Stonean space of Boolean rings. The book also discusses when Banach spaces of continuous functions are dual spaces and when they are bidual spaces.
Author :
Publisher : American Mathematical Soc.
Page : 262 pages
File Size : 16,76 MB
Release :
Category : Mathematics
ISBN : 9780821895887
This indispensable reference source contains a wealth of information on lattice theory. The book presents a survey of virtually everything published in the fields of partially ordered sets, semilattices, lattices, and Boolean algebras that was reviewed in Referativnyi Zhurnal Matematika from mid-1982 to the end of 1985. A continuation of a previous volume (the English translation of which was published by the AMS in 1989, as volume 141 in Translations - Series 2), this comprehensive work contains more than 2200 references. Many of the papers covered here were originally published in virtually inaccessible places. The compilation of the volume was directed by Milan Kolibiar of Comenius University at Bratislava and Lev A. Skornyakov of Moscow University. Of interest to mathematicians, as well as to philosophers and computer scientists in certain areas, this unique compendium is a must for any mathematical library.
