Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Für diesen Artikel ist leider kein Bild verfügbar.

Constructive Order Types (eBook)

eBook Download: PDF
2000 | 1. Auflage
7223 Seiten
Elsevier Science (Verlag)
9780080957753 (ISBN)
Systemvoraussetzungen
206,92 inkl. MwSt
(CHF 199,95)
Der eBook-Verkauf erfolgt durch die Lehmanns Media GmbH (Berlin) zum Preis in Euro inkl. MwSt.
  • Download sofort lieferbar
  • Zahlungsarten anzeigen
Provability, Computability and Reflection
Constructive Order Types

Front Cover 1
Constructive Order Types 4
Copyright Page 5
Contents 9
Preface 6
Introduction 12
PART ONE 20
CHAPTER 1. Recursive Isomorphism 22
CHAPTER 2. Addition 30
CHAPTER 3. Quords 42
CHAPTER 4. The Orderings 47
CHAPTER 5. Co-ordinals 53
CHAPTER 6. Multiplication 61
CHAPTER 7. Exponentiation 76
CHAPTER 8. Arithmetic Laws and Principal Numbers 93
CHAPTER 9. Cantor Normal Form 111
CHAPTER 10. Uniqueness Results 123
CHAPTER 11. E-numbers 132
CHAPTER 12. Infinite Series 143
PART TWO 158
CHAPTER 13. Isols 160
CHAPTER 14. Quasi-finiteness 168
CHAPTER 15. Losols 176
CHAPTER 16. Arithmetic Laws for Losols 183
APPENDICES 195
APPENDIX A. A Mixed Cancellation Theorem 195
APPENDIX B. Infinite Products and Principal Numbers for Multiplication 204
Notation and Terminology 212
References 216
Notes 218
Index of Symbols 221
Index of Terms 224

PDFPDF (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 Seiten­layout eignet sich die PDF besonders für Fach­bücher mit Spalten, Tabellen und Abbild­ungen. Eine PDF kann auf fast allen Geräten ange­zeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur einge­schränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine Adobe-ID und die Software Adobe Digital Editions (kostenlos). Von der Benutzung der OverDrive Media Console raten wir Ihnen ab. Erfahrungsgemäß treten hier gehäuft Probleme mit dem Adobe DRM auf.
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 Adobe-ID sowie eine kostenlose App.
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.

Mehr entdecken
aus dem Bereich
Künstliche Intelligenz rechtskonform im privaten und öffentlichen …

von Natascha Windholz

eBook Download (2024)
Carl Hanser Fachbuchverlag
CHF 68,35
Implement expert-level techniques for high-performance graphics with …

von Sergey Kosarevsky; Viktor Latypov; Alexey Medvedev

eBook Download (2025)
Packt Publishing (Verlag)
CHF 29,30