Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Is the continuum hypothesis still open? If we interpret it as finding the laws of cardinal arithmetic (really exponentiation since addition and multiplication were classically solved), it was thought to be essentially solved by the independence results of Gödel and Cohen (and Easton) with some isolated positive results (like Galvin-Hajnal). It was expected that only more independence results remained to be proved.The author has come to change his view: we should stress Π]*N0 (not 2]Π) and mainly look at the cofinalities rather than cardinalities, in particular pp (μ), pcf (α). Their properties are investigated here and conventional cardinal arithmetic is reduced to 2]*N (*N - regular, cases totally independent) and various cofinalities. This enables us to get new results for the conventional cardinal arithmetic, thus supporting the interest in our view. We also find other applications, extend older methods of using normal fiters and prove the existence of Jonsson algebra.
1. Basic confinalities of small reduced products ; 2. *N*w+1 has a Jonsson algebra ; 3. There are Jonsson algebras in many inaccessible cardinals ; 4. Jonsson algebras in inaccessibles *P , not *P-Mahlo ; 5. Bounding pp( ) when > cf( ) > *N[0 using ranks and normal filters ; 6. Bounds of power of singulars: Induction ; 7. Strong covering lemma and CH in V[r] ; 8. Advanced: Cofinalities of reduced products ; 9. Cardinal Arithmetic ; Appendix 1: Colorings ; Appendix 2: Entangled orders and narrow Boolean algebras
The mathematics here will remain an important summit of the subject and the Editors have the good fortune of having obtained a landmark volume for the Logic Guide Series.
Alex Citkin, Alexei Muravitsky, New York) Citkin, Alex (CIO, CIO, Metropolitan Telecommunications, Louisiana Scholars' College at Northwestern State University of Louisiana) Muravitsky, Alexei (Professor of Mathematics, Professor of Mathematics
Ian Pratt-Hartmann, University of Opole) Pratt-Hartmann, Ian (Senior Lecturer, University of Manchester Professor of Mathematical Sciences, University of Opole, Senior Lecturer, University of Manchester Professor of Mathematical Sciences
Giovanni Sambin, Jan M. Smith, Italy) Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Sweden) Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology, Jan Smith
Dov M. Gabbay, Larisa Maksimova, King's College London) Gabbay, Dov M. (, Department of Computer Science, Russia) Maksimova, Larisa (, Institute of Mathematics, Siberian Branch of Russian Academy of Science, Novosibirsk
Erik Sandewall, Sweden) Sandewall, Erik (Professor, Department of Computer and Information Science, Professor, Department of Computer and Information Science, Linkoping University
Giovanni Sambin, Jan M. Smith, Italy) Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Sweden) Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology, Jan Smith