Henkin-Keisler Models by George Weaver.

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 connec...

Full description

Saved in:

Bibliographic Details
Main Author:	Weaver, George (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	New York, NY : Springer US : Imprint: Springer, 1997.
Edition:	1st ed. 1997.
Series:	Mathematics and Its Applications ; 392 Springer eBook Collection.
Subjects:	Mathematical logic. Logic. Computer science. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

‌

Click to view e-book

Online

Holdings details from Online
Call Number:	E-Book
Status:	Available

Henkin-Keisler Models by George Weaver.

‌

Online

Similar Items