Logic Colloquium 76, Proceedings of a conference (eBook)
609 Seiten
Elsevier Science (Verlag)
9780080954967 (ISBN)
Logic Colloquium 76, Proceedings of a conference
Front Cover 1
Logic Colloquium 76 4
Copyright Page 5
TABLE OF CONTENTS 9
PREFACE 8
INVITED ADDRESSES 11
PART ONE "STUDIES IN LOGIC" SYMPOSIUM 12
Chapter 1 Twenty-five years of "Studies in Logic" 14
Chapter 2 Hyperfinite model theory 16
Chapter 3 On the kind of data needed for a theory of proofs 122
Chapter 4 The foundations of mathematics in Poland after World War II 140
Chapter 5 A tribute to A. Mostowski 150
PART TWO HISTORY OF MODERN LOGIC 156
Chapter 6 Bolzano's contribution to logic and philosophy of mathematics 158
Chapter 7 The simple theory of types 184
Chapter 8 Set-theoretic semantics 194
Chapter 9 On the work and influence of Stanislaw Lesniewski 202
Chapter 10 Inference without axiom or paradoxes 232
Chapter 11 Leopold Löwenheim: life, work, and early influence 246
PART THREE APPLICATIONS OF MODEL THEORY 264
Chapter 12 Relatively homogeneous structures 266
Chapter 13 Applications of logic to the problem of splitting Abelian groups 298
Chapter 14 Stability and N0-categoricity of nonabelian groups 312
Chapter 15 Existentially closed models of basic number theory 336
PART FOUR RECURSION THEORY 382
Chapter 16 Inductive schemata and recursively continuous functionals 384
Chapter 17 Between recursion theory and set theory 404
Chapter 18 Computable and recursively countable functions of higher type 418
Chapter 19 Aspects of constructivity in mathematics 450
Chapter 20 The model C of the partial continuous functionals 466
PART FIVE COMPLEXITY OF COMPUTATIONS 480
Chapter 21 Bounded concatenation as a uniform method for proving lower complexity bounds 482
Chapter 22 The network complexity and the breadth of Boolean functions 502
Chapter 23 Complexity of derivations from quantifier-free Horn formulae, mechanical introduction of explicit definitions, and refinement of completeness theorems 516
PART SIX SET THEORY 530
Chapter 24 Precipitous ideals 532
Chapter 25 The real line and the universe 542
Chapter 26 Adding dependent choice to the prime ideal theorem 558
Chapter 27 The one/many problem in the foundations of set theory 578
Chapter 28 Sets having calibre N1 606
| Erscheint lt. Verlag | 15.6.2009 |
|---|---|
| Sprache | englisch |
| Themenwelt | Informatik ► Software Entwicklung ► User Interfaces (HCI) |
| Informatik ► Theorie / Studium ► Algorithmen | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Naturwissenschaften | |
| Technik | |
| ISBN-13 | 9780080954967 / 9780080954967 |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
PDF (Adobe DRM)Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine
Geräteliste und zusätzliche Hinweise
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich
