Logic Colloquium 2006 /

The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, with contributions from plenary speakers and selected special session speakers, contains both expository and research...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: Logic Colloquium Nijmegen, Netherlands
Autres auteurs: Cooper, S. B. (S. Barry)
Format: Électronique Actes de congrès eBook
Langue:Inglés
Publié: Cambridge ; New York : [Poughkeepsie, N.Y.] : Cambridge University Press ; Association for Symbolic Logic, 2009.
Collection:Lecture notes in logic ; 32.
Sujets:
Logic, Symbolic and mathematical > Congresses.
Logique symbolique et mathématique > Congrès.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical.
Symbolische logica.
Wiskundige logica.
Conference papers and proceedings.
Accès en ligne:Texto completo
Table des matières:
  • COVER; HALF-TITLE; SERIES-TITLE; TITLE; COPYRIGHT; CONTENTS; INTRODUCTION; DEFINABILITY AND ELEMENTARY EQUIVALENCE IN THE ERSHOV DIFFERENCE HIERARCHY; REFERENCES; A UNIFIED APPROACH TO ALGEBRAIC SET THEORY; REFERENCES; BRIEF INTRODUCTION TO UNPROVABILITY; REFERENCES; HIGHER-ORDER ABSTRACT SYNTAX IN TYPE THEORY; REFERENCES; AN INTRODUCTION TO b-MINIMALITY; REFERENCES; THE SIXTH LECTURE ON ALGORITHMIC RANDOMNESS; REFERENCES; THE INEVITABILITY OF LOGICAL STRENGTH: STRICT REVERSE MATHEMATICS; REFERENCES; APPLICATIONS OF LOGIC IN ALGEBRA: EXAMPLES FROM CLONE THEORY; REFERENCES
  • ON FINITE IMAGINARIESREFERENCES; STRONG MINIMAL COVERS AND A QUESTION OF YATES: THE STORY SO FAR; REFERENCES; EMBEDDINGS INTO THE TURING DEGREES; REFERENCES; RANDOMNESS
  • BEYOND LEBESGUE MEASURE; REFERENCES; THE DERIVED MODEL THEOREM; REFERENCES; FORCING AXIOMS AND CARDINAL ARITHMETIC; REFERENCES; HRUSHOVSKI'S AMALGAMATION CONSTRUCTION; REFERENCES

Documents similaires