£66.50

Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem (Memoirs of the American Mathematical Society)

Price data last checked 37 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£67 today · cheaper than every other day in the last 3 months

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

Historical
Generating forecast...
£66.50 £63.18 £64.51 £65.84 £67.17 £68.50 £69.83 28 February 2026 13 March 2026 26 March 2026 08 April 2026 22 April 2026

Price Distribution

Price distribution over 54 days • 1 price levels

Days at Price
54 days 0 14 27 41 54 £67 Days at Price

Price Analysis

Most common price: £67 (54 days, 100.0%)

Price range: £67 - £67

Price levels: 1 different prices over 54 days

Description

About the Author Denis R. Hirschfeldt, University of Chicago, Illinois.Karen Lange, Wellesley College, Massachusetts.Richard A. Shore, Cornell University, Ithaca, New York. Product Description Goncharov and Peretyat'kin independently gave necessary and sufficient conditions for when a set of types of a complete theory $T$ is the type spectrum of some homogeneous model of $T$. Their result can be stated as a principle of second order arithmetic, which is called the Homogeneous Model Theorem (HMT), and analyzed from the points of view of computability theory and reverse mathematics. Previous computability theoretic results by Lange suggested a close connection between HMT and the Atomic Model Theorem (AMT), which states that every complete atomic theory has an atomic model. The authors show that HMT and AMT are indeed equivalent in the sense of reverse mathematics, as well as in a strong computability theoretic sense and do the same for an analogous result of Peretyat'kin giving necessary and sufficient conditions for when a set of types is the type spectrum of some model.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
30 October 2017
Listed Since
28 June 2017

Barcode

No barcode data available

Similar Products You Might Like

Introduction to Model Theory: 15 (Algebra, Logic and Applications)
95% match

Introduction to Model Theory: 15 (Algebra, Logic and Applications)

CRC Press

£76.20 24 Feb 2026
Introduction to Homotopy Type Theory: 219 (Cambridge Studies in Advanced Mathematics, Series Number 219)
95% match

Introduction to Homotopy Type Theory: 219 (Cambridge Studies in Advanced Mathematics, Series Number 219)

Cambridge University Press

£42.98 30 Jan 2026
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments: 54 (Lecture Notes in Logic, Series Number 54)
95% match

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments: 54 (Lecture Notes in Logic, Series Number 54)

Cambridge University Press

£83.24 04 May 2026
Introduction to Model Theory (Algebra, Logic and Applications)
95% match

Introduction to Model Theory (Algebra, Logic and Applications)

CRC Press

£130.00 05 May 2026
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs: 53 (Lecture Notes in Logic, Series Number 53)
95% match

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs: 53 (Lecture Notes in Logic, Series Number 53)

Cambridge University Press

£93.47 28 Apr 2026
A Shorter Model Theory
95% match

A Shorter Model Theory

Cambridge University Press

£57.16 18 Mar 2026
A Handbook of Model Categories: 27 (Algebra and Applications, 27)
95% match

A Handbook of Model Categories: 27 (Algebra and Applications, 27)

Springer

£118.89 08 May 2026
Finite Structures with Few Types. (AM–152), Volume 152 (Annals of Mathematics Studies, 152)
95% match

Finite Structures with Few Types. (AM–152), Volume 152 (Annals of Mathematics Studies, 152)

Princeton University Press

£20.25 18 Apr 2026
Algebraic Model Theory: 496 (Nato Science Series C:)
95% match

Algebraic Model Theory: 496 (Nato Science Series C:)

Springer

£108.71 24 Apr 2026
Nonstandard Models of Arithmetic and Set Theory (Contemporary Mathematics): AMS Special Session Nonstandard Models Of Arithmetic And Set Theory, January 15-16, 2003, Baltimore, Maryland
95% match

Nonstandard Models of Arithmetic and Set Theory (Contemporary Mathematics): AMS Special Session Nonstandard Models Of Arithmetic And Set Theory, January 15-16, 2003, Baltimore, Maryland

£67.95 07 May 2026
Springer - Reverse Mathematics: Problems, Reductions, and Proofs
95% match

Springer - Reverse Mathematics: Problems, Reductions, and Proofs

Springer

£35.63 08 May 2026
Automated Development of Fundamental Mathematical Theories: 2 (Automated Reasoning Series, 2)
95% match

Automated Development of Fundamental Mathematical Theories: 2 (Automated Reasoning Series, 2)

Springer

£151.55 14 Jan 2026
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
95% match

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

CRC Press

£133.00 01 Apr 2026
Springer - Reflections on the Foundations of Mathematics 407
95% match

Springer - Reflections on the Foundations of Mathematics 407

Springer

£113.78 09 May 2026
Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts: 407 (Synthese Library, 407)
95% match

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

Springer

£97.18 22 Jan 2026
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
95% match

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

CRC Press

£75.35 25 Feb 2026
Proof and System-Reliability: v. 62 (NATO Science Series II)
95% match

Proof and System-Reliability: v. 62 (NATO Science Series II)

Springer

£91.50 10 Mar 2026
Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
95% match

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Wiley

£133.99 10 Apr 2026
Reverse Mathematics: Problems, Reductions, and Proofs (Theory and Applications of Computability)
95% match

Reverse Mathematics: Problems, Reductions, and Proofs (Theory and Applications of Computability)

Springer

£48.61 10 May 2026
Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)
94% match

Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)

Springer

£52.52 24 Jan 2026
Model Theory: 42 (Encyclopedia of Mathematics and its Applications, Series Number 42)
94% match

Model Theory: 42 (Encyclopedia of Mathematics and its Applications, Series Number 42)

Cambridge University Press

£128.32 30 Apr 2026
Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)
94% match

Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)

Springer

£43.99 24 Feb 2026
Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics
94% match

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Birkhauser

£39.98 15 Feb 2026
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
94% match

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

Birkhauser

£60.17 23 Jan 2026