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

Mathematical Logic

This is the usual price. Wait for it to drop, or tell us your number.

£39 today · usual range £0–£0 · best ever £32

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 401 days • 401 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 401 days • 5 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £36-38 (189 days, 47.1%)

Price range: £32 - £42

Price levels: 5 price ranges over 401 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 usual price. Wait for it to drop, or tell us your number.

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)

Intuitive Axiomatic Set Theory (Textbooks in Mathematics)

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)

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)

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)

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)

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)

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

A First Course in Mathematical Logic and Set Theory

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Lectures on the Hyperreals: An Introduction to Nonstandard Analysis: 188 (Graduate Texts in Mathematics, 188)

Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)

Residuated Lattices: An Algebraic Glimpse at Substructural Logics