The Forcing Method in Set Theory: An Introduction via Boolean Valued Logic: 168 (UNITEXT, 168) - Image 1

£39.18

Springer The Forcing Method in Set Theory: An Introduction via Boolean Valued Logic: 168 (UNITEXT, 168)

Name: The Forcing Method in Set Theory: An Introduction via Boolean Valued Logic: 168 (UNITEXT, 168)
Brand: Springer
Price: 34.94 GBP
Availability: InStock

Mathematical Logic

Price History & Forecast

Last 42 days • 42 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 42 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £42 (16 days, 38.1%)

Price range: £34 - £42

Price levels: 4 different prices over 42 days

Description

The main aim of this book is to provide a compact self-contained presentation of the forcing technique devised by Cohen to establish the independence of the continuum hypothesis from the axioms of set theory. The book follows the approach to the forcing technique via Boolean valued semantics independently introduced by Vopenka and Scott/Solovay; it develops out of notes I prepared for several master courses on this and related topics and aims to provide an alternative (and more compact) account of this topic with respect to the available classical textbooks. The aim of the book is to take up a reader with familiarity with logic and set theory at the level of an undergraduate course on both topics (e.g., familiar with most of the content of introductory books on first-order logic and set theory) and bring her/him to page with the use of the forcing method to produce independence (or undecidability results) in mathematics. Familiarity of the reader with general topology would also be quite helpful; however, the book provides a compact account of all the needed results on this matter. Furthermore, the book is organized in such a way that many of its parts can also be read by scholars with almost no familiarity with first-order logic and/or set theory. The book presents the forcing method outlining, in many situations, the intersections of set theory and logic with other mathematical domains. My hope is that this book can be appreciated by scholars in set theory and by readers with a mindset oriented towards areas of mathematics other than logic and a keen interest in the foundations of mathematics.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3031716590
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 12 November 2024
Listed Since: 30 July 2024

Barcode

No barcode data available

Springer The Forcing Method in Set Theory: An Introduction via Boolean Valued Logic: 168 (UNITEXT, 168)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Combinatorial Set Theory: With a Gentle Introduction to Forcing (Springer Monographs in Mathematics)

Intuitive Axiomatic Set Theory (Textbooks in Mathematics)

Combinatorial Set Theory: With a Gentle Introduction to Forcing (Springer Monographs in Mathematics)

A Formalization of Set Theory without Variables (Colloquium Publications)

Cambridge Fast Track to Forcing - LMS Student Texts 98

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)

Apartness and Uniformity: A Constructive Development (Theory and Applications of Computability)

Set Theory: Exploring Independence and Truth (Universitext)

A First Course in Mathematical Logic and Set Theory

Set Theory An Introduction To Independence Proofs: 102 (Studies in Logic and the Foundations of Mathematics): Volume 102

Proofs and Fundamentals: A First Course in Abstract Mathematics (Undergraduate Texts in Mathematics)

Proofs and Fundamentals: A First Course in Abstract Mathematics: 0 (Undergraduate Texts in Mathematics)

The Joy of Sets: Fundamentals of Contemporary Set Theory (Undergraduate Texts in Mathematics)

Descriptive Set Theory and Forcing: How to prove theorems about Borel sets the hard way: 4 (Lecture Notes in Logic, 4)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Set Theory: With an Introduction to Real Point Sets

Separation in Point-Free Topology

Separation in Point-Free Topology

Introduction to Incompleteness: From Gödel's Theorems to Forcing and the Continuum Hypothesis

Computation Engineering: Applied Automata Theory and Logic

Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory: 3 (The Handbooks of Fuzzy Sets, 3)

Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory: 3 (The Handbooks of Fuzzy Sets, 3)

Invariant Descriptive Set Theory (Pure and Applied Mathematics)