Henkin-Keisler Models
Series: Mathematics and Its Applications; 392;
- Publisher's listprice EUR 53.49
-
22 690 Ft (21 609 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 8% (cc. 1 815 Ft off)
- Discounted price 20 874 Ft (19 880 Ft + 5% VAT)
22 690 Ft
Availability
Estimated delivery time: In stock at the publisher, but not at Prospero's office. Delivery time approx. 3-5 weeks.
Not in stock at Prospero.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Edition number 1997
- Publisher Springer
- Date of Publication 31 January 1997
- Number of Volumes 1 pieces, Book
- ISBN 9780792343660
- Binding Hardback
- No. of pages258 pages
- Size 235x155 mm
- Weight 1250 g
- Language English
- Illustrations XII, 258 p. 0
Categories
Long description:
Henkin-Keisler models emanate from a modification of the Henkin construction introduced by Keisler to motivate the definition of ultraproducts. Keisler modified the Henkin construction at that point at which `new' individual constants are introduced and did so in a way that illuminates a connection between Henkin-Keisler models and ultraproducts. The resulting construction can be viewed both as a specialization of the Henkin construction and as an alternative to the ultraproduct construction. These aspects of the Henkin-Keisler construction are utilized here to present a perspective on ultraproducts and their applications accessible to the reader familiar with Henkin's proof of the completeness of first order logic and naive set theory. This approach culminates in proofs of various forms of the Keisler-Shelah characterizations of elementary equivalence and elementary classes via Henkin-Keisler models. The presentation is self-contained and proofs of more advanced results from set theory are introduced as needed.
Audience: Logicians in philosophy, computer science, linguistics and mathematics.
Table of Contents:
Keisler,s Specialization of the Method of Constants.- The Cardinality of Henkin-Keisler Models.- Classifying Maximal Extensions.- Elementary Subsystems of Henkin-Keisler Models I.- Elementary Subsystems of Henkin-Keisler Models II.- Small Models.- The Keisler-Shelah Isomorphism Theorems.- Saturated Models.
More
Henkin-Keisler Models
22 690 HUF
Molecular Motors: Methods and Protocols
45 385 HUF
Angiogenesis: Methods and Protocols
127 086 HUF
Lust Geass, Vol. 7
5 050 HUF
Find Your Right Job
7 766 HUF
