product iamge

Constructive Order Types

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): John N. Crossley (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 56
Publisher: Elsevier Science
Year: 1969

Language: English
Pages: 2-7, 11-225

Content:
Advisory Editorial Board
Page 2

Edited by
Page 3

Copyright page
Page 4

Preface
Pages 5-7
John N. Crossley

Introduction
Pages 11-18

Chapter 1 Recursive Isomorphism
Pages 21-28

Chapter 2 Addition
Pages 29-40

Chapter 3 Quords
Pages 41-45

Chapter 4 The Orderings
Pages 46-51

Chapter 5 Co-Ordinals
Pages 52-59

Chapter 6 Multiplication
Pages 60-74

Chapter 7 Exponentiation
Pages 75-91

Chapter 8 Arithmetic Laws and Principal Numbers
Pages 92-109

Chapter 9 Cantor Normal Forms
Pages 110-121

Chapter 10 Uniqueness Results
Pages 122-130

Chapter 11 E-Numbers111
Pages 131-141

Chapter 12 Infinite Series
Pages 142-155

Chapter 13 Isols131
Pages 159-166

Chapter 14 Quasi-Finiteness
Pages 167-174

Chapter 15 Losols
Pages 175-181

Chapter 16 Arithmetic Laws for Losols
Pages 182-193

Appendix A A Mixed Cancellation Theorem
Pages 194-202
P.H.G. Aczel, J.N. Crossley

Appendix B Infinite Products and Principal Numbers for Multiplication
Pages 203-210
A.G. Hamilton

Notation and Terminology
Pages 211-214

References
Pages 215-216

Notes
Pages 217-219

Index of Symbols
Pages 220-222

Index of Terms
Pages 223-225