Set Theory 2

In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also beh……続きを見る

Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set theory, forcing has been seen by the general math……続きを見る

The book is a research monograph on the notions of truth and assertibility as they relate to the foundations of mathematics. It is aimed at a general mathematical and philosophical audience. The cen……続きを見る

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools. The major topics……続きを見る

This collection of articles, originating from a short course held at the University of Manchester, explores the ideas behind Pila's proof of the Andre–Oort conjecture for products of modular curves.……続きを見る

This book presents a new approach to the epistemology of mathematics by viewing mathematics as a human activity whose knowledge is intimately linked with practice. Charting an exciting new direction……続きを見る

The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Ordinal Definability and Recursion Theory is the third in a series of four books col……続きを見る

'Circularity' is the story of a Janus-faced conceptual structure, that on the one hand led to deep scientific discoveries, and on the other hand is used to trick the mind into believing the impossib……続きを見る

Si on se rappelle à quel point l’œuvre de Poincaré est comme adéquate à toute la science mathématique, pure ou appliquée, que notre époque a produite……続きを見る

Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introd……続きを見る

'The book is well written, and there is a welcome breadth in the choice of topics. I think this book is a valuable resource. Students who meticulously work through all the problems in the book in an……続きを見る

'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.' The Mathematical Gazette This is the final book written by the late great puzzle master ……続きを見る

Null Set collects the slightly obsessive possibilities that rise when we give them the spaceーodd jobs, trouble-making, and farm boy rambling, all in dialogue with mathematics, or William Faulkner, ……続きを見る

The contents in this volume are based on the program Sets and Computations that was held at the Institute for Mathematical Sciences, National University of Singapore from 30 March until 30 April 201……続きを見る

Model theory is one of the central branches of mathematical logic. The field has evolved rapidly in the last few decades. This book is an introduction to current trends in model theory, and contains……続きを見る

The first critical work to attempt the mammoth undertaking of reading Badiou's Being and Event as part of a sequence has often surprising, occasionally controversial results. Looking back on its pub……続きを見る

Computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and……続きを見る

Designed for undergraduate students of set theory, Classic Set Theory presents a modern perspective of the classic work of Georg Cantor and Richard Dedekin and their immediate successors. This inclu……続きを見る

Essentials of Mathematical Thinking addresses the growing need to better comprehend mathematics today. Increasingly, our world is driven by mathematics in all aspects of life. The book is an excelle……続きを見る

Strange Functions in Real Analysis, Third Edition differs from the previous editions in that it includes five new chapters as well as two appendices. More importantly, the entire text has been revis……続きを見る

Transition to Real Analysis with Proof provides undergraduate students with an introduction to analysis including an introduction to proof. The text combines the topics covered in a transition cours……続きを見る

Everything you need to know about 100 key mathematical concepts condensed into easy-to-understand sound bites designed to stick in your memory and give you an instant grasp of the concept. On each t……続きを見る

A Concrete Introduction to Analysis, Second Edition offers a major reorganization of the previous edition with the goal of making it a much more comprehensive and accessible for students. The standa……続きを見る

Thoroughly revised, updated, expanded, and reorganized to serve as a primary text for mathematics courses, Introduction to Set Theory, Third Edition covers the basics: relations, functions, ordering……続きを見る

This book formally introduces synthetic differential topology, a natural extension of the theory of synthetic differential geometry which captures classical concepts of differential geometry and top……続きを見る

This volume, which ten years ago appeared as the first in the acclaimed series Lecture Notes in Logic, serves as an introduction to recursion theory. The fundamental concept of recursion makes the i……続きを見る

In questo libro sono svolti degli esercizi riguardo i seguenti argomenti matematici:teoria degli insiemifunzioni e proprietà delle funzioniSono altresì presentati dei cenni teorici iniziali per fare……続きを見る

Questo libro pone la basi della matematica, partendo dalla logica e dalle operazioni elementari fino ad affrontare argomenti quali la trigonometria, i numeri complessi, le notazioni matriciali e vet……続きを見る

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection……続きを見る

A comprehensive work in finite-value systems that covers the latest achievements using the semi-tensor product method, on various kinds of finite-value systems. These results occupy the highest posi……続きを見る