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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Logic Colloquium Nijmegen, Netherlands
Otros Autores: Cooper, S. B. (S. Barry)
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Cambridge ; New York : [Poughkeepsie, N.Y.] : Cambridge University Press ; Association for Symbolic Logic, 2009.
Colección:Lecture notes in logic ; 32.
Temas:
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.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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

Ejemplares similares