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

£43.31

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: 43.31 GBP
Availability: InStock

Mathematical Logic

This is the most expensive it has ever been. Walk away.

£43 today · previous high £43 · all-time low £39

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 74 days · 74 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 74 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £39 (63 days, 85.1%)

Price range: £39 - £43

Price levels: 2 different prices over 74 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)

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Proper and Improper Forcing: 5 (Perspectives in Logic, Series Number 5)

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

Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts: 407 (Synthese Library, 407)

Springer - Reflections on the Foundations of Mathematics 407

Intuitive Axiomatic Set Theory (Textbooks in Mathematics)

LMS: 115 Independence for Analysts (London Mathematical Society Lecture Note Series, Series Number 115)

Introduction to Mathematical Logic: Extended Edition

A Formalization of Set Theory without Variables (Colloquium Publications)

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)

A Bridge to Higher Mathematics: 43 (Textbooks in Mathematics)

Lectures in Logic and Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Kurt Gödel: Results on Foundations (Sources and Studies in the History of Mathematics and Physical Sciences)

Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf: 27 (Logic, Epistemology, and the Unity of Science, 27)

Ultrafilters Across Mathematics (Contemporary Mathematics): International Congress Ultramath 2008: Applications of Ultrafilters and Ultraproducts in Mathematics, June 1-7, 2008, Pisa, Italy

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

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

An Algebraic Introduction to Mathematical Logic: 22 (Graduate Texts in Mathematics, 22)

Forcing Idealized: 174 (Cambridge Tracts in Mathematics, Series Number 174)

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Meaning in Dialogue: An Interactive Approach to Logic and Reasoning: 33 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 33)

Cambridge Fast Track to Forcing - LMS Student Texts 98

Meaning and Existence in Mathematics: 9 (LEP Library of Exact Philosophy, 9)

Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof

An Outline of Mathematical Logic: Fundamental Results and Notions Explained with all Details: 70 (Synthese Library, 70)