eBook ISBN:  9780821876152 
Product Code:  CONM/30.E 
List Price:  $125.00 
MAA Member Price:  $112.50 
AMS Member Price:  $100.00 
eBook ISBN:  9780821876152 
Product Code:  CONM/30.E 
List Price:  $125.00 
MAA Member Price:  $112.50 
AMS Member Price:  $100.00 

Book DetailsContemporary MathematicsVolume: 30; 1984; 307 ppMSC: Primary 18;
Mathematicians interested in understanding the directions of current research in set theory will not want to overlook this book, which contains the proceedings of the AMS Summer Research Conference on Axiomatic Set Theory, held in Boulder, Colorado, June 19–25, 1983. This was the first large meeting devoted exclusively to set theory since the legendary 1967 UCLA meeting, and a large majority of the most active research mathematicians in the field participated. All areas of set theory, including constructibility, forcing, combinatorics and descriptive set theory, were represented; many of the papers in the proceedings explore connections between areas. Readers should have a background of graduatelevel set theory.
There is a paper by S.~Shelah applying proper forcing to obtain consistency results on combinatorial cardinal “invariants” below the continuum, and papers by R.~David and S.~Freidman on properties of \(0^\#\). Papers by A.~Blass, H.D.~Donder, T.~Jech and W.~Mitchell involve inner models with measurable cardinals and various combinatorial properties. T.~Carlson largely solves the pinup problem, and D.~Velleman presents a novel construction of a Souslin tree from a morass. S.~Todorcevic obtains the strong failure of the \qedprinciple from the Proper Forcing Axiom and A.~Miller discusses properties of a new species of perfectset forcing. H.~Becker and A.~Kechris attack the third Victoria Delfino problem while W.~Zwicker looks at combinatorics on \(P_\kappa(\lambda)\) and J.~Henle studies infiniteexponent partition relations. A.~Blass shows that if every vector space has a basis then \(AC\) holds. I.~Anellis treats the history of set theory, and W.~Fleissner presents settheoretical axioms of use in general topology. 
Table of Contents

Articles

John W. Gray  Introduction

Andreas Blass  The interaction between category theory and set theory [ MR 749767 ]

Marta Bunge and Murray Heggie  Synthetic calculus of variations [ MR 749768 ]

John W. Gray  The representation of limits, lax limits and homotopy limits as sections [ MR 749769 ]

Peter T. Johnstone  Open locales and exponentiation [ MR 749770 ]

A. Joyal and G. Wraith  EilenbergMacLane toposes and cohomology [ MR 749771 ]

Anders Kock  A combinatorial theory of connections [ MR 749772 ]

J. Lambek and P. J. Scott  Aspects of higher order categorical logic [ MR 749773 ]

M. Makkai  A Stonetype representation theory for first order logic [ MR 749774 ]

L. D. Nel  Topological universes and smooth Gel′fandNaĭmark duality [ MR 749775 ]

Joan Wick Pelletier  Applications of the dual functor in Banach spaces [ MR 749776 ]


RequestsReview Copy – for publishers of book reviewsPermission – for use of book, eBook, or Journal contentAccessibility – to request an alternate format of an AMS title
 Book Details
 Table of Contents
 Requests
Mathematicians interested in understanding the directions of current research in set theory will not want to overlook this book, which contains the proceedings of the AMS Summer Research Conference on Axiomatic Set Theory, held in Boulder, Colorado, June 19–25, 1983. This was the first large meeting devoted exclusively to set theory since the legendary 1967 UCLA meeting, and a large majority of the most active research mathematicians in the field participated. All areas of set theory, including constructibility, forcing, combinatorics and descriptive set theory, were represented; many of the papers in the proceedings explore connections between areas. Readers should have a background of graduatelevel set theory.
There is a paper by S.~Shelah applying proper forcing to obtain consistency results on combinatorial cardinal “invariants” below the continuum, and papers by R.~David and S.~Freidman on properties of \(0^\#\). Papers by A.~Blass, H.D.~Donder, T.~Jech and W.~Mitchell involve inner models with measurable cardinals and various combinatorial properties. T.~Carlson largely solves the pinup problem, and D.~Velleman presents a novel construction of a Souslin tree from a morass. S.~Todorcevic obtains the strong failure of the \qedprinciple from the Proper Forcing Axiom and A.~Miller discusses properties of a new species of perfectset forcing. H.~Becker and A.~Kechris attack the third Victoria Delfino problem while W.~Zwicker looks at combinatorics on \(P_\kappa(\lambda)\) and J.~Henle studies infiniteexponent partition relations. A.~Blass shows that if every vector space has a basis then \(AC\) holds. I.~Anellis treats the history of set theory, and W.~Fleissner presents settheoretical axioms of use in general topology.

Articles

John W. Gray  Introduction

Andreas Blass  The interaction between category theory and set theory [ MR 749767 ]

Marta Bunge and Murray Heggie  Synthetic calculus of variations [ MR 749768 ]

John W. Gray  The representation of limits, lax limits and homotopy limits as sections [ MR 749769 ]

Peter T. Johnstone  Open locales and exponentiation [ MR 749770 ]

A. Joyal and G. Wraith  EilenbergMacLane toposes and cohomology [ MR 749771 ]

Anders Kock  A combinatorial theory of connections [ MR 749772 ]

J. Lambek and P. J. Scott  Aspects of higher order categorical logic [ MR 749773 ]

M. Makkai  A Stonetype representation theory for first order logic [ MR 749774 ]

L. D. Nel  Topological universes and smooth Gel′fandNaĭmark duality [ MR 749775 ]

Joan Wick Pelletier  Applications of the dual functor in Banach spaces [ MR 749776 ]