Studies in Logic and the Foundations of Mathematics | Model Theory For Infinitary Logic

select article Edited by
Full text access
Edited by
Page iii
View PDF
select article Copyright page
No access
Copyright page
Page iv
select article Dedication
No access
Dedication
Page v
select article Preface
EditorialNo access
Preface
Pages vii-viii
select article 1 Introduction
Abstract only
1 Introduction
Pages 3-6
select article 2 Scott's Isomorphism Theorem
Abstract only
2 Scott's Isomorphism Theorem
Pages 7-9
select article 3 Model Existence Theorem
Abstract only
3 Model Existence Theorem
Pages 10-14
select article 4 Completeness Theorem
Abstract only
4 Completeness Theorem
Pages 15-18
select article 5 Craig Interpolation Theorem
Abstract only
5 Craig Interpolation Theorem
Pages 19-23
select article 6 Lyndon Interpolation Theorem
Abstract only
6 Lyndon Interpolation Theorem
Pages 24-28
select article 7 Malitz Interpolation Theorem
Abstract only
7 Malitz Interpolation Theorem
Pages 29-33
select article 8 Admissible sets
Abstract only
8 Admissible sets
Pages 34-41
select article 9 Barwise Compactness Theorem
Abstract only
9 Barwise Compactness Theorem
Pages 42-48
select article 10 Undefinability of well order
Abstract only
10 Undefinability of well order
Pages 49-53
select article 11 Omitting Types Theorem
Abstract only
11 Omitting Types Theorem
Pages 54-60
select article 12 Prime models
Abstract only
12 Prime models
Pages 61-64
select article 13 Skolem functions and indiscernibles
Abstract only
13 Skolem functions and indiscernibles
Pages 67-74
select article 14 Erdös-Rado Theorem
Abstract only
14 Erdös-Rado Theorem
Pages 75-77
select article 15 The Hanf number of Lω1ω
Abstract only
15 The Hanf number of L_ω₁ω
Pages 78-82
select article 16 Hanf number of L<img src="//ars.els-cdn.com/content/image/1-s2.0-S0049237X08706967-fx1.gif" width="16" height="12" />
Abstract only
16 Hanf number of L
Pages 83-87
select article 17 Morley's Two Cardinal Theorem
Abstract only
17 Morley's Two Cardinal Theorem
Pages 88-90
select article 18 Categoricity in power
Abstract only
18 Categoricity in power
Pages 91-94
select article 19 Homogeneous models
Abstract only
19 Homogeneous models
Pages 95-101
select article 20 End elementary extensions
Abstract only
20 End elementary extensions
Pages 102-105
select article 21 Elementary chains
Abstract only
21 Elementary chains
Pages 109-114
select article 22 Another two cardinal theorem
Abstract only
22 Another two cardinal theorem
Pages 115-122
select article 23 More about categoricity in power
Abstract only
23 More about categoricity in power
Pages 123-131
select article 24 Extending models of set theory
Abstract only
24 Extending models of set theory
Pages 132-137
select article 25 Short, uncountable models of set theory
Abstract only
25 Short, uncountable models of set theory
Pages 138-143
select article 26 Lebesgue measure
Abstract only
26 Lebesgue measure
Pages 144-150
select article 27 The property of Baire
Abstract only
27 The property of Baire
Pages 151-153
select article 28 Second order number theory
Abstract only
28 Second order number theory
Pages 154-159
select article 29 A three cardinal theorem
No access
29 A three cardinal theorem
Pages 160-162
select article 30 End elementary extensions which omit a type
Abstract only
30 End elementary extensions which omit a type
Pages 163-167
select article 31 Models of power ω1
Abstract only
31 Models of power ω₁
Pages 168-175
select article 32 Ultrapowers
Abstract only
32 Ultrapowers
Pages 179-184
select article 33 Ultrapowers of models of set theory
Abstract only
33 Ultrapowers of models of set theory
Pages 185-188
select article 34 The Seven Cardinal Theorem
Abstract only
34 The Seven Cardinal Theorem
Pages 189-192
select article References
No access
References
Pages 193-203
select article Author index
Full text access
Author index
Page 205
View PDF
select article Index of definitions
Full text access
Index of definitions
Pages 206-207
View PDF
select article Index of symbols
Full text access
Index of symbols
Page 208
View PDF

Model Theory For Infinitary Logic

Pages iii-viii, 1-208 (1971)

Actions for selected chapters