Model-Theoretic LogicsJ. Barwise, S. Feferman Cambridge University Press, 02.03.2017 Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the eighth publication in the Perspectives in Logic series, brings together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers. Part I provides an introduction to the subject as a whole, as well as to the basic theory and examples. The rest of the book addresses finitary languages with additional quantifiers, infinitary languages, second-order logic, logics of topology and analysis, and advanced topics in abstract model theory. Many chapters can be read independently. |
Inhalt
1 | |
Part B Finίtary Languages with
Additional Quantifiers | 121 |
Part C
Infinitary Languages | 269 |
Part D
SecondOrder Logic | 443 |
Part E Logics of Topology and
Analysis | 507 |
Part F Advanced Topics in
Abstract Model Theory | 597 |
Bibliography | 793 |
Häufige Begriffe und Wortgruppen
abelian groups abstract class abstract model theory admissible set algebra assume atomic axioms back-and-forth Barwise Beth property binary binary relation boolean Chapter characterization cofinality completeness theorem construction Corollary countable set countably compact defined Definition denote disjoint elementary elements equivalence relation example extension finite first-order logic formula free variables given Hanf number Hence implies induction infinitary logic infinite interpolation property isomorphism Keisler language Lemma Let Q linear order logic 9 Löwenheim number Löwenheim–Skolem property measurable cardinal model theory model-theoretic monadic theory notion obtain ordinal partial isomorphisms predicate probability structure proof of Theorem Proposition prove QI H quantifier Q reader recursively enumerable regular cardinal relation symbol Robinson property satisfies second-order logic Section sequence set theory set-theoretic Shelah structure QI subset substructure Suppose t-structures topological ultrafilter unary uncountable Vaught vocabulary weak model well-ordering