Infinitary Logic: In Memoriam Carol Karp / Edition 1

by D. W. Kueker

Overview

A Collection of Papers by Varoius Authors

Product Details

ISBN-13:	9783540074199
Publisher:	Springer Berlin Heidelberg
Publication date:	12/18/1975
Series:	Lecture Notes in Mathematics , #492
Edition description:	1975
Pages:	208
Product dimensions:	6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

Back-and-forth arguments and infinitary logics.- Consistency properties for finite quantifier languages.- Chain models: Applications of consistency properties and back-and-forth techniques in infinite-quantifier languages.- On a finiteness condition for infinitary languages.