£66.50

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

Price data last checked 36 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 55 days · 55 data points (no recent data)

Historical
Generating forecast…
£66.50 £63.18 £64.51 £65.84 £67.17 £68.50 £69.83 24 May 2026 06 June 2026 20 June 2026 03 July 2026 17 July 2026

Price Distribution

Price distribution over 55 days • 1 price levels

Days at Price
55 days 0 14 28 41 55 £67 Days at Price

Price Analysis

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

Price range: £67 - £67

Price levels: 1 different prices over 55 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.73 03 Jul 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

£43.40 21 Jun 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.70 25 Jul 2026
Introduction to Model Theory (Algebra, Logic and Applications)
95% match

Introduction to Model Theory (Algebra, Logic and Applications)

CRC Press

£130.00 25 Jul 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 20 Jul 2026
Cambridge University Press - A Shorter Model Theory Textbook
95% match

Cambridge University Press - A Shorter Model Theory Textbook

Cambridge University Press

£59.89 22 Aug 2026
A Handbook of Model Categories: 27 (Algebra and Applications, 27)
95% match

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

Springer

£123.54 28 Jul 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.46 15 Jul 2026
Algebraic Model Theory: 496 (Nato Science Series C:)
95% match

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

Springer

£120.94 17 Jul 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 28 Jul 2026
Springer - Reverse Mathematics: Problems, Reductions, and Proofs
95% match

Springer - Reverse Mathematics: Problems, Reductions, and Proofs

Springer

£44.12 28 Jul 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

£158.23 20 Aug 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

£130.33 12 Jul 2026
A Handbook of Model Categories: 27 (Algebra and Applications, 27)
95% match

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

Springer

£99.74 11 Aug 2026
Springer - Reflections on the Foundations of Mathematics 407
95% match

Springer - Reflections on the Foundations of Mathematics 407

Springer

£109.08 29 Jul 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

£106.00 21 Aug 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.92 03 Jul 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.87 10 Jul 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

£135.79 13 Jul 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

£59.48 31 Jul 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

£62.78 22 Aug 2026
Model Theory (Encyclopedia of Mathematics and its Applications): 42 (Encyclopedia of Mathematics and its Applications, Series Number 42)
94% match

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

Cambridge University Press

£192.11 22 Jul 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

£54.52 03 Jul 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

£41.78 29 Jun 2026